Computational Logic in Multi-Agent Systems

DOI10.1007/11533092zbMath1081.68096OpenAlexW2522386604MaRDI QIDQ5706852

Andreas Herzig, Mehdi Dastani, Joris Hulstijn, Leendert van der Torre

Publication date: 23 November 2005

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

Full work available at URL: https://doi.org/10.1007/11533092

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

A modal type theory for formalizing trusted communications ⋮ Trust and Norms in the Context of Computer Security: A Logical Formalization ⋮ The semantics of untrustworthiness ⋮ Expressing Belief Flow in Assertion Networks

This page was built for publication: Computational Logic in Multi-Agent Systems