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

Title of this publication is not available (Why is that?)

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

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)

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 that?)
• Title not available (Why is that?)
• 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)