Achieving completeness in the verification of action theories by Bounded Model Checking in ASP
From MaRDI portal
Publication:3458887
DOI10.1093/logcom/ext067zbMath1328.68127OpenAlexW2078939587WikidataQ58207589 ScholiaQ58207589MaRDI QIDQ3458887
Alberto Martelli, Daniele Theseider Dupré, Laura Giordano
Publication date: 28 December 2015
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/2318/145906
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)
Related Items (1)
This page was built for publication: Achieving completeness in the verification of action theories by Bounded Model Checking in ASP