Sciweavers

3983 search results - page 175 / 797
» Conceptual logic programs
Sort
View
ICLP
2007
Springer
15 years 11 months ago
Logic Programs with Abstract Constraint Atoms: The Role of Computations
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...
OPODIS
2003
15 years 6 months ago
Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
Alper Sen, Vijay K. Garg
141
Voted
VLDB
1991
ACM
101views Database» more  VLDB 1991»
15 years 8 months ago
Solving Domain Mismatch and Schema Mismatch Problems with an Object-Oriented Database Programming Language
Domain mismatch and schema mismatch are two of the important semantic integration problems for interoperating heterogeneous databases. This paper structures the domain mismatch pr...
William Kent
INTERSENSE
2006
ACM
15 years 11 months ago
Programming wireless sensor networks with logical neighborhoods
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
Luca Mottola, Gian Pietro Picco
151
Voted
ML
2006
ACM
143views Machine Learning» more  ML 2006»
15 years 4 months ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton