Emad Saad, Enrico Pontelli  Home/Search
Context
Related
| umass.edu/aimath06/proceeding...P10.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: umass.edu/aimath06/proceedings (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In [23], a new Hybrid Probabilistic Logic Programs framework has been proposed, and a new semantics has been developed to enable encoding and reasoning about real-world applications. In this paper, the language of Hybrid Probabilistic Logic Programs framework of [23] is extended to allow non-monotonic negation, and two alternative semantics are defined: stable probabilistic model semantics and probabilistic well-founded semantics. Stable probabilistic model semantics and probabilistic... (Update)
Active bibliography (related documents): More All
0.5: Composite Distributive Lattices as Annotation Domains for.. - Calmet, Kullmann, Taneda (2000) (Correct)
0.4: Epistemic Foundation of Stable Model Semantics - Loyer, Straccia (2006) (Correct)
0.3: The Approximate Well-founded Semantics for Logic Programs.. - Loyer, Straccia (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ saad-nonmonotonic,
author = "Emad Saad and Enrico Pontelli",
title = "Non-monotonic Negation in Hybrid Probabilistic Logic Programs",
url = "citeseer.ist.psu.edu/742579.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
234 The wellfounded semantics for general logic programs - Van Gelder, Ross et al. - 1991
191 Linear-time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984
180 Logic programming and negation:a survey - Apt, Bol - 1994
134 Theory of generalized annotated logic programming and its ap.. - Kifer, Subrahmanian - 1992
79 Probabilistic logic programming - Ng, Subrahmanian - 1992
64 Amalgamating knowledge bases (context) - Subrahmanian - 1994
58 The alternating fixpoint of logic programs with negation (context) - Van Gelder - 1993
55 A semantical framework for supporting subjective and conditi.. - Ng, Subrahmanian - 1993
51 Hybrid probabilistic program - Dekhtyar, Subrahmanian - 2000
38 Stable semantics for probabilistic deductive databases (context) - Ng, Subrahmanian - 1994
29 Probabilistic logic programming - Lukasiewicz - 1998
23 A parametric approach to deductive databases with uncertaint.. - Lakshmanan, Shiri - 2001
11 a theory of probabilistic deductive databases - Lakshmanan, Sadri - 2001
9 Many-valued disjunctive logic programs with probabilistic se.. - Lukasiewicz - 1999
8 Hybrid probabilistic logic programs as residuated logic prog.. - Damasio, Pereira - 2000
7 cient implementation of the well-founded and stable model se.. (context) - Niemela, Simons - 1996
6 The approximate well-founded semantics for logic programs wi.. - Loyer, Straccia - 2003
4 The well-founded semantics in normal logic programs with unc.. (context) - Loyer, Straccia - 2002
2 Coherent well-founded annotated logic programs (context) - Damasio - 1999
1 Hybrid probabilistic logic programming with non-monotoic neg.. (context) - Saad, Pontelli - 2005
1 Probabilistic reasoning with answer sets (context) - Baral - 2004
1 Towards a more practical hybrid probabilistic logic programm.. (context) - Saad, Pontelli - 2005
1 Hybrid probabilistic programs with non-monotonic negation: s.. (context) - Saad - 2005
Documents on the same site (http://anytime.cs.umass.edu/aimath06/proceedings.html): More
Finding Small Unsatisfiable Cores to Prove.. - Interian, Corvera.. (Correct)
Scalable Inference in Hierarchical Generative Models - Dean (Correct)
Approximate Linear Programming for Solving Hybrid Factored MDPs - Hauskrecht, Kveton (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC