A Declarative Agent Programming Language Based on Action Theories

DOI10.1007/978-3-642-04222-5_14zbMath1193.68234OpenAlexW2113217676MaRDI QIDQ3655203

Conrad Drescher, Stephan Schiffel, Michael Thielscher

Publication date: 7 January 2010

Published in: Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04222-5_14

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (1)

Unnamed Item

Uses Software

• Jason
• 3APL

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Existential assertions and quantum levels on the tree of the situation calculus
• Reasoning robots. The art and science of programming robotic agents
• STRIPS: A new approach to the application of theorem proving to problem solving
• Putting ABox Updates into Action
• Programming Multi-Agent Systems in AgentSpeak usingJason
• FLUX: A logic programming method for reasoning agents

This page was built for publication: A Declarative Agent Programming Language Based on Action Theories