164
click to vote
ICLP
15 years 5 months ago
1995 Springer 
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
143
click to vote
ICLP
15 years 5 months ago
1995 Springer 
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
127
click to vote
ICLP
15 years 5 months ago
1995 Springer 
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
124
click to vote
ICLP
15 years 5 months ago
1995 Springer 
Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...
121
click to vote
ICLP
15 years 5 months ago
1995 Springer 
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
|
Automated Reasoning