2962 search results - page 218 / 593 » Reasoning on Association Rules |
185
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
We present GiaBATA, a system for storing, aggregating, and querying Semantic Web data, based on declarative logic programming technology, namely on the dlvhex system, which allows ...
182
click to vote
MLDM
2009
Springer
16 years 1 months ago
2009
Springer
In a world where massive amounts of data are recorded on a large scale we need data mining technologies to gain knowledge from the data in a reasonable time. The Top Down Induction...
183
click to vote
LPAR
2004
Springer
15 years 12 months ago
2004
Springer
Resolution-based calculi are among the most widely used calculi for theorem proving in first-order logic. Numerous refinements of resolution are nowadays available, such as e.g. ...
183
click to vote
IEAAIE
1995
Springer
15 years 10 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
154
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Description Logic Programs (DL-programs) have been introduced to combine ontological and rule-based reasoning in the context of the Semantic Web. A DL-program loosely com...