A programming logic for part of the agent language 3APL

DOI10.1007/3-540-45484-5_6MaRDI QIDQ4536751zbMATH OpenFDO

Authors Koen Hindriks, Wiebe van der Hoek, Frank S. de Boer, John-Jules Meyer

Publication date 15 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45484-5_6

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in artificial intelligence (68T27)

Recommendations

• A logic programming language for multi-agent systems
• Logic programming for agents
• Logic and agent programming languages
• Reasoning about agent programs using ATL-like logics
• A declarative agent programming language based on action theories
• From logic programming towards multi-agent systems
• Programming rational agents in a modal action logic

Cited in

(8)

• Using theorem proving to verify properties of agent programs
• 3APL
• Dynamic Logic for Plan Revision in Agent Programming
• A Compositional Semantics of Plan Revision in Intelligent Agents
• A declarative agent programming language based on action theories
• Reliable agent computation: An algebraic approach
• scientific article; zbMATH DE number 2084422 (Why is no real title available?)
• Semantics of plan revision in intelligent agents

Describes a project that uses

Uses Software

• AgentSpeak

This page was built for publication: A programming logic for part of the agent language 3APL

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