Using Theorem Proving to Verify Properties of Agent Programs
From MaRDI portal
Publication:3056325
DOI10.1007/978-1-4419-6984-2_1zbMath1201.68068OpenAlexW164470975MaRDI QIDQ3056325
No author found.
Publication date: 11 November 2010
Published in: Specification and Verification of Multi-agent Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-1-4419-6984-2_1
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items
Uses Software