Sciweavers

2962 search results - page 175 / 593
» Reasoning on Association Rules
Sort
View
ESWS
2006
Springer
15 years 10 months ago
Rules with Contextually Scoped Negation
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism...
Axel Polleres, Cristina Feier, Andreas Harth
ICLP
2007
Springer
16 years 21 days ago
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszy...
IPPS
1999
IEEE
15 years 10 months ago
Optimization Rules for Programming with Collective Operations
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
Sergei Gorlatch, Christoph Wedler, Christian Lenga...
SEBD
1997
132views Database» more  SEBD 1997»
15 years 7 months ago
Amore: An Integrated Environment for Database Mining
Abstract. While extensive e orts have been devoted to the development of e cient ad-hoc algorithms for association rules mining, little or no interest has been paid to the integrat...
Elena Baralis, Stefano Ceri, Rosa Meo, Giuseppe Ps...
POPL
2006
ACM
16 years 6 months ago
Frame rules from answer types for code pointers
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
Hayo Thielecke