Temporal probabilistic logic programs

Representing Uncertainty in RuleML

Fundamenta Informaticae

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

Reasoning Web

Approximate well-founded semantics, query answering and generalized normal logic programs over lattices

Annals of Mathematics and Artificial Intelligence

Annotated probabilistic temporal logic

ACM Transactions on Computational Logic (TOCL)

Incomplete knowledge in hybrid probabilistic logic programs

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence

Annotated Probabilistic Temporal Logic: Approximate Fixpoint Implementation

ACM Transactions on Computational Logic (TOCL)

Representing Uncertainty in RuleML

Fundamenta Informaticae