Sciweavers

3090 search results - page 33 / 618
» On Testing Answer-Set Programs
Sort
View
130
Voted
AMAI
2007
Springer
15 years 6 months ago
Complexity results for answer set programming with bounded predicate arities and implications
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan...
CORR
2010
Springer
41views Education» more  CORR 2010»
15 years 6 months ago
Functional Answer Set Programming
Pedro Cabalar
TOCL
2008
48views more  TOCL 2008»
15 years 6 months ago
Coordination in answer set programming
Chiaki Sakama, Katsumi Inoue