My newest publications at the JELIA Conference are now online and describe the Hexlite Solver [author PDF] and a method for Domain-Abstraction in Answer Set Programming (with Zeynep G Saribatur and Thomas Eiter).
My newest publications at the JELIA Conference are now online and describe the Hexlite Solver [author PDF] and a method for Domain-Abstraction in Answer Set Programming (with Zeynep G Saribatur and Thomas Eiter).