scientific article; zbMATH DE number 6606384

MaRDI QIDQ5740456zbMATH OpenFDO

Authors Sebastian Sardiña, Yves Lespérance

Publication date 26 July 2016

zbMATH Keywords

agent-oriented programming

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 1516840
• GOLOG: A logic programming language for dynamic domains
• scientific article; zbMATH DE number 1334806
• Wheeler languages

Cited in

(3)

• scientific article; zbMATH DE number 2088156 (Why is no real title available?)
• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs
• Proving BDI properties of agent-oriented programming languages. The asymmetry thesis principles in AgentSpeak(L)

Describes a project that uses

Uses Software

• GOLOG

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 Q5740456)