3481 search results - page 358 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
151
click to vote
WDAG
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We examine the problem of detecting nested temporal predicates given the execution trace of a distributed program. We present a technique that allows efficient detection ...
158
click to vote
ENTCS
2007
15 years 4 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
140
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
131
click to vote
CISIS
2010
IEEE
15 years 12 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...
137
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
We present a fragment of separation logic oriented to linked lists, and study decision procedures for validity of entailments. The restrictions in the fragment are motivated by the...