Sciweavers

3032 search results - page 227 / 607
» Description Logic Rules
Sort
View
114
Voted
AGP
2003
IEEE
15 years 4 months ago
Advanced Backjumping Techniques for Rule Instantiations
Abstract. The interest in the area of non-monotonic reasoning and declarative logic programming is growing rapidly after the recent development of a number of Answer Set Programmin...
Simona Perri, Francesco Scarcello
ICML
2004
IEEE
16 years 1 months ago
Learning first-order rules from data with multiple parts: applications on mining chemical compound data
Inductive learning of first-order theory based on examples has serious bottleneck in the enormous hypothesis search space needed, making existing learning approaches perform poorl...
Cholwich Nattee, Sukree Sinthupinyo, Masayuki Numa...
112
Voted
INTEROP
1999
Springer
126views GIS» more  INTEROP 1999»
15 years 5 months ago
Identifying Semantically Similar Elements in Heterogeneous Spatial Databases Using Predicate Logic Expressions
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
Kristin Stock, David Pullar
104
Voted
ASP
2003
Springer
15 years 6 months ago
Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
Robert E. Mercer, Vincent Risch
105
Voted
ARC
2007
Springer
118views Hardware» more  ARC 2007»
15 years 4 months ago
Simulation of the Dynamic Behavior of One-Dimensional Cellular Automata Using Reconfigurable Computing
This paper presents the implementation of an environment for the evolution of one-dimensional cellular automata using a reconfigurable logic device. This configware is aimed at eva...
Wagner Rodrigo Weinert, César Manuel Vargas...