Verification for ASP denotational semantics: a case study using the PVS theorem prover
From MaRDI portal
Publication:4644478
DOI10.1093/jigpal/jzw060zbMath1407.68429OpenAlexW2565170489MaRDI QIDQ4644478
P. Ascariz, Pedro Cabalar, Felicidad Aguado, Gilberto Pérez, Concepción Vidal
Publication date: 8 January 2019
Published in: Logic Journal of IGPL (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/jigpal/jzw060
Uses Software