2490 search results - page 190 / 498 » Complexity of Contextual Reasoning |
129
click to vote
TPHOL
2000
IEEE
15 years 9 months ago
2000
IEEE
We provide a proof using HOL and SPIN of convergence for the Routing Information Protocol (RIP), an internet protocol based on distance vector routing. We also calculate a sharp re...
193
click to vote
AIMDM
1999
Springer
15 years 9 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
125
click to vote
ISMVL
1999
IEEE
15 years 9 months ago
1999
IEEE
In the last years two automated reasoning techniques for clause normal form arose in which the use of labels are prominently featured: signed logic and annotated logic programming...
121
Voted
LICS
1999
IEEE
15 years 9 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
130
click to vote
EWCBR
1998
Springer
15 years 9 months ago
1998
Springer
Development and maintenance of a case-base is known to be one of the most difficult problems in real-world application of case-based diagnosis systems. The complexity of large tech...