38 search results - page 1 / 8 » Mathematical Foundations of Answer Set Programming |
BIRTHDAY
2005
Springer
14 years 4 months ago
2005
Springer
ASP
2001
Springer
14 years 3 months ago
2001
Springer
AAAI
2007
14 years 1 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...
ICLP
2007
Springer
14 years 5 months 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...
LPNMR
2004
Springer
14 years 4 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...