Nondefinite vs. Definite causal theories

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2923, Issue , 2004, Pages 141-153

  Lee, Joohyung ^a  

^a University of Texas at Austin   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; PROGRAM TRANSLATORS; SEMANTICS; ARTIFICIAL INTELLIGENCE; MULTI AGENT SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; SOFTWARE AGENTS; SOFTWARE ENGINEERING;

ANSWER SET SEMANTICS; CAUSAL LOGIC; CAUSAL THEORY; INDIRECT EFFECTS; LOGIC PROGRAMS; LOOP FORMULAS; NONMONOTONIC CAUSAL LOGIC; PROPOSITIONAL LOGIC;

LOGIC PROGRAMMING;

LOGIC PROGRAMS; NONMONOTONIC CASUAL LOGIC; PROPOSITIONAL LOGIC;

EID: 9444282648     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. Varol Akman, Selim Erdoʇan, Joohyung Lee, Vladimir Lifschitz, and Hudson Turner. Representing the Zoo World and the Traffic World in the language of the Causal Calculator. Artificial Intelligence, 2003. To appear.
2. A. Artikis, M. Sergot, and J. Pitt. An executable specification of an argumentation protocol. In Proceedings of Conference on Artificial Intelligence and Law (ICAIL), pages 1-11. ACM Press, 2003.
3. A. Artikis, M. Sergot, and J. Pitt. Specifying electronic societies with the Causal Calculator. In F. Giunchiglia, J. Odell, and G. Weiss, editors, Proceedings of Workshop on Agent-Oriented Software Engineering III (AOSE), LNCS 2585. Springer, 2003.
4. Jonathan Campbell and Vladimir Lifschitz. Reinforcing a claim in commonsense reasoning. In Working Notes of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning, 2003.
5. Amit Chopra and Munindar Singh. Nonmonotonic commitment machines. In Agent Communication Languages and Conversation Policies AA-MAS 2003 Workshop, 2003.
6. Keith Clark. Negation as failure. In Herve Gallaire and Jack Minker, editors, Logic and Data Bases, pages 293-322. Plenum Press, New York, 1978.
7. Doʇandaʇ et al., 2003. Semra Doʇandaʇ, Paolo Ferraris, and Vladimir Lifschitz. Almost definite causal theories. In this volume.
8. Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, and Hudson Turner. Nonmonotonic causal theories. Artificial Intelligence, 2003. To appear.
9. Joohyung Lee and Vladimir Lifschitz. Describing additive fluents in action language C+ In Proc. IJCAI-03, pages 1079-1084, 2003.
10. Joohyung Lee and Vladimir Lifschitz. Loop formulas for disjunctive logic programs In Proc. ICLP-03, 2003. To appear.
11. Vladimir Lifschitz, Lappoon R. Tang, and Hudson Turner. Nested expressions in logic programs. Annals of Mathematics and Artificial Intelligence, 25:369-389, 1999.
12. Vladimir Lifschitz, Norman McCain, Emilio Remolina, and Armando Tacchella. Getting to the airport: The oldest planning problem in AI. In Jack Minker, editor, Logic-Based Artificial Intelligence, pages 147-165. Kluwer, 2000.
13. Vladimir Lifschitz. Missionaries and cannibals in the Causal Calculator. In Principles of Knowledge Representation and Reasoning: Proc. Seventh Int'l Conf., pages 85-96, 2000.
14. Fangzhen Lin and Yuting Zhao. ASSAT: Computing answer sets of a logic program by SAT solvers. In Proc. AAAI-02, 2002.
15. Norman McCain and Hudson Turner. Causal theories of action and change. In Proc. AAAI-97, pages 460-465, 1997.
16. Norman McCain. Causality in Commonsense Reasoning about Actions. PhD thesis, University of Texas at Austin, 1997.