scientific article; zbMATH DE number 1759736

MaRDI QIDQ4536751zbMATH OpenFDO

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

Publication date 15 July 2002

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

• scientific article; zbMATH DE number 1931644
• scientific article; zbMATH DE number 1929205
• 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)

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

Describes a project that uses

Uses Software

• AgentSpeak

This page was built for publication:

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