Artificial Intelligence
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Probabilistic semantics for nonmonotonic reasoning: a survey
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Constraint propagation with imprecise conditional probabilities
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
On the consistency of defeasible databases
Artificial Intelligence
What does a conditional knowledge base entail?
Artificial Intelligence
Anytime deduction for probabilistic logic
Artificial Intelligence
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
From statistical knowledge bases to degrees of belief
Artificial Intelligence
Nonmonotonic reasoning, conditional objects and possibility theory
Artificial Intelligence
Handbook of defeasible reasoning and uncertainty management systems: Volume 4 abductive reasoning and learning
Default reasoning from conditional knowledge bases: complexity and tractable cases
Artificial Intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Plausibility measures and default reasoning
Journal of the ACM (JACM)
Computers and Intractability; A Guide to the Theory of NP-Completeness
Computers and Intractability; A Guide to the Theory of NP-Completeness
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
Probabilistic Consistency of Conditional Probability Bounds
IPMU'94 Selected papers from the 5th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Advances in Intelligent Computing
Computing probability intervals under independency constraints
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Probabilistic Logic Programming under Inheritance with Overriding
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
System Z: A Natural Ordering of Defaults with Tractable Applications to Nonmonotonic Reasoning
Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
An Investigation of the Laws of Thought
An Investigation of the Laws of Thought
Probabilistic logic under coherence: complexity and algorithms
Annals of Mathematics and Artificial Intelligence
Weak nonmonotonic probabilistic logics
Artificial Intelligence
Weakening conflicting information for iterated revision and knowledge integration
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Models and algorithms for probabilistic and Bayesian logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Coping with the limitations of rational inference in the framework of possibility theory
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Expressive probabilistic description logics
Artificial Intelligence
A logic with approximate conditional probabilities that can model default reasoning
International Journal of Approximate Reasoning
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Qualitative Possibilities and Necessities
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Revising imprecise probabilistic beliefs in the framework of probabilistic logic programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
A syntax-based framework for merging imprecise probabilistic logic programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A probabilistic logic with polynomial weight formulas
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
On real-valued evaluation of propositional formulas
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.00 |
In previous work, I have introduced nonmonotonic probabilistic logics under variable-strength inheritance with overriding. They are formalisms for probabilistic reasoning from sets of strict logical, default logical, and default probabilistic sentences, which are parameterized through a value @l@?[0,1] that describes the strength of the inheritance of default probabilistic knowledge. In this paper, I continue this line of research. I give a precise picture of the complexity of deciding consistency of strength @l and of computing tight consequences of strength @l. Furthermore, I present algorithms for these tasks, which are based on reductions to the standard problems of deciding satisfiability and of computing tight logical consequences in model-theoretic probabilistic logic. Finally, I describe the system nmproblog, which includes a prototype implementation of these algorithms.