Tractable First-Order Golog with Disjunctive Knowledge Bases
暂无分享,去创建一个
[1] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[2] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[3] Hector J. Levesque,et al. Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information , 2005, AAAI.
[4] Gerhard Lakemeyer,et al. A Logic of Limited Belief for Reasoning with Disjunctive Information , 2004, KR.
[5] Gerhard Lakemeyer,et al. Point-based value iteration: an anytime algorithm for POMDPs , 2003, IJCAI 2003.
[6] Gerhard Lakemeyer,et al. Situations, Si! Situation Terms, No! , 2004, KR.
[7] Gerhard Lakemeyer,et al. Foundations for Knowledge-Based Programs using ES , 2006, KR.
[8] Alexander Ferrein,et al. Logic-based robot control in highly dynamic domains , 2008, Robotics Auton. Syst..
[9] Hector J. Levesque,et al. On the Semantics of Deliberation in IndiGolog — from Theory to Implementation , 2002, Annals of Mathematics and Artificial Intelligence.
[10] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[11] Alex M. Andrew,et al. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .
[12] Gerhard Lakemeyer,et al. Semantics for a useful fragment of the situation calculus , 2005, IJCAI.