Specifying Abnormal Action Qualifications with Sensing in FLUX
暂无分享,去创建一个
[1] Michael Thielscher,et al. Inferring Implicit State Knowledge and Plans with Sensing Actions , 2001, KI/ÖGAI.
[2] Mark Witkowski,et al. High-Level Robot Control through Logic , 2000, ATAL.
[3] Hudson Turner,et al. Satisfiability planning with Causal Theories , 1998, KR.
[4] Giuseppe De Giacomo,et al. Execution Monitoring of High-Level Robot Programs , 1998, KR.
[5] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[6] Franz Baader,et al. KI 2001: Advances in Artificial Intelligence , 2001, Lecture Notes in Computer Science.
[7] Michael Thielscher,et al. Under Consideration for Publication in Theory and Practice of Logic Programming Flux: a Logic Programming Method for Reasoning Agents , 2003 .
[8] Nicholas R. Jennings,et al. Agent Theories, Architectures, and Languages: A Survey , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.
[9] Gerhard Brewka,et al. Adding Priorities and Specificity to Default Logic , 1994, JELIA.
[10] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[11] Patrick Doherty,et al. TAL: Temporal Action Logics Language Specification and Tutorial , 1998, Electron. Trans. Artif. Intell..
[12] John McCarthy,et al. Epistemological Problems of Artificial Intelligence , 1987, IJCAI.
[13] Frank Wolter,et al. Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.
[14] Thom W. Frühwirth,et al. Theory and Practice of Constraint Handling Rules , 1998, J. Log. Program..
[15] Jan Jaspars,et al. Logic in action , 1991 .
[16] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[17] Michael Thielscher,et al. The Qualification Problem: A solution to the problem of anomalous models , 2001, Artif. Intell..
[18] Michael Thielscher,et al. Addressing the Qualification Problem in FLUX , 2001, KI/ÖGAI.
[19] Michael Thielscher,et al. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem , 1999, Artif. Intell..