115 search results - page 17 / 23 » Conceptual Clustering in a First Order Logic Representation |
KDD
2007
ACM
14 years 8 months ago
2007
ACM
XML has become a popular method of data representation both on the web and in databases in recent years. One of the reasons for the popularity of XML has been its ability to encod...
FSKD
2005
Springer
14 years 1 months ago
2005
Springer
Although many systems exist for automatic classification of faces according to their emotional expression, these systems do not explicitly estimate the strength of given expression...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...
FOIS
2006
13 years 9 months ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...