Logics in Artificial Intelligence - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

49
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540396253, 9783540396277
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Natural Deduction Calculus for Linear-Time Temporal Logic

2006 ◽  
pp. 56-68 ◽  
Author(s):  
Alexander Bolotov ◽  
Artie Basukoski ◽  
Oleg Grigoriev ◽  
Vasilyi Shangin
Keyword(s):  
Temporal Logic ◽  
Natural Deduction ◽  
Linear Time ◽  
Linear Time Temporal Logic

scholarly journals Representing Causal Information About a Probabilistic Process

2006 ◽  
pp. 452-464 ◽  
Author(s):  
Joost Vennekens ◽  
Marc Denecker ◽  
Maurice Bruynooghe
Keyword(s):  
Causal Information ◽  
Probabilistic Process

scholarly journals On the Semantics of Logic Programs with Preferences

2006 ◽  
pp. 203-215 ◽  
Author(s):  
Sergio Greco ◽  
Irina Trubitsyna ◽  
Ester Zumpano
Keyword(s):  
Logic Programs ◽  
Semantics Of Logic Programs

The QBFEVAL Web Portal

2006 ◽  
pp. 494-497 ◽  
Author(s):  
Massimo Narizzano ◽  
Luca Pulina ◽  
Armando Tacchella
Keyword(s):  
Web Portal
Load More ...
Sign in / Sign up

Export Citation Format

Share Document