Lecture Notes in Computer Science - Logics in AI
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540536864, 9783540469827

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending resolution for model construction

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018439 ◽

1991 ◽

pp. 153-169 ◽

Author(s):

Ricardo Caferra ◽

Nicolas Zabel

Keyword(s):

Model Construction

Download Full-text

On the equivalence of deferred substitution and immediate substitution semantics for Logic Programs

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018459 ◽

1991 ◽

pp. 454-471

Author(s):

Amir Rahat ◽

Nissim Francez ◽

Oded Shmueli

Keyword(s):

Download Full-text

Belief revision and nonmonotonic logic: Two sides of the same coin?

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018432 ◽

1991 ◽

pp. 52-54 ◽

Author(s):

Peter Gärdenfors

Keyword(s):

Belief Revision ◽

Nonmonotonic Logic ◽

Download Full-text

Towards a formal theory of intentions

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018460 ◽

1991 ◽

pp. 472-486 ◽

Author(s):

Munindar P. Singh ◽

Nicholas M. Asher

Keyword(s):

Download Full-text

The net-clause language — A tool for data-driven inference

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018453 ◽

1991 ◽

pp. 366-385 ◽

Author(s):

Zdravko Markov ◽

Christo Dichev

Keyword(s):

Download Full-text

Loop checking and negation

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018437 ◽

1991 ◽

pp. 121-138 ◽

Author(s):

Roland N. Bol

Download Full-text

A constraint logic approach to modal deduction

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018445 ◽

1991 ◽

pp. 234-250 ◽

Author(s):

Alan M. Frisch ◽

Richard B. Scherl

Keyword(s):

Download Full-text

Theoretical circumscription in partial modal logic

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018449 ◽

1991 ◽

pp. 301-316 ◽

Author(s):

Jan Jaspars

Keyword(s):

Download Full-text

Partial semantics for truth maintenance

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018465 ◽

1991 ◽

pp. 544-561 ◽

Author(s):

Cees Witteveen

Keyword(s):

Partial Semantics ◽

Truth Maintenance

Download Full-text

Anaphora and the logic of change

Lecture Notes in Computer Science - Logics in AI ◽

10.1007/bfb0018456 ◽

1991 ◽

pp. 412-427 ◽

Author(s):

Reinhard Muskens

Download Full-text