论文信息 - Automating Defeasible Reasoning with Logic Programming - 字舞流文

Automating Defeasible Reasoning with Logic Programming

Jürgen Dix | Guillermo Ricardo Simari | Pablo R. Fillottrani | Frieder Stolzenburg | Guillermo R. Simari | J. Dix | F. Stolzenburg | P. Fillottrani

[1] Jürgen Dix,et al. Meta-agent programs , 2000, J. Log. Program..

[2] Anand S. Rao,et al. AgentSpeak(L): BDI Agents Speak Out in a Logical Computable Language , 1996, MAAMAW.

[3] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[4] Peter Baumgartner,et al. PROTEIN: A PROver with a Theory Extension INterface , 1994, CADE.

[5] Christoph G. Jung. Layered and Resource-Adapting Agents in the RoboCup Simulation , 1998, RoboCup.

[6] Henry Prakken,et al. Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report) , 1997, ModelAge Workshop.

[7] Peter Baumgartner,et al. Computing Answers with Model Elimination , 1997, Artif. Intell..

[8] Jürgen Dix,et al. Nonmonotonic Reasoning: An Overview , 1997, CSLI Lecture Notes.

[9] Michael Gelfond,et al. Logic Programs with Classical Negation , 1990, ICLP.

[10] Oliver Obst,et al. Spatial Agents Implemented in a Logical Expressible Language , 1999, RoboCup.

[11] Anthony G. Cohn,et al. A Spatial Logic based on Regions and Connection , 1992, KR.

[12] Margrit Betke,et al. Mobile robot localization using landmarks , 1997, IEEE Trans. Robotics Autom..