8228 search results - page 98 / 1646 » Structural Logical Relations |
EUSFLAT
2009
13 years 8 months ago
2009
The present article dedicates itself to fuzzy modelling of data
JOLLI
2008
13 years 10 months ago
2008
In this paper, consistency is understood as the absence of the negation of a theorem, and not, in general, as the absence of any contradiction. We define the basic constructive log...
PSSS
2003
13 years 11 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
KSEM
2010
Springer
13 years 8 months ago
2010
Springer
Given the proven usefulness of ontologies in many areas, the representation of logical axioms associated to ontological concepts and relations has become an important task in order...
ICMLA
2009
13 years 7 months ago
2009
Languages that combine predicate logic with probabilities are needed to succinctly represent knowledge in many real-world domains. We consider a formalism based on universally qua...