Author of the publication

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

A DLP System with Object-Oriented Features., , , , , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 432-436. Springer, (2005)System Description: DLV., , , , , , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 424-428. Springer, (2001)Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV., , , , and . IJCAI, page 847-852. Morgan Kaufmann, (2003)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)Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features., , and . Business Process Management Workshops, volume 4103 of Lecture Notes in Computer Science, page 153-163. Springer, (2006)Design and implementation of aggregate functions in the DLV system., , , , and . Theory Pract. Log. Program., 8 (5-6): 545-580 (2008)OntoDLV: An ASP-based System for Enterprise Ontologies., , , , , and . J. Log. Comput., 19 (4): 643-670 (2009)