Programming rational agents in a modal action logic

DOI10.1023/B:AMAI.0000031196.24935.b5zbMath1077.68088OpenAlexW2045081599MaRDI QIDQ596475

Matteo Baldoni, Viviana Patti, Laura Giordano, Alberto Martelli

Publication date: 10 August 2004

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:amai.0000031196.24935.b5

zbMATH Keywords

logic programmingreasoning about actionslogic-based agentsmodal and multimodal logicreasoning with incomplete knowledge

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic programming (68N17)

Related Items (2)

Reasoning about interaction protocols for customizing web service selection and composition ⋮ Where logic and agents meet

Uses Software

• GOLOG

This page was built for publication: Programming rational agents in a modal action logic