Agent-oriented programming. From Prolog to guarded definite clauses.

MaRDI QIDQ1880436zbMATH OpenFDO

Authors Matthew M. Huntbach, Graem A. Ringwood

Publication date 28 September 2004

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

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Artificial intelligence for robotics (68T40) Distributed systems (68M14) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) General topics in artificial intelligence (68T01)

Recommendations

• From logic programming towards multi-agent systems
• Reasoning about agent programs using ATL-like logics
• scientific article; zbMATH DE number 2085218
• Agent-oriented probabilistic logic programming
• A declarative agent programming language based on action theories
• scientific article; zbMATH DE number 1931644
• scientific article; zbMATH DE number 1929205

Cited in

(5)

• Multi-Agent Programming
• LASS in action
• Go! -- A multi-paradigm programming language for implementing multi-threaded agents
• Action programming languages.
• Programming Multi-Agent Systems in AgentSpeak usingJason

Describes a project that uses

Uses Software

• Oz

This page was built for publication: Agent-oriented programming. From Prolog to guarded definite clauses.

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