45 search results - page 2 / 9 » Suitable Graphs for Answer Set Programming |
ECAI
2006
Springer
13 years 8 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...
ASP
2003
Springer
13 years 10 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
ASP
2001
Springer
13 years 9 months ago
2001
Springer
ENC
2008
IEEE
13 years 11 months ago
2008
IEEE
In many fields of automated information processing it becomes crucial to consider together imprecise, uncertain or inconsistent information. Argumentation theory is a suitable fr...
CLIMA
2006
13 years 6 months ago
2006
We present a multi-agent formalism based on extended answer set programming. The system consists of independent agents connected via a communication channel, where knowledge and be...