scientific article; zbMATH DE number 6902518
From MaRDI portal
Publication:4576181
DOI10.3233/978-1-61499-672-9-286zbMath1403.68300MaRDI QIDQ4576181
No author found.
Publication date: 12 July 2018
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (2)
Abstraction for non-ground answer set programs ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems
This page was built for publication:
