6554 search results - page 95 / 1311 » Constraint Logic Programming |
209
click to vote
DDECS
2009
IEEE
16 years 28 days ago
2009
IEEE
— We propose a novel synthesis method of a dual-rail asynchronous two-level logic of reduced cost. It is based on a model that operates under so called modified weak constraints....
147
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...
156
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
156
click to vote
FOSSACS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Separation logic is a recent extension of Hoare logic for reasoning about programs with references to shared mutable data structures. In this paper, we provide a new inte...
155
click to vote
IDC
2009
Springer
16 years 22 days ago
2009
Springer
In the last fifteen years many work in logic programming has focussed on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both c...