Simulation of Action Theories and an Application to General Game-Playing Robots

DOI10.1007/978-3-319-14726-0_3zbMath1432.68421OpenAlexW319095140MaRDI QIDQ5172606

Michael Thielscher

Publication date: 4 February 2015

Published in: Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-14726-0_3

Mathematics Subject Classification ID

Game theory (91A99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence for robotics (68T40) Agent technology and artificial intelligence (68T42)

Uses Software

• PDDL
• plasp
• GDL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• Automated verification of state sequence invariants in general game playing
• STRIPS: A new approach to the application of theorem proving to problem solving
• Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
• Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
• Introduction to Bisimulation and Coinduction
• A basis for deductive database systems II
• Representing action and change by logic programs
• How to Do Things with Worlds: on Formalizing Actions and Plans
• A Multiagent Semantics for the Game Description Language
• Answer Set Programming for Single-Player Games in General Game Playing
• General Game Playing

This page was built for publication: Simulation of Action Theories and an Application to General Game-Playing Robots