7868 search results - page 18 / 1574 » Learning by Answer Sets |
106
click to vote
LPNMR
2009
Springer
15 years 6 months ago
2009
Springer
For some problems with many solutions, like planning and phylogeny reconstruction, one way to compute more desirable solutions is to assign weights to solutions, and then pick the ...
236
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
124
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
132
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer ...
132
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...