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) Distributed systems (68M14) Theory of programming languages (68N15) Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) General topics in artificial intelligence (68T01) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence for robotics (68T40)

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

(7)

• Action programming languages.
• scientific article; zbMATH DE number 1326615 (Why is no real title available?)
• scientific article; zbMATH DE number 1333476 (Why is no real title available?)
• LASS in action
• Programming Multi-Agent Systems in AgentSpeak usingJason
• Multi-Agent Programming
• Go! -- A multi-paradigm programming language for implementing multi-threaded agents

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)