Artificial Intelligence
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Theory of linear and integer programming
Theory of linear and integer programming
Combinatorial optimization: algorithms and complexity
Combinatorial optimization: algorithms and complexity
Evidential support logic programming
Fuzzy Sets and Systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
More complicated questions about maxima and minima, and some closures of NP
Theoretical Computer Science
Journal of Complexity
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Paraconsistent logic programming
Theoretical Computer Science
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Optimization
An analysis of first-order logics of probability
Artificial Intelligence
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Bilattices and the semantics of logic programming
Journal of Logic Programming
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Handbook of theoretical computer science (vol. B)
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Probabilistic logic programming
Information and Computation
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Qualitative reasoning with imprecise probabilities
Journal of Intelligent Information Systems - Special issue: fuzzy logic and uncertainty management in information systems
Stable semantics for probabilistic deductive databases
Information and Computation
Anytime deduction for probabilistic logic
Artificial Intelligence
Decision Support Systems - Special issue on logic modeling
Selected papers of international conference on Fifth generation computer systems 92
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
The uncertain reasoner's companion: a mathematical perspective
The uncertain reasoner's companion: a mathematical perspective
From statistical knowledge bases to degrees of belief
Artificial Intelligence
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
On the complexity of inference about probabilistic relational models
Artificial Intelligence
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Computing probability intervals under independency constraints
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Many-Valued First-Order Logics with Probabilistic Semantics
Proceedings of the 12th International Workshop on Computer Science Logic
Credal Networks under Maximum Entropy
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Probabilistic and Truth-Functional Many-Valued Logic Programming
ISMVL '99 Proceedings of the Twenty Ninth IEEE International Symposium on Multiple-Valued Logic
Probabilistic deduction with conditional constraints over basic events
Journal of Artificial Intelligence Research
Hybrid probabilistic programs: algorithms and complexity
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Probabilistic Reasoning Under Coherence in System P
Annals of Mathematics and Artificial Intelligence
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Complexity results for structure-based causality
Artificial Intelligence
Procedural Semantics for Fuzzy Disjunctive Programs
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
Computational complexity of itemset frequency satisfiability
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Computational complexity of queries based on itemsets
Information Processing Letters
International Journal of Approximate Reasoning
Probabilistic description logic programs
International Journal of Approximate Reasoning
Expressive probabilistic description logics
Artificial Intelligence
Itemset frequency satisfiability: Complexity and axiomatization
Theoretical Computer Science
Representing Uncertainty in RuleML
Fundamenta Informaticae
Probabilistic logic with independence
International Journal of Approximate Reasoning
Probabilistic description logic programs under inheritance with overriding for the Semantic Web
International Journal of Approximate Reasoning
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
On Improving the Scalability of Checking Satisfiability in Probabilistic Description Logics
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Query Answering in Belief Logic Programming
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Revising imprecise probabilistic beliefs in the framework of probabilistic logic programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
A syntax-based framework for merging imprecise probabilistic logic programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Belief Logic Programming with Cyclic Dependencies
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Computational complexity of queries based on itemsets
Information Processing Letters
ACM Transactions on Database Systems (TODS)
Adaptive dialogue strategy selection through imprecise probabilistic query answering
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
Probabilistic logic programming under inheritance with overriding
UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence
A further study on inverse frequent set mining
ADMA'05 Proceedings of the First international conference on Advanced Data Mining and Applications
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
Annals of Mathematics and Artificial Intelligence
A top-k query answering procedure for fuzzy logic programming
Fuzzy Sets and Systems
Representing Uncertainty in RuleML
Fundamenta Informaticae
Hi-index | 0.00 |
We introduce a new approach to probabilistic logic programming in which probabilities are defined over a set of possible worlds. More precisely, classical program clauses are extended by a subinterval of [0,1] that describes a range for the conditional probability of the head of a clause given its body. We then analyze the complexity of selected probabilistic logic programming tasks. It turns out that probabilistic logic programming is computationally more complex than classical logic programming, More precisely, the tractability of special cases of classical logic programming generally does not carry over to the corresponding special cases of probabilistic logic programming. Moreover, we also draw a precise picture of the complexity of deciding and computing tight logical consequences in probabilistic reasoning with conditional constraints in general. We then present linear optimization techniques for deciding satisfiability and computing tight logical consequencesof probabilistic logic programs. These techniques are efficient in the special case in which we have little relevant purely probabilistic knowledge. We finally show that probabilistic logic programming under certain syntactic and semantic restrictions is closely related to van Emden's quantitative deduction, and thus has computational properties similar to calssical logic programming. Based on this result, we present an efficient approximation technique for probabilistic logic programming.