Sciweavers

14 search results - page 1 / 3
» Evaluation of probabilistic and logical inference for a SNP ...
Sort
View
FUIN
2010
130views more  FUIN 2010»
13 years 3 months ago
SLGAD Resolution for Inference on Logic Programs with Annotated Disjunctions
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
Fabrizio Riguzzi
ICLP
2010
Springer
13 years 8 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift
ERCIMDL
2007
Springer
110views Education» more  ERCIMDL 2007»
13 years 11 months ago
Annotation-Based Document Retrieval with Probabilistic Logics
Annotations are an important part in today’s digital libraries and Web information systems as an instrument for interactive knowledge creation. Annotation-based document retrieva...
Ingo Frommholz
JCDL
2006
ACM
92views Education» more  JCDL 2006»
13 years 10 months ago
Probabilistic, object-oriented logics for annotation-based retrieval in digital libraries
In this paper we introduce POLAR, a probabilistic objectoriented logical framework for annotation-based information retrieval. In POLAR, the knowledge about digital objects, annot...
Ingo Frommholz, Norbert Fuhr