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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021983 ◽

2005 ◽

pp. 347-363

Author(s):

Leopolde E. Bertossi ◽

Raymond Reiter

Keyword(s):

Nonmonotonic Reasoning ◽

Object A

Download Full-text

Autoepistemic logic of minimal beliefs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021984 ◽

2005 ◽

pp. 364-364

Author(s):

Teodor C. Przymusinski

Keyword(s):

Autoepistemic Logic

Download Full-text

Efficient strategies for Automated reasoning in modal logics

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021972 ◽

2005 ◽

pp. 182-197

Author(s):

Stéphane Demri

Keyword(s):

Automated Reasoning ◽

Modal Logics

Download Full-text

Revision specifications by means of programs

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021968 ◽

2005 ◽

pp. 122-136 ◽

Cited By ~ 15

Author(s):

Victor W. Marek ◽

Mirosław Truszczyński

Download Full-text

Compactness properties of nonmonotonic inference operations

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021962 ◽

2005 ◽

pp. 19-33 ◽

Cited By ~ 5

Author(s):

Heinrich Herre

Keyword(s):

Nonmonotonic Inference

Download Full-text

Extending Horn clause theories by reflection principles

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021987 ◽

2005 ◽

pp. 400-413 ◽

Cited By ~ 3

Author(s):

Stefania Costantini ◽

Pierangelo Dell'Acqua ◽

Gaetano A. Lanzarone

Keyword(s):

Horn Clause ◽

Reflection Principles

Download Full-text

Prepositional state event logic

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021981 ◽

2005 ◽

pp. 316-331 ◽

Cited By ~ 1

Author(s):

Gerd Große

Download Full-text

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

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021986 ◽

2005 ◽

pp. 379-399

Author(s):

Jean-Marie Jacquet ◽

Luís Monteiro

Keyword(s):

Logic Programming

Download Full-text

Belief dynamics, abduction, and databases

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021965 ◽

2005 ◽

pp. 66-85 ◽

Cited By ~ 6

Author(s):

Chandrabose Aravindan ◽

Phan Minh Dung

Keyword(s):

Belief Dynamics

Download Full-text

Reasoning about knowledge on computation trees

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/bfb0021980 ◽

2005 ◽

pp. 300-315 ◽

Cited By ~ 7

Author(s):

Konstantinos Georgatos

Keyword(s):

Computation Trees ◽

Reasoning About Knowledge

Download Full-text

Logics in Artificial Intelligence - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

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

Autoepistemic logic of minimal beliefs

Efficient strategies for Automated reasoning in modal logics

Revision specifications by means of programs

Compactness properties of nonmonotonic inference operations

Extending Horn clause theories by reflection principles

Prepositional state event logic

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

Belief dynamics, abduction, and databases

Reasoning about knowledge on computation trees

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