443 search results - page 29 / 89 » SAT-Based Answer Set Programming |
ENC
2008
IEEE
14 years 2 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...
EPIA
2007
Springer
14 years 1 months ago
2007
Springer
ESWS
2007
Springer
14 years 1 months ago
2007
Springer
CAEPIA
2005
Springer
14 years 1 months ago
2005
Springer
JELIA
2004
Springer
14 years 1 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...