7868 search results - page 19 / 1574 » Learning by Answer Sets |
129
click to vote
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
133
click to vote
AGP
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
123
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems. Although mechanisms for represen...
105
click to vote
AAAI
2008
15 years 4 months ago
2008
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same s...
134
click to vote
AAAI
2012
13 years 4 months ago
2012
Temporal Action Logics (TAL) is a class of temporal logics for reasoning about actions. We present a reformulation of TAL in Answer Set Programming (ASP), and discuss some synergi...