598 search results - page 102 / 120 » Independence Semantics for BKBs |
IJCAI
1989
13 years 9 months ago
1989
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations. Our purpose is to determine when the composition i...
FAC
2008
13 years 8 months ago
2008
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Data mining allows the exploration of sequences of phenomena, whereas one usually tends to focus on isolated phenomena or on the relation between two phenomena. It offers invaluab...
KI
2006
Springer
13 years 8 months ago
2006
Springer
The Semantic Web requires automatic ontology population methods. We developed an approach, that given existing ontologies, extracts instances of ontology relations, a specific subt...
SYNTHESE
2008
13 years 8 months ago
2008
Nancy Cartwright relies upon an inference pattern known as inference to the best causal explanation (IBCE) to support a limited form of entity realism, according to which we are wa...