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

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer-Verlag

3540583327
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the concept of generic object: A nonmonotonic reasoning approach and examples

2005 ◽  
pp. 347-363
Author(s):  
Leopolde E. Bertossi ◽  
Raymond Reiter
Keyword(s):  
Nonmonotonic Reasoning ◽  
Object A

Autoepistemic logic of minimal beliefs

2005 ◽  
pp. 364-364
Author(s):  
Teodor C. Przymusinski
Keyword(s):  
Autoepistemic Logic

Revision specifications by means of programs

2005 ◽  
pp. 122-136 ◽  
Author(s):  
Victor W. Marek ◽  
Mirosław Truszczyński

Extending Horn clause theories by reflection principles

2005 ◽  
pp. 400-413 ◽  
Author(s):  
Stefania Costantini ◽  
Pierangelo Dell'Acqua ◽  
Gaetano A. Lanzarone
Keyword(s):  
Horn Clause ◽  
Reflection Principles

Prepositional state event logic

2005 ◽  
pp. 316-331 ◽  
Author(s):  
Gerd Große

Towards resource handling in logic programming: The PPL framework and its semantics

2005 ◽  
pp. 379-399
Author(s):  
Jean-Marie Jacquet ◽  
Luís Monteiro
Keyword(s):  
Logic Programming

Belief dynamics, abduction, and databases

2005 ◽  
pp. 66-85 ◽  
Author(s):  
Chandrabose Aravindan ◽  
Phan Minh Dung
Keyword(s):  
Belief Dynamics

Reasoning about knowledge on computation trees

2005 ◽  
pp. 300-315 ◽  
Author(s):  
Konstantinos Georgatos
Keyword(s):  
Computation Trees ◽  
Reasoning About Knowledge
Load More ...
Sign in / Sign up

Export Citation Format

Share Document