A declarative agent programming language based on action theories

DOI10.1007/978-3-642-04222-5_14MaRDI QIDQ3655203zbMATH OpenOpenAlexFDO

Authors 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 programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Heterogeneous active agents, I: Semantics
• Programming rational agents in a modal action logic
• scientific article; zbMATH DE number 2080355
• scientific article; zbMATH DE number 1759736
• scientific article; zbMATH DE number 1931644

Cites work

• Existential assertions and quantum levels on the tree of the situation calculus
• FLUX: A logic programming method for reasoning agents
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1354157 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3380160 (Why is no real title available?)
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Putting ABox updates into action
• Reasoning robots. The art and science of programming robotic agents
• STRIPS: A new approach to the application of theorem proving to problem solving

Cited in

(19)

• Heterogeneous active agents, I: Semantics
• A general theory of action languages
• Agent-oriented programming. From Prolog to guarded definite clauses.
• Defining actions in concurrent declarative programming
• Proving the asymmetry thesis principles for a BDI agent-oriented programming language
• Context-based commonsense reasoning in the DALI logic programming language
• Action programming languages.
• Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
• An agent language with destructive assignment and model-theoretic semantics
• Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
• Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
• CTL AgentSpeak(L): A specification language for agent programs
• scientific article; zbMATH DE number 1301743 (Why is no real title available?)
• scientific article; zbMATH DE number 1954111 (Why is no real title available?)
• scientific article; zbMATH DE number 2080355 (Why is no real title available?)
• scientific article; zbMATH DE number 1759736 (Why is no real title available?)
• scientific article; zbMATH DE number 1931644 (Why is no real title available?)
• scientific article; zbMATH DE number 7453147 (Why is no real title available?)
• Abductive logic programming agents with destructive databases

Describes a project that uses

Uses Software

• 3APL
• Jason

This page was built for publication: A declarative agent programming language based on action theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3655203)