199
click to vote
ICLP
15 years 11 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...
160
click to vote
ICLP
15 years 11 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...
164
click to vote
ICLP
15 years 11 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...
153
click to vote
ICLP
15 years 11 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...
165
click to vote
ICLP
15 years 11 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