140
Voted
ICLP
15 years 4 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...
118
Voted
ICLP
15 years 4 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...
105
Voted
ICLP
15 years 4 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...
105
Voted
ICLP
15 years 4 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...
101
Voted
ICLP
15 years 4 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