Sciweavers

2962 search results - page 253 / 593
» Reasoning on Association Rules
Sort
View
DLOG
2007
15 years 9 months ago
Exploiting Conjunctive Queries in Description Logic Programs
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
Thomas Eiter, Giovambattista Ianni, Thomas Krennwa...
HIS
2003
15 years 8 months ago
On a Set Theory With Uncertain Membership Relations
We logically model uncertainty by expanding language without changing logical reasoning rules. We expand the language of set theory by adding new predicate symbols, uncertain membe...
Shunsuke Yatabe, Yuzuru Kakuda, Makoto Kikuchi
UAI
2001
15 years 8 months ago
A Calculus for Causal Relevance
We present a sound and complete calculus for causal relevance that uses Pearl's functional causal models as semantics. The calculus consists of axioms and rules of inference ...
Blai Bonet
DLOG
2009
15 years 4 months ago
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
Irma Sofia Espinosa Peraldi, Atila Kaya, Ralf M&ou...
ADBIS
2008
Springer
131views Database» more  ADBIS 2008»
16 years 1 months ago
Increasing Expressiveness of Composite Events Using Parameter Contexts
The event-condition-action paradigm (also known as triggers or ECA rules) gives a database “active” capabilities – the ability to react automatically to changes in the databa...
Indrakshi Ray, Wei Huang