152
Voted
UKCBR
15 years 3 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...
145
Voted
LICS
15 years 3 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...
139
Voted
ICLP
15 years 3 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...
137
Voted
LPNMR
15 years 3 months ago
1995 Springer
In this paper we propose a version of default logic with the following two properties: (1) defaults with mutually inconsistent justications are never used together in constructing ...
|
Automated Reasoning