884 search results - page 103 / 177 » Using Nested Logic Programs for Answer Set Programming |
100
Voted
DLOG
2003
15 years 3 months ago
2003
We consider the problem of automated index selection for embedded control programs (ECPs). Such systems have the property that the transaction types, which can consist of queries ...
153
Voted
CPAIOR
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
118
click to vote
ARTMED
2010
15 years 2 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
118
Voted
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...
146
click to vote
CORR
2004
Springer
15 years 2 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...