Knowledge Representation and Classical Logic (2007)

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

Active Bibliography

1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994
3 Capability Representations for Brokering: A Survey – Gerhard Wickler, Austin Tate - 1999
6 Logic and artificial intelligence – Richmond H. Thomason
26 An Overview of Nonmonotonic Reasoning and Logic Programming – Jack Minker - 1993
1 Efficient First-Order Semantic Deduction Techniques – Yunshan Zhu - 1998
36 Causality in Commonsense Reasoning about Actions – Norman Clayton McCain - 1997
13 Computational Logic and Human Thinking: How to be Artificially Intelligent – Robert Kowalski - 2011
1 Learning to be Competent – Roni Khardon, Roni Khardon - 1996
2 Reasoning with Conditionals in Artificial Intelligence – Robert Kowalski
1 A Rapprochement Between Deductive and Inductive Logic – Donald Gillies
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
84 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
Christ Jesus, our Lord and Savior. PREDICATE ANSWER SET PROGRAMMING WITH COINDUCTION – Richard Kyunglib Min, Haim Schweitzer, Richard Kyunglib Min, Mi Min, Samuel Underwood - 2009
8 A Multi-Agent Planner for Modelling Dialogue – A. Taylor - 1994
9 Rationality – L.G. Valiant - 1994
24 Artificial Intelligence, Logic And Formalizing Common Sense – John McCarthy - 1990
1 Artificial Intelligence – Timorstraat A, Le Groningen, J. P. Niemantsverdriet, Rijksuniversiteit Groningen - 2003
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
35 Active Logics: A Unified Formal Approach to Episodic Reasoning – Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis