{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T06:08:37Z","timestamp":1769321317849,"version":"3.49.0"},"reference-count":8,"publisher":"Oxford University Press (OUP)","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Logic Jnl IGPL"],"DOI":"10.1093\/jigpal\/jzw060","type":"journal-article","created":{"date-parts":[[2016,10,31]],"date-time":"2016-10-31T12:05:18Z","timestamp":1477915518000},"page":"jzw060","source":"Crossref","is-referenced-by-count":1,"title":["Verification for ASP denotational semantics: a case study using the PVS theorem prover"],"prefix":"10.1093","author":[{"given":"F.","family":"Aguado","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Ascariz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Cabalar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"P\u00e9rez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Vidal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2016,12,26]]},"reference":[{"key":"2016122619002708000_jzw060v1.1","unstructured":"Aguado F. Ascariz P. Cabalar P. P\u00e9rez G. and Vidal. C. PVS files for ASP denotational semantics, September 2015."},{"key":"2016122619002708000_jzw060v1.2","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1017\/S1471068415000277","article-title":"A denotational semantics for equilibrium logic.","volume":"15","author":"Aguado","year":"2015","journal-title":"Theory and Practice of Logic Programming,"},{"key":"2016122619002708000_jzw060v1.3","unstructured":"Archer M. Vito B. D. and Mu\u00f1oz. C. Developing user strategies in PVS: a tutorial. In Proceedings of Design and Application of Strategies\/Tactics in Higher Order Logics (STRATA\u201903), Hampton, VA 23681-2199, USA, 2003. NASA LaRC. NASA\/CP-2003-212448."},{"key":"2016122619002708000_jzw060v1.4","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1145\/2043174.2043195","article-title":"Answer set programming at a glance.","volume":"54","author":"Brewka","year":"2011","journal-title":"Communications of the ACM,"},{"key":"2016122619002708000_jzw060v1.5","first-page":"1070","article-title":"The stable model semantics for logic programming.","volume-title":"Logic Programming: Proceedings of the Fifth International Conference and Symposium,","volume":"Vol. 2,","author":"Gelfond","year":"1988"},{"key":"2016122619002708000_jzw060v1.6","first-page":"748","article-title":"PVS: A prototype verification system.","volume-title":"11th International Conference on Automated Deduction (CADE),","volume":"vol. 607","author":"Owre","year":"1992"},{"key":"2016122619002708000_jzw060v1.7","doi-asserted-by":"crossref","unstructured":"Pearce. D. A new logical characterisation of stable models and answer sets. In Non Monotonic Extensions of Logic Programming. Proceedings of NMELP\u201996. (LNAI 1216). Springer, 1996.","DOI":"10.1007\/BFb0023801"},{"key":"2016122619002708000_jzw060v1.8","unstructured":"Scott D. and Strachey. C. Toward a mathematical semantics for computer languages. Technical Report PRG-6. Oxford Programming Research Group Technical Monograph, 1971."}],"container-title":["Logic Journal of IGPL"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/jigpal\/article-pdf\/25\/2\/195\/11036701\/jzw060.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T04:58:42Z","timestamp":1568523522000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/jigpal\/article-lookup\/doi\/10.1093\/jigpal\/jzw060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,26]]},"references-count":8,"alternative-id":["10.1093\/jigpal\/jzw060"],"URL":"https:\/\/doi.org\/10.1093\/jigpal\/jzw060","relation":{},"ISSN":["1367-0751","1368-9894"],"issn-type":[{"value":"1367-0751","type":"print"},{"value":"1368-9894","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,26]]}}}