On Testing Answer-Set Programs

DOI10.3233/978-1-60750-606-5-951zbMath1211.68383OpenAlexW1487621638MaRDI QIDQ2999229

Johannes Oetsch, Jörg Pührer, Tomi Janhunen, Hans Tompits, Ilkka Niemelä

Publication date: 11 May 2011

Full work available at URL: https://doi.org/10.3233/978-1-60750-606-5-951

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Related Items (1)

Testing in ASP: revisited language and programming environment

Uses Software

• ASSAT

This page was built for publication: On Testing Answer-Set Programs