Author of the publication

Computable Functions in ASP: Theory and Implementation.

, , , and . ICLP, volume 5366 of Lecture Notes in Computer Science, page 407-424. Springer, (2008)

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

Developing ASP Programs with ASPIDE and LoIDE., , , , and . Künstliche Intell., 32 (2-3): 185-186 (2018)The Answer Set Programming Competition., , , and . AI Magazine, 33 (4): 114-118 (2012)BioHIPI: Biomedical Hadoop Image Processing Interface., , , and . MOD, volume 10710 of Lecture Notes in Computer Science, page 540-548. Springer, (2017)How can we learn (more) from challenges? A statistical approach to driving future algorithm development., , , , , , , , , and 5 other author(s). CoRR, (2021)Pruning Operators for Disjunctive Logic Programming Systems., , , and . Fundam. Informaticae, 71 (2-3): 183-214 (2006)Data reduction and data visualization for automatic diagnosis using gene expression and clinical data., , , and . Artif. Intell. Medicine, (2020)Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates., , , , and . J. Artif. Intell. Res., (2011)Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework., , , , and . New Gener. Comput., 37 (1): 29-65 (2019)Enhancing Disjunctive Logic Programming for Ontology Specification., , , and . APPIA-GULP-PRODE, page 63-74. (2003)Beyond rankings: Learning (more) from algorithm validation., , , , , , , , , and 7 other author(s). Medical Image Anal., (May 2023)