Robot Location Estimation in the Situation Calculus Vaishak Belle and Hector J. Levesque Dept. of Computer Science University of Toronto ICAPS Workshop on Planning and Robotics, June 2013

Source URL: icaps13.icaps-conference.org

I N F S Y S R E S E A R C H R

Source URL: www.kr.tuwien.ac.at

• Artificial intelligence
• Logic programming
• Academia
• Decision theory
• Game theory
• Non-cooperative games
• Situation calculus
• Nash equilibrium
• Zero-sum game
• Markov decision process
• Strategy
• Mathematical optimization

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Source URL: www.cs.huji.ac.il

• Theoretical computer science
• Mathematical logic
• Mathematics
• Logic in computer science
• Boolean algebra
• Logic programming
• Automated planning and scheduling
• Formal methods
• Situation calculus
• Planning Domain Definition Language
• Boolean satisfiability problem
• Conjunctive normal form

Adaptive Multi-Agent Programming in GTGolog Alberto Finzi1, 2 and Thomas Lukasiewicz2, 1 1 2

Source URL: www.kr.tuwien.ac.at

• Mathematical analysis
• Mathematical logic
• Logic
• Dynamic programming
• Markov decision process
• Stochastic control
• Constructible universe
• Situation calculus
• First-order logic
• Distribution

Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu

Source URL: www.cs.huji.ac.il

• Logic programming
• Filter theory
• Logic in computer science
• Knowledge representation
• Formal languages
• Situation calculus
• Fluent
• Well-formed formula
• FO
• Filter
• Frame problem
• Linear temporal logic

I N F S Y S R E S E A R C H R

Source URL: www.kr.tuwien.ac.at

• Logic programming
• Situation calculus
• Sheaf
• Computability theory

ACTIONS AND OTHER EVENTS IN SITUATION CALCULUS John McCarthy Computer Science Department Stanford University Stanford, CA 94305

Source URL: www-formal.stanford.edu

• Logic in computer science
• Logic programming
• Situation calculus
• Z notation
• Fluent
• S

Property Persistence in the Situation Calculus

Source URL: www.rfk.id.au

Logical Circuit Filtering Dafna Shahaf and Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,eyal}@uiuc.edu

Source URL: i.stanford.edu

• Mathematics
• Knowledge
• Knowledge representation
• Artificial intelligence
• Epistemology
• Frame problem
• Binary decision diagram
• Situation calculus
• Fluent
• Science
• Logic programming
• Branches of philosophy

Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc

Source URL: infolab.stanford.edu

• Logic in computer science
• Logic programming
• Automated planning and scheduling
• Formal methods
• Conjunctive normal form
• Situation calculus
• Planning Domain Definition Language
• Algorithm
• Boolean satisfiability problem
• Theoretical computer science
• Mathematics
• Applied mathematics