Computational Logic in Multi-Agent Systems

DOI10.1007/11533092zbMath1081.68098OpenAlexW2522386604MaRDI QIDQ5706835

Alessio Lomuscio, Bożena Woźna

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)

Related Items (3)

Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability ⋮ A study on shuffle, stopwatches and independently evolving clocks ⋮ Bounded model checking for knowledge and real time

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