2981 search results - page 48 / 597 » Answer Set Planning |
COMMA
2008
15 years 1 months ago
2008
107
click to vote
IJCAI
2007
15 years 1 months ago
2007
We first provide a mapping from Pearce’s equilibrium logic and Ferraris’s general logic programs to Lin and Shoham’s logic of knowledge and justified assumptions, a nonmon...
AAAI
2006
15 years 1 months ago
2006
120
click to vote
AAAI
2000
15 years 1 months ago
2000
Answer-set programming (ASP) has emerged recently as a viable programming paradigm well attuned to search problems in AI, constraint satisfaction and combinatorics. Propositional ...
ECAI
2010
Springer
15 years 29 days ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...