Boole's logic and probability: a critical exposititon from the standpoint of contemporary algebra, logic, and probability theory

Implementing deductive databases by mixed integer programming

ACM Transactions on Database Systems (TODS)

Modelling legal reasoning in a mathematical environment through model theoretic semantics

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law

Probabilistic logic under coherence: complexity and algorithms

Annals of Mathematics and Artificial Intelligence

Generalizing inference rules in a coherence-based probabilistic default reasoning

International Journal of Approximate Reasoning

Probabilistic satisfiability: logic-based algorithms and phase transition

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One