2585 search results - page 450 / 517 » Automating Coherent Logic |
101
Voted
AAAI
1993
15 years 2 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
112
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
104
Voted
GIS
2010
ACM
14 years 10 months ago
2010
ACM
Object representation and reasoning in vector based geographic information systems (GIS) is based on Euclidean geometry. Euclidean geometry is built upon Euclid's first postu...
123
click to vote
TPHOL
1997
IEEE
15 years 5 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
104
Voted
CASES
2004
ACM
15 years 6 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...