Knowledge Representation and Classical Logic (2007)

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

Active Bibliography

Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
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
27 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
87 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 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