Addressing the Qualification Problem in FLUX
暂无分享,去创建一个
[1] Michael Thielscher,et al. The Fluent Calculus - A Specification Language for Robots with Sensors in Nondeterministic, Concurre , 2000 .
[2] Hector J. Levesque,et al. Foundations for the Situation Calculus , 1998, Electron. Trans. Artif. Intell..
[3] Gerhard Brewka,et al. Adding Priorities and Specificity to Default Logic , 1994, JELIA.
[4] Michael Thielscher,et al. Ramification and Causality , 1997, Artif. Intell..
[5] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[6] J. W. Lloyd,et al. Foundations of logic programming; (2nd extended ed.) , 1987 .
[7] John Wylie Lloyd,et al. Foundations of Logic Programming , 1987, Symbolic Computation.
[8] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[9] Hudson Turner,et al. Satisfiability planning with Causal Theories , 1998, KR.
[10] Michael Thielscher,et al. The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..
[11] H. Levesque,et al. Legolog : Inexpensive Experiments in Cognitive Robotics , 2000 .
[12] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..
[13] Vladimir Lifschitz,et al. Formal Theories of Action (Preliminary Report) , 1987, IJCAI.
[14] Giuseppe De Giacomo,et al. Execution Monitoring of High-Level Robot Programs , 1998, KR.
[15] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[16] Michael Thielscher,et al. Introduction to the Fluent Calculus , 1998, Electron. Trans. Artif. Intell..
[17] John McCarthy,et al. Epistemological Problems of Artificial Intelligence , 1987, IJCAI.
[18] Murray Shanahan. Event Calculus Planning Revisited , 1997, ECP.
[19] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[20] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[21] Patrick Doherty,et al. TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..