Author of the publication

Extending ASPIDE with User-defined Plugins.

, , , and . CILC, volume 857 of CEUR Workshop Proceedings, page 236-240. CEUR-WS.org, (2012)

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

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks., , and . Intelligenza Artificiale, 2 (3): 21-28 (2005)Adding Set Terms to Ordered Logic Programs., and . GULP, page 87-100. (1993)Join Ordering Techniques for Knowledge Base Systems., , and . SEBD, page 79-93. (2001)Driving CDCL Search., , , , , and . CoRR, (2016)On Modularity Properties of Partial Semantics for Disjunctive Logic Programs., and . WLP, page 217-226. (1995)Progress Report on the Disjunctive Deductive Database System dlv., , , , and . FQAS, volume 1495 of Lecture Notes in Computer Science, page 148-163. Springer, (1998)Effective Implementation of Negation in Database Logic Query Languages., , , and . LOGIDATA+: Deductive Databases with Complex Objects, volume 701 of Lecture Notes in Computer Science, Springer, (1993)Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments., , , , and . ICAISC, volume 9120 of Lecture Notes in Computer Science, page 541-553. Springer, (2015)Efficient Query Answering over Datalog with Existential Quantifiers., , , and . SEBD, page 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots., , , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 32-44. Springer, (2019)