2981 search results - page 52 / 597 » Answer Set Planning |
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...
ASP
2003
Springer
14 years 29 days ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
Presentation
In robotic navigation, path planning is aimed at getting the optimum collision-free
path between a starting and target locations. The optimality criterion depends on
the surround...
AWIC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Answer validation is an important component of any question answering system. In this paper we show how the formalism of prioritized fuzzy constraint satisfaction allows ...
VLDB
2004
ACM
14 years 1 months ago
2004
ACM
When a client submits a set of XPath queries to a XML database on a network, the set of answer sets sent back by the database may include redundancy in two ways: some elements may...