Logics in Artificial Intelligence
From MaRDI portal
Publication:5394113
DOI10.1007/B100483zbMath1111.68677OpenAlexW335252711MaRDI QIDQ5394113
Alberto Martelli, Camilla B. Schwind, Laura Giordano
Publication date: 25 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100483
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Specifying and verifying interaction protocols in a temporal action logic ⋮ Tableau-based automata construction for dynamic linear time temporal logic ⋮ Employing Costs in Multiagent Systems with Timed Migration and Timed Communication ⋮ Verifying Agents’ Conformance with Multiparty Protocols ⋮ Dynamics of reputation in mobile agents systems and weighted timed automata
This page was built for publication: Logics in Artificial Intelligence