7868 search results - page 28 / 1574 » Learning by Answer Sets |
106
Voted
NMR
2004
Springer
15 years 7 months ago
2004
Springer
We develop an Answer Set Programming formalism based on Default Logic. We show that computing generating sets of extensions in this formalism captures all ΣP 2 search problems.
115
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
102
click to vote
AAAI
2008
15 years 4 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
126
click to vote
JELIA
2004
Springer
15 years 7 months ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
119
click to vote
LPNMR
2004
Springer
15 years 7 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...