Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ECAI
1998
Springer

favoriteEmaildiscussreport

116views Artificial Intelligence» more ECAI 1998»

Probabilistic Logic Programming

13 years 8 months ago

Probabilistic Logic Programming

Download www.kr.tuwien.ac.at

We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which are obtained from the classical notion of logical entailment by adding inheritance with overriding. This is done by using recent approaches to probabilistic default reasoning with conditional constraints. We analyze the semantic properties of the new entailment relations. We also present algorithms for probabilistic logic programming under inheritance with overriding, and we analyze its complexity in the propositional case.

Thomas Lukasiewicz

Real-time Traffic

Artificial Intelligence | Conditional Constraints | ECAI 1998 | Entailment | Probabilistic Logic |

claim paper

Related Content

» New Semantics for Hybrid Probabilistic Programs

» Using the Probabilistic Logic Programming Language Plog for Causal and Counterfactual Reas...

» Probabilistic logic with independence

» Hybrid Probabilistic Logic Programs with Nonmonotonic Negation

» Logic Programming Abduction and Probability

» Revising Imprecise Probabilistic Beliefs in the Framework of Probabilistic Logic Programmi...

» Logic programs with annotated disjunctions

» A Logic for Formal Verification of Quantum Programs

» Probabilistic Inductive Logic Programming

Post Info
More Details (n/a)

Added	11 Aug 2010
Updated	11 Aug 2010
Type	Conference
Year	1998
Where	ECAI
Authors	Thomas Lukasiewicz

Comments (0)