583 search results - page 21 / 117 » Preferences in Answer Set Programming |
141
Voted
AAAI
2012
13 years 5 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...
107
Voted
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
120
Voted
AAAI
2008
15 years 5 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
136
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
155
Voted
JAPLL
2007
15 years 2 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...