178
Voted
UKCBR
15 years 6 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...
167
Voted
ICLP
15 years 6 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...
166
Voted
LICS
15 years 6 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...
164
Voted
RUR
15 years 6 months ago
1995  151
Voted
GIS
15 years 6 months ago
1995 ACM 
: Usually spatial planning problems involve a large number of decision makers with different backgrounds and interests. The process of Collaborative Spatial Decision Making (CSDM)...
|
Automated Reasoning