Anytime deduction for probabilistic logic

Efficient global probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events

CIKM '97 Proceedings of the sixth international conference on Information and knowledge management

Probabilistic logic programming with conditional constraints

ACM Transactions on Computational Logic (TOCL)

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

The Method of Assigning Incidences

Applied Intelligence

Axiomatization of frequent itemsets

Theoretical Computer Science

Axiomatization of Frequent Sets

ICDT '01 Proceedings of the 8th International Conference on Database Theory

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

Probabilistic Reasoning as a General Unifying Tool

ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

A Genetic Algorithm for Satisfiability Problem in a Probabilistic Logic: A First Report

ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty

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

Weighted deductive parsing and Knuth's algorithm

Computational Linguistics

Fuzzy functional dependencies and Bayesian networks

Journal of Computer Science and Technology

A Plausibility Description Logic for Handling Information Sources with Heterogeneous Data Representation Formats

Annals of Mathematics and Artificial Intelligence

Combining probabilistic logic programming with the power of maximum entropy

Artificial Intelligence - Special issue on nonmonotonic reasoning

Problem solving with insufficient resources

International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems

Probabilistic logic under coherence: complexity and algorithms

Annals of Mathematics and Artificial Intelligence

Weak nonmonotonic probabilistic logics

Artificial Intelligence

A probabilistic logic based on the acceptability of gambles

International Journal of Approximate Reasoning

Nonmonotonic probabilistic logics under variable-strength inheritance with overriding: Complexity, algorithms, and implementation

International Journal of Approximate Reasoning

Merging the local and global approaches to probabilistic satisfiability

International Journal of Approximate Reasoning

Expressive probabilistic description logics

Artificial Intelligence

Itemset frequency satisfiability: Complexity and axiomatization

Theoretical Computer Science

Probabilistic description logic programs under inheritance with overriding for the Semantic Web

International Journal of Approximate Reasoning

Managing Uncertainty and Vagueness in Description Logics, Logic Programs and Description Logic Programs

Reasoning Web

Managing uncertainty and vagueness in description logics for the Semantic Web

Web Semantics: Science, Services and Agents on the World Wide Web

An anytime deduction algorithm for the probabilistic logic and entailment problems

International Journal of Approximate Reasoning

Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web

Journal on Data Semantics XII

Parameter learning of logic programs for symbolic-statistical modeling

Journal of Artificial Intelligence Research

Probabilistic deduction with conditional constraints over basic events

Journal of Artificial Intelligence Research

Models and algorithms for probabilistic and Bayesian logic

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Weak nonmonotonic probabilistic logics

Artificial Intelligence

Graphical models for imprecise probabilities

International Journal of Approximate Reasoning

New advances in logic-based probabilistic modeling by PRISM

Probabilistic inductive logic programming

Credal networks under maximum entropy

UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence

Probabilistic logic programming under inheritance with overriding

UAI'01 Proceedings of the Seventeenth conference on Uncertainty in artificial intelligence

Magic inference rules for probabilistic deduction under taxonomic knowledge

UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence

Reasoning, metareasoning, and mathematical truth: studies of theorem proving under limited resources

UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence

Problem-focused incremental elicitation of multi-attribute tility models

UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence

Unifying nondeterministic and probabilistic planning through imprecise markov decision processes

IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence

Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction

Annals of Mathematics and Artificial Intelligence

A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques

Fuzzy Sets and Systems

Inconsistency measures for probabilistic logics

Artificial Intelligence

Probabilistic satisfiability and coherence checking through integer programming

ECSQARU'13 Proceedings of the 12th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty