439 search results - page 47 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
285
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
This study investigates whether a fuzzy clustering method is of any practical value in delineating urban housing submarkets relative to clustering methods based on classic (or cri...
174
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
150
click to vote
LPAR
2000
Springer
15 years 9 months ago
2000
Springer
We present the rational construction of a generic domain for structural information analysis of real CLP languages called Pattern(D ), where the parameter D is an abstract domain s...
159
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
160
click to vote
TPHOL
2007
IEEE
16 years 12 days ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...