580 search results - page 1 / 116 » On the Foundations of Answer Set Programming |
135
Voted
BIRTHDAY
2005
Springer
15 years 12 months ago
2005
Springer
156
Voted
ASP
2001
Springer
15 years 11 months ago
2001
Springer
168
Voted
AAAI
2007
15 years 8 months ago
2007
Answer Set Programming (ASP) and Constraint Logic Programming over finite domains (CLP(FD)) are two declarative programming paradigms that have been extensively used to encode ap...
148
Voted
ICLP
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Theoretical foundations and practical realizations of answer set solving techniques are vital research issues. The challenge lies in combining the elevated modeling capac...
178
Voted
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...