9719 search results - page 324 / 1944 » Answer Set Optimization |
169
click to vote
IWCIA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. The expressiveness of a lot of image analysis algorithms depends on the question whether shape information is preserved during digitization. Most existing approaches to a...
158
click to vote
LPNMR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
168
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
In this paper we define the notion of a compatibility relation so as to have a common framework for three nonmonotonic reasoning systems: normal logic programming, extended logic ...
153
click to vote
ICALP
2003
Springer
15 years 12 months ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
171
Voted
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We extend Clark’s definition of a completed program and the definition of a loop formula due to Lin and Zhao to disjunctive logic programs. Our main result, generaliz...