<> <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.ucl.ac.uk/id/eprint/10076705> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/dc/terms/title> "A Model-based Theorem Prover for Epistemic Graphs for Argumentation"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/abstract> "Epistemic graphs are a recent proposal for probabilistic argumentation that allows for modelling an agent’s degree of belief in an argument and how belief in one argument may influence the belief in other arguments. These beliefs are represented by probability distributions and how they affect each other is represented by logical constraints on these distributions. Within the full language of epistemic constraints, we distinguish a restricted class which offers computational benefits while still being powerful enough to allow for handling of many other argumentation formalisms and that can be used in applications that, for instance, rely on Likert scales. In this paper, we propose a model-based theorem prover for reasoning with the restricted epistemic language."^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/dc/terms/date> "2019-09-30" .
<https://discovery.ucl.ac.uk/id/document/925623> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Document> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/volume> "11726" .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Organization> .
<https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> <http://xmlns.com/foaf/0.1/name> "Springer"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/dc/terms/publisher> <https://discovery.ucl.ac.uk/id/org/ext-1c5ddec173ca8cdfba8b274309638579> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/status> <http://purl.org/ontology/bibo/status/published> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-e6305568a80b7aefc9a89dbaf5df5673> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10076705#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10076705#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-e6305568a80b7aefc9a89dbaf5df5673> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/dc/terms/creator> <https://discovery.ucl.ac.uk/id/person/ext-2c9451e4f8da199538525d4418a284cd> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/authorList> <https://discovery.ucl.ac.uk/id/eprint/10076705#authors> .
<https://discovery.ucl.ac.uk/id/eprint/10076705#authors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-2c9451e4f8da199538525d4418a284cd> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-83f347c4640b9a621338bfd50231a669> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10076705#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10076705#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_1> <https://discovery.ucl.ac.uk/id/person/ext-83f347c4640b9a621338bfd50231a669> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://www.loc.gov/loc.terms/relators/EDT> <https://discovery.ucl.ac.uk/id/person/ext-cbdb6024305b1bc41707d74ce9a68a9d> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/editorList> <https://discovery.ucl.ac.uk/id/eprint/10076705#editors> .
<https://discovery.ucl.ac.uk/id/eprint/10076705#editors> <http://www.w3.org/1999/02/22-rdf-syntax-ns#_2> <https://discovery.ucl.ac.uk/id/person/ext-cbdb6024305b1bc41707d74ce9a68a9d> .
<https://discovery.ucl.ac.uk/id/person/ext-cbdb6024305b1bc41707d74ce9a68a9d> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-cbdb6024305b1bc41707d74ce9a68a9d> <http://xmlns.com/foaf/0.1/givenName> "Z"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-cbdb6024305b1bc41707d74ce9a68a9d> <http://xmlns.com/foaf/0.1/familyName> "Ognjanović"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-cbdb6024305b1bc41707d74ce9a68a9d> <http://xmlns.com/foaf/0.1/name> "Z Ognjanović"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-83f347c4640b9a621338bfd50231a669> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-83f347c4640b9a621338bfd50231a669> <http://xmlns.com/foaf/0.1/givenName> "G"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-83f347c4640b9a621338bfd50231a669> <http://xmlns.com/foaf/0.1/familyName> "Kern-Isberner"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-83f347c4640b9a621338bfd50231a669> <http://xmlns.com/foaf/0.1/name> "G Kern-Isberner"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e6305568a80b7aefc9a89dbaf5df5673> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-e6305568a80b7aefc9a89dbaf5df5673> <http://xmlns.com/foaf/0.1/givenName> "A"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e6305568a80b7aefc9a89dbaf5df5673> <http://xmlns.com/foaf/0.1/familyName> "Hunter"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-e6305568a80b7aefc9a89dbaf5df5673> <http://xmlns.com/foaf/0.1/name> "A Hunter"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2c9451e4f8da199538525d4418a284cd> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://xmlns.com/foaf/0.1/Person> .
<https://discovery.ucl.ac.uk/id/person/ext-2c9451e4f8da199538525d4418a284cd> <http://xmlns.com/foaf/0.1/givenName> "S"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2c9451e4f8da199538525d4418a284cd> <http://xmlns.com/foaf/0.1/familyName> "Polberg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/person/ext-2c9451e4f8da199538525d4418a284cd> <http://xmlns.com/foaf/0.1/name> "S Polberg"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Article> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/ontology/bibo/presentedAt> <https://discovery.ucl.ac.uk/id/event/ext-9231151797f06de946e36dbb007da01b> .
<https://discovery.ucl.ac.uk/id/event/ext-9231151797f06de946e36dbb007da01b> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://purl.org/ontology/bibo/Conference> .
<https://discovery.ucl.ac.uk/id/event/ext-9231151797f06de946e36dbb007da01b> <http://purl.org/dc/terms/title> "European Conference on Quantitative and Symbolic Approaches to Reasoning with Uncertainty"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/EPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/ProceedingsSectionEPrint> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/dc/terms/isPartOf> <https://discovery.ucl.ac.uk/id/repository> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925623> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/925623> <http://www.w3.org/2000/01/rdf-schema#label> "A Model-based Theorem Prover for Epistemic Graphs for Argumentation (Text)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://purl.org/dc/elements/1.1/hasVersion> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://eprints.org/ontology/hasAccepted> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925623> <http://eprints.org/ontology/hasFile> <https://discovery.ucl.ac.uk/id/eprint/10076705/7/Hunter_A%20Model-based%20Theorem%20Prover%20for%20Epistemic%20Graphs%20for%20Argumentation_AAM.pdf> .
<https://discovery.ucl.ac.uk/id/document/925623> <http://purl.org/dc/terms/hasPart> <https://discovery.ucl.ac.uk/id/eprint/10076705/7/Hunter_A%20Model-based%20Theorem%20Prover%20for%20Epistemic%20Graphs%20for%20Argumentation_AAM.pdf> .
<https://discovery.ucl.ac.uk/id/eprint/10076705/7/Hunter_A%20Model-based%20Theorem%20Prover%20for%20Epistemic%20Graphs%20for%20Argumentation_AAM.pdf> <http://www.w3.org/2000/01/rdf-schema#label> "Hunter_A Model-based Theorem Prover for Epistemic Graphs for Argumentation_AAM.pdf"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/925624> .
<https://discovery.ucl.ac.uk/id/document/925624> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/925624> <http://www.w3.org/2000/01/rdf-schema#label> "A Model-based Theorem Prover for Epistemic Graphs for Argumentation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/925624> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925624> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925624> <http://eprints.org/relation/islightboxThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/925625> .
<https://discovery.ucl.ac.uk/id/document/925625> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/925625> <http://www.w3.org/2000/01/rdf-schema#label> "A Model-based Theorem Prover for Epistemic Graphs for Argumentation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/925625> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925625> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925625> <http://eprints.org/relation/ispreviewThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/925626> .
<https://discovery.ucl.ac.uk/id/document/925626> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/925626> <http://www.w3.org/2000/01/rdf-schema#label> "A Model-based Theorem Prover for Epistemic Graphs for Argumentation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/925626> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925626> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925626> <http://eprints.org/relation/ismediumThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/925627> .
<https://discovery.ucl.ac.uk/id/document/925627> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/925627> <http://www.w3.org/2000/01/rdf-schema#label> "A Model-based Theorem Prover for Epistemic Graphs for Argumentation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/925627> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925627> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925627> <http://eprints.org/relation/issmallThumbnailVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://eprints.org/ontology/hasDocument> <https://discovery.ucl.ac.uk/id/document/925628> .
<https://discovery.ucl.ac.uk/id/document/925628> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://eprints.org/ontology/Document> .
<https://discovery.ucl.ac.uk/id/document/925628> <http://www.w3.org/2000/01/rdf-schema#label> "A Model-based Theorem Prover for Epistemic Graphs for Argumentation (Other)"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://discovery.ucl.ac.uk/id/document/925628> <http://eprints.org/relation/isVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925628> <http://eprints.org/relation/isVolatileVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/document/925628> <http://eprints.org/relation/isIndexCodesVersionOf> <https://discovery.ucl.ac.uk/id/document/925623> .
<https://discovery.ucl.ac.uk/id/eprint/10076705> <http://www.w3.org/2000/01/rdf-schema#seeAlso> <https://discovery.ucl.ac.uk/id/eprint/10076705/> .
<https://discovery.ucl.ac.uk/id/eprint/10076705/> <http://purl.org/dc/elements/1.1/title> "HTML Summary of #10076705 \n\nA Model-based Theorem Prover for Epistemic Graphs for Argumentation\n\n" .
<https://discovery.ucl.ac.uk/id/eprint/10076705/> <http://purl.org/dc/elements/1.1/format> "text/html" .
<https://discovery.ucl.ac.uk/id/eprint/10076705/> <http://xmlns.com/foaf/0.1/primaryTopic> <https://discovery.ucl.ac.uk/id/eprint/10076705> .