Sciweavers

567 search results - page 59 / 114
» Probabilistic Reasoning With Answer Sets
Sort
View
ICDE
2008
IEEE
147views Database» more  ICDE 2008»
15 years 11 months ago
Fast Indexes and Algorithms for Set Similarity Selection Queries
Data collections often have inconsistencies that arise due to a variety of reasons, and it is desirable to be able to identify and resolve them efficiently. Set similarity queries ...
Marios Hadjieleftheriou, Amit Chandel, Nick Koudas...
LPNMR
2007
Springer
15 years 3 months ago
Head-Elementary-Set-Free Logic Programs
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
Martin Gebser, Joohyung Lee, Yuliya Lierler
LPNMR
2001
Springer
15 years 2 months ago
plp: A Generic Compiler for Ordered Logic Programs
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
James P. Delgrande, Torsten Schaub, Hans Tompits
ISMB
1993
14 years 11 months ago
Probabilistic Structure Calculations: A Three-Dimensional tRNA Structure from Sequence Correlation Data
Algorithmsbasedonprobability theorycanaddressissues of uncertainty directly throughtheir representational frameworkandtheir theoryfor data combination.In this paper, wediscuss the...
Russ B. Altman
AAAI
2011
13 years 9 months ago
Abductive Markov Logic for Plan Recognition
Plan recognition is a form of abductive reasoning that involves inferring plans that best explain sets of observed actions. Most existing approaches to plan recognition and other ...
Parag Singla, Raymond J. Mooney