Abduction with probabilistic logic programming under the distribution semantics
Damiano Azzolini, Elena Bellodi, Stefano Ferilli, Fabrizio Riguzzi, Riccardo Zese
Topics & Concepts
Probabilistic logicProbabilistic CTLProbabilistic argumentationComputer scienceLogic programmingSemantic reasonerProbabilistic logic networkAbductive reasoningStable model semanticsSet (abstract data type)Programming languageSemantics (computer science)Non-monotonic logicTheoretical computer scienceArtificial intelligenceDescription logicAutoepistemic logicProbabilistic analysis of algorithmsOperational semanticsMultimodal logicLogic, Reasoning, and KnowledgeBayesian Modeling and Causal InferenceSemantic Web and Ontologies