1963 search results - page 18 / 393 » Applications of Preferences using Answer Set Programming |
104
click to vote
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
129
click to vote
VLDB
1994
ACM
15 years 6 months ago
1994
ACM
This paper introduces a formalism to describe the needs and preferences of database users. Because of the precise formulation of these concepts, we have found an automatic and ver...
136
click to vote
LPNMR
2007
Springer
15 years 8 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
123
click to vote
BIBM
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we propose the use of answer set programming (ASP) to model protein interaction networks. We argue that this declarative formalism rivals the popular boolean netwo...
138
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...