scientific article; zbMATH DE number 1759736

zbMATH Open0988.68538MaRDI QIDQ4536751FDOQ4536751

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)

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

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)