45 search results - page 2 / 9 » Suitable Graphs for Answer Set Programming |
ECAI
2006
Springer
13 years 10 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
14 years 8 days 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 11 months ago
2001
Springer
ENC
2008
IEEE
14 years 1 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 8 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...