Author of the publication

Answer Set Programming with Templates.

, , , and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

System Description: DLV., , , , , , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 424-428. Springer, (2001)Design and implementation of aggregate functions in the DLV system., , , , and . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)The Risk-averse Profitable Tour Problem., , , and . ICORES, page 459-466. SciTePress, (2019)A System with Template Answer Set Programs., , , , and . JELIA, volume 3229 of Lecture Notes in Computer Science, page 693-697. Springer, (2004)Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV., , , , and . IJCAI, page 847-852. Morgan Kaufmann, (2003)Answer Set Programming with Templates, , , , and . (2004)System Description: DLV with Aggregates., , , , , and . LPNMR, volume 2923 of Lecture Notes in Computer Science, page 326-330. Springer, (2004)Aggregate Functions in DLV., , , , and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Answer Set Programming with Templates., , , and . Answer Set Programming, volume 78 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)Enhancing answer set programming with templates., , , , and . NMR, page 233-239. (2004)