6554 search results - page 147 / 1311 » Constraint Logic Programming |
192
click to vote
JAIR
2007
15 years 6 months ago
2007
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
431
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
151
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...
178
click to vote
DALT
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...