Knowledge Representation and Classical Logic (2007)

by Vladimir Lifschitz , Leora Morgenstern , David Plaisted
Citations:11 - 4 self

Documents Related by Co-Citation

52 Stable models and circumscription – Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz
1504 The Stable Model Semantics For Logic Programming – Michael Gelfond, Vladimir Lifschitz - 1988
965 Negation as failure – K L Clark - 1978
822 Circumscription-A Form of Non-Monotonic Reasoning – J McCarthy - 1980
68 A new perspective on stable models – Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz - 2007
487 Applications Of Circumscription To Formalizing Common Sense Knowledge – John McCarthy - 1986
860 Classical Negation in Logic Programs and Disjunctive Databases – Michael Gelfond, Vladimir Lifschitz - 1991
531 Knowledge Representation, Reasoning and Declarative Problem Solving – C BARAL
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965