2981 search results - page 48 / 597 » Answer Set Planning |
80
Voted
COMMA
2008
15 years 3 months ago
2008
129
click to vote
IJCAI
2007
15 years 3 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...
101
Voted
AAAI
2006
15 years 3 months ago
2006
142
click to vote
AAAI
2000
15 years 3 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 ...
116
click to vote
ECAI
2010
Springer
15 years 3 months 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...