3546 search results - page 465 / 710 » A Causal Logic of Logic Programming |
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Multi-agent resource allocation is a growing area of research at the frontier between Economics and Computer Science. Despite the extensive theoretical work and raising number of ...
109
click to vote
EMSOFT
2001
Springer
15 years 5 months ago
2001
Springer
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
120
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
159
click to vote
CSCLP
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
145
click to vote
LANMR
2004
15 years 2 months ago
2004
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...