ICLP 2005 - PDF Preprint Papers

ICLP 2005 International Conference on Logic Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICLP-2005 Paper

click to vote

ICLP
2005
Springer

182views Automated Reasoning» more ICLP 2005»

Hybrid Probabilistic Logic Programs with Non-monotonic Negation

13 years 10 months ago

Download www.cs.nmsu.edu

1 In [20], a new Hybrid Probabilistic Logic Programs framework is proposed, and a new semantics is developed to enable encoding and reasoning about real-world applications. In this...

Emad Saad, Enrico Pontelli

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	182	Hybrid Probabilistic Logic Programs with Non-monotonic Negation	claim
2	171	Nondeterminism Analysis of Functional Logic Programs	claim
3	168	OWL: A Description Logic Based Ontology Language	claim
4	164	Abduction of Linear Arithmetic Constraints	claim
5	155	HYPROLOG: A New Logic Programming Language with Assumptions and Abduction	claim
6	147	Coordination of Many Agents	claim
7	147	Analysis and Optimization of CHR Programs	claim
8	138	Towards an Integration of Answer Set and Constraint Solving	claim
9	125	Decision Support for Personalization on Mobile Devices	claim
10	122	Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming	claim
11	119	Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs	claim
12	117	Modeling Systems in CLP	claim
13	113	A Type System for CHR	claim
14	109	Concurrent Methodologies for Global Optimization	claim
15	108	Practical Higher-Order Pattern Unification with On-the-Fly Raising	claim
16	107	A Distributed and Probabilistic Concurrent Constraint Programming Language	claim
17	106	Denotational Semantics Using Horn Concurrent Transaction Logic	claim
18	98	A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems	claim
19	97	Techniques for Scaling Up Analyses Based on Pre-interpretations	claim
20	97	Small Proof Witnesses for LF	claim
21	96	Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis	claim
22	96	An Optimised Semantic Web Query Language Implementation in Prolog	claim
23	93	A Temporal Programming Language for Heterogeneous Information Systems	claim
24	92	Preference Reasoning	claim
25	91	A Generic Framework for the Analysis and Specialization of Logic Programs	claim
26	90	Guard and Continuation Optimization for Occurrence Representations of CHR	claim
27	74	The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers