scientific article
From MaRDI portal
Publication:2844044
zbMath1270.68160MaRDI QIDQ2844044
Paolo Torroni, Marco Alberti, Paola Mello, Evelina Lamma, Marco Gavanelli
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826052
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (4)
Balanced multi-perspective checking of process conformance ⋮ Specifying and verifying interaction protocols in a temporal action logic ⋮ Normative KGP agents ⋮ Mapping deontic operators to abductive expectations
This page was built for publication:
