498 search results - page 11 / 100 » Constraint Answer Set Programming Systems |
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Although ASP systems have been extended in many directions, they still miss features which may be helpful towards industrial applications, like capabilities of quickly in...
PODS
2005
ACM
14 years 9 months ago
2005
ACM
Abstract. We present a semantics and answer set programs for relational peer data exchange systems. When a peer answers a query, it exchanges data with other peers in order to supp...
ICLP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
EPIA
2007
Springer
14 years 3 months ago
2007
Springer
CORR
2011
Springer
13 years 17 days ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...