|
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
|
|
4
|
Logic and artificial intelligence
– Richmond H. Thomason
|
|
2
|
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning
– Ilkka Niemelä, Ilkka Niemel A
- 1993
|
|
23
|
An Overview of Nonmonotonic Reasoning and Logic Programming
– Jack Minker
- 1993
|
|
1
|
Efficient First-Order Semantic Deduction Techniques
– Yunshan Zhu
- 1998
|
|
24
|
Causality in Commonsense Reasoning about Actions
– Norman Clayton McCain
- 1997
|
|
1
|
Learning to be Competent
– Roni Khardon, Roni Khardon
- 1996
|
|
4
|
Weakened Negative Introspection in Autoepistemic Reasoning
– Tomi Janhunen
- 1993
|
|
1
|
A Rapprochement Between Deductive and Inductive Logic
– Donald Gillies
|
|
66
|
Logic Programming and Knowledge Representation - the A-Prolog perspective
– Michael Gelfond, Nicola Leone
- 2002
|
|
7
|
A Multi-Agent Planner for Modelling Dialogue
– A. Taylor
- 1994
|
|
8
|
Rationality
– L.G. Valiant
- 1994
|
|
19
|
Artificial Intelligence, Logic And Formalizing Common Sense
– John McCarthy
- 1990
|
|
1
|
Causal Action Theories and Satisfiability Planning
– Charles Hudson Turner
- 1998
|
|
33
|
Active Logics: A Unified Formal Approach to Episodic Reasoning
– Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
|
|
347
|
PDDL2.1: An extension to PDDL for expressing temporal planning domains
– Maria Fox, Derek Long
- 2003
|
|
2
|
Learning and Deduction in Neural Networks and Logic
– Ekaterina Komendantskaya
- 2007
|
|
|
A Survey of Web Scale Reasoning
– Zhisheng Huang , Barry Bishop , Daniele Braga , Florian Fischer (sti Innsbruck, Frank Van Harmelen , Peipeng Liang , Jose Quesada, Jörg Rieskamp , Michael Witbrock , Ning Zhong , et al.
- 2008
|
