<> <http://www.w3.org/2000/01/rdf-schema#comment> "The repository administrator has not yet configured an RDF license."^^<http://www.w3.org/2001/XMLSchema#string> .
<> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/AcademicArticle> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/dc/terms/title> "A logical approach to A-Prolog"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/ontology/bibo/abstract> "It has been recently provided a characterization of Answer Sets by intuitionistic logic as follows: a literal is entailed by a program in the stable model semantics if and only if it belongs to every intuitionistically complete and consistent extension of the program formed by adding only negated literals. We show that if we replace intuitionistic logic by any si-logic the result still holds."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/dc/terms/date> "2002-10" .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/ontology/bibo/volume> "67" .
<https://discovery-pp.ucl.ac.uk/id/publication/ext-15710661> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Collection> .
<https://discovery-pp.ucl.ac.uk/id/publication/ext-15710661> <http://xmlns.com/foaf/0.1/name> "Electronic Notes in Theoretical Computer Science"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/dc/terms/isPartOf> <https://discovery-pp.ucl.ac.uk/id/publication/ext-15710661> .
<https://discovery-pp.ucl.ac.uk/id/publication/ext-15710661> <http://www.w3.org/2002/07/owl#sameAs> <urn:issn:15710661> .
<https://discovery-pp.ucl.ac.uk/id/publication/ext-15710661> <http://purl.org/ontology/bibo/issn> "15710661" .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/dc/terms/creator> <https://discovery-pp.ucl.ac.uk/id/person/ext-4c6cb629e5cddcaf4616ff527707f4dc> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/ontology/bibo/authorList> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362#authors> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery-pp.ucl.ac.uk/id/person/ext-4c6cb629e5cddcaf4616ff527707f4dc> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/dc/terms/creator> <https://discovery-pp.ucl.ac.uk/id/person/ext-ee5250ab3ab3366ce6a1853f182b8009> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/ontology/bibo/authorList> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362#authors> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery-pp.ucl.ac.uk/id/person/ext-ee5250ab3ab3366ce6a1853f182b8009> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/dc/terms/creator> <https://discovery-pp.ucl.ac.uk/id/person/ext-cd62c927dcaa915cc37426dd791a432a> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/ontology/bibo/authorList> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362#authors> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_3> <https://discovery-pp.ucl.ac.uk/id/person/ext-cd62c927dcaa915cc37426dd791a432a> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-4c6cb629e5cddcaf4616ff527707f4dc> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-4c6cb629e5cddcaf4616ff527707f4dc> <http://xmlns.com/foaf/0.1/givenName> "M"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-4c6cb629e5cddcaf4616ff527707f4dc> <http://xmlns.com/foaf/0.1/familyName> "Osorio"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-4c6cb629e5cddcaf4616ff527707f4dc> <http://xmlns.com/foaf/0.1/name> "M Osorio"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-ee5250ab3ab3366ce6a1853f182b8009> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-ee5250ab3ab3366ce6a1853f182b8009> <http://xmlns.com/foaf/0.1/givenName> "JAN"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-ee5250ab3ab3366ce6a1853f182b8009> <http://xmlns.com/foaf/0.1/familyName> "Pérez"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-ee5250ab3ab3366ce6a1853f182b8009> <http://xmlns.com/foaf/0.1/name> "JAN Pérez"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-cd62c927dcaa915cc37426dd791a432a> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-cd62c927dcaa915cc37426dd791a432a> <http://xmlns.com/foaf/0.1/givenName> "J"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-cd62c927dcaa915cc37426dd791a432a> <http://xmlns.com/foaf/0.1/familyName> "Arrazola"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/person/ext-cd62c927dcaa915cc37426dd791a432a> <http://xmlns.com/foaf/0.1/name> "J Arrazola"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ArticleEPrint> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://purl.org/dc/terms/isPartOf> <https://discovery-pp.ucl.ac.uk/id/repository> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://eprints.org/ontology/hasDocument> <https://discovery-pp.ucl.ac.uk/id/document/54505> .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://www.w3.org/2000/01/rdf-schema#label> "A logical approach to A-Prolog (PDF)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://eprints.org/relation/hasVolatileVersion> <https://discovery-pp.ucl.ac.uk/id/document/90010> .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://eprints.org/relation/haspreviewThumbnailVersion> <https://discovery-pp.ucl.ac.uk/id/document/90010> .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://eprints.org/relation/hasVersion> <https://discovery-pp.ucl.ac.uk/id/document/90010> .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://eprints.org/ontology/hasFile> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362/1/wollic02.pdf> .
<https://discovery-pp.ucl.ac.uk/id/document/54505> <http://purl.org/dc/terms/hasPart> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362/1/wollic02.pdf> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362/1/wollic02.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "wollic02.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://eprints.org/ontology/hasDocument> <https://discovery-pp.ucl.ac.uk/id/document/90010> .
<https://discovery-pp.ucl.ac.uk/id/document/90010> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery-pp.ucl.ac.uk/id/document/90010> <http://www.w3.org/2000/01/rdf-schema#label> "A logical approach to A-Prolog (Image (PNG))"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/document/90010> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery-pp.ucl.ac.uk/id/document/54505> .
<https://discovery-pp.ucl.ac.uk/id/document/90010> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery-pp.ucl.ac.uk/id/document/54505> .
<https://discovery-pp.ucl.ac.uk/id/document/90010> <http://eprints.org/relation/isVersionOf> <https://discovery-pp.ucl.ac.uk/id/document/54505> .
<https://discovery-pp.ucl.ac.uk/id/document/90010> <http://eprints.org/ontology/hasFile> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362/2/preview.png> .
<https://discovery-pp.ucl.ac.uk/id/document/90010> <http://purl.org/dc/terms/hasPart> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362/2/preview.png> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362/2/preview.png> <http://www.w3.org/2000/01/rdf-schema#label> "preview.png"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://eprints.org/ontology/hasDocument> <https://discovery-pp.ucl.ac.uk/id/document/115805> .
<https://discovery-pp.ucl.ac.uk/id/document/115805> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery-pp.ucl.ac.uk/id/document/115805> <http://www.w3.org/2000/01/rdf-schema#label> "A logical approach to A-Prolog (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/document/115805> <http://eprints.org/relation/isVersionOf> <https://discovery-pp.ucl.ac.uk/id/document/54505> .
<https://discovery-pp.ucl.ac.uk/id/document/115805> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery-pp.ucl.ac.uk/id/document/54505> .
<https://discovery-pp.ucl.ac.uk/id/document/115805> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery-pp.ucl.ac.uk/id/document/54505> .
<https://discovery-pp.ucl.ac.uk/id/document/115805> <http://eprints.org/ontology/hasFile> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362/3/indexcodes.txt> .
<https://discovery-pp.ucl.ac.uk/id/document/115805> <http://purl.org/dc/terms/hasPart> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362/3/indexcodes.txt> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362/3/indexcodes.txt> <http://www.w3.org/2000/01/rdf-schema#label> "indexcodes.txt"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362/> .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #1361362 \n\nA logical approach to A-Prolog\n\n" .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery-pp.ucl.ac.uk/id/eprint/1361362/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery-pp.ucl.ac.uk/id/eprint/1361362> .