413 search results - page 49 / 83 » On the Relation Between ID-Logic and Answer Set Programming |
149
Voted
JELIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
110
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Modern solvers for Boolean Satisfiability (SAT) and Answer Set Programming (ASP) are based on sophisticated Boolean constraint solving techniques. In both areas, conflict-driven l...
151
Voted
SIGMOD
2012
ACM
13 years 6 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
150
Voted
WCE
2007
15 years 4 months ago
2007
—Multistage stochastic programs are effective for solving long-term planning problems under uncertainty. Such programs are usually based on scenario generation model about future...
127
click to vote
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Definite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...