Logic and artificial intelligence

Cached

Download Links

by Richmond H. Thomason
Venue:The Stanford Encyclopedia of Philosophy. Fall 2003. http://plato.stanford.edu/archives/fall2003/entries/logic-ai
Citations:6 - 0 self

Active Bibliography

8 A Multi-Agent Planner for Modelling Dialogue – A. Taylor - 1994
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
35 Active Logics: A Unified Formal Approach to Episodic Reasoning – Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
36 Modality in Dialogue: Planning, Pragmatics and Computation – Matthew Stone - 1998
224 Logic Programming and Knowledge Representation – Chitta Baral, Michael Gelfond - 1994
5 Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning – Ilkka Niemelä - 1993
1 Causal Action Theories and Satisfiability Planning – Charles Hudson Turner - 1998
3 Capability Representations for Brokering: A Survey – Gerhard Wickler, Austin Tate - 1999
87 Logic Programming and Knowledge Representation - the A-Prolog perspective – Michael Gelfond, Nicola Leone - 2002
On John McCarthy’s 80th Birthday, in Honor of his Contributions – Patrick J. Hayes, Leora Morgenstern
2 Knowledge Representation for Language Engineering – Matthew Stone
1 Reasoning about Beliefs: An Inference Network Approach – Boon Toh Low, Boon Toh, Tang Tong-gao, Abhaya Nayak, Rex Kwok, David Stirling - 1994
5 Non-monotonic Reasoning vs. Logic Programming: A New Perspective – Teodor C. Przymusinski - 1987
AUTOMATIC SERVICE COMPOSITION BASED ON COMMON-SENSE REASONING FOR AMBIENT INTELLIGENCE – María José Santofimia Romero - 2011
18 Non-Monotonic Formalisms And Logic Programming – Teodor C. Przymusinski - 1989
A Modular Language for Describing Actions – Wanwan Ren - 2009
1 Learning to be Competent – Roni Khardon, Roni Khardon - 1996
11 Reasons as defaults – John F. Horty - 2010