Verification for ASP denotational semantics: A case study using the PVS theorem prover

  1. Aguado, F.
  2. Ascariz, P.
  3. Cabalar, P.
  4. Pérez, G.
  5. Vidal, C.
Journal:
Logic Journal of the IGPL

ISSN: 1368-9894,  1367-0751

Year of publication: 2017

Volume: 25

Issue: 2

Pages: 195-213

Type: Article

DOI: 10.1093/JIGPAL/JZW060 GOOGLE SCHOLAR
Data source: Scopus