2981 search results - page 281 / 597 » Answer Set Planning |
139
click to vote
AWIC
2005
Springer
15 years 10 months ago
2005
Springer
In data integration systems there is a problem of answering queries through a target schema, given a set of mappings between source schemas and the target schema, and given that th...
143
click to vote
ESWS
2005
Springer
15 years 10 months ago
2005
Springer
We present extended conceptual logic programs (ECLPs), for which reasoning is decidable and, moreover, can be reduced to finite answer set programming. ECLPs are useful to reason ...
117
click to vote
ESA
2004
Springer
15 years 10 months ago
2004
Springer
How efficiently can we search an unknown environment for a goal in unknown position? How much would it help if the environment were known? We answer these questions for simple poly...
123
click to vote
IWCIA
2004
Springer
15 years 10 months 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...
134
Voted
ASP
2003
Springer
15 years 9 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 ...