186
click to vote
ICLP
15 years 10 months ago
2005 Springer 
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...
151
Voted
ICLP
15 years 10 months ago
2005 Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
156
click to vote
ICLP
15 years 10 months ago
2005 Springer 
Abstract Description Logics (DLs) are a family of class (concept) based knowledge representation formalisms. They are characterised by the use of various constructors to build comp...
140
click to vote
ICLP
15 years 10 months ago
2005 Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
154
click to vote
ICLP
15 years 10 months ago
2005 Springer 
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
|
Automated Reasoning