204
click to vote
UKCBR
15 years 8 months ago
1995 
In the near future, a potentially huge number of telecommunication services will be available to the public. Information about these services will be sto...
189
click to vote
ICLP
15 years 8 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...
185
click to vote
LICS
15 years 8 months ago
1995 IEEE 
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...
170
click to vote
ICLP
15 years 8 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...
|
Automated Reasoning