Sciweavers

498 search results - page 8 / 100
» Constraint Answer Set Programming Systems
Sort
View
107
Voted
WILF
2009
Springer
150views Fuzzy Logic» more  WILF 2009»
15 years 6 months ago
General Fuzzy Answer Set Programs
A number of generalizations of answer set programming have been proposed in the literature to deal with vagueness, uncertainty, and partial rule satisfaction. We introduce a unifyi...
Jeroen Janssen, Steven Schockaert, Dirk Vermeir, M...
82
Voted
AAAI
2008
15 years 1 months ago
A Meta-Programming Technique for Debugging Answer-Set Programs
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
Martin Gebser, Jörg Pührer, Torsten Scha...
185
Voted
ICLP
2009
Springer
16 years 8 days ago
Merging Logic Programs under Answer Set Semantics
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
James P. Delgrande, Torsten Schaub, Hans Tompits, ...
ASP
2003
Springer
15 years 4 months ago
Using Nested Logic Programs for Answer Set Programming
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
Thomas Linke
117
Voted
CADE
2001
Springer
15 years 12 months ago
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics
Christian Anger, Kathrin Konczak, Thomas Linke