2858 search results - page 229 / 572 » Logics with Aggregate Operators |
175
click to vote
ICLP
2005
Springer
16 years 1 days ago
2005
Springer
We present HYPROLOG, a novel integration of Prolog with assumptions and abduction which is implemented in and partly borrows syntax from Constraint Handling Rules (CHR) for integri...
198
click to vote
ICLP
1999
Springer
15 years 10 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
160
click to vote
VLDB
1997
ACM
15 years 10 months ago
1997
ACM
We present a design for multi-version concurrency control and recovery in a main memory database, and describe logical and physical versioning schemes that allow read-only transac...
163
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
195
click to vote
DEXA
2008
Springer
2008
Springer
Evolutionary Clustering in Description Logics: Controlling Concept Formation and Drift in Ontologies
15 years 8 months ago
Abstract. We present a method based on clustering techniques to detect concept drift or novelty in a knowledge base expressed in Description Logics. The method exploits an effectiv...