Author of the publication

The dlv System: Model Generator and Advanced Frontends (system description).

, , , , , , , , and . WLP, Ludwig Maximilians Universität München, (1997)

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

Semantical and computational aspects of Horn approximations., and . Artif. Intell., 119 (1-2): 1-17 (2000)BackJumping techniques for rules instantiation in the DLV system., , and . NMR, page 258-266. (2004)Declarative and Fixpoint Characterizations of Disjunctive Stable Models., and . ILPS, page 399-413. MIT Press, (1995)Curbing Theories: Fixpoint Semantics and Complexity Issues., , and . GULP-PRODE, page 545-556. (1995)Calcolo del Modello Well-Founded di Programmi Datalog.. GULP, page 469-484. (1993)The Architecture of a Disjunctive Deductive Database System., , , , and . APPIA-GULP-PRODE, page 141-152. (1997)Computing the Shapley value in allocation problems: approximations and bounds, with an application to the Italian VQR research assessment program., , , , and . J. Exp. Theor. Artif. Intell., 30 (4): 505-524 (2018)Query answering exploiting structural properties.. SIGMOD Record, 34 (3): 91-99 (2005)Census Data Repair: a Challenging Application of Disjunctive Logic Programming., , , , and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 561-578. Springer, (2001)Improving ASP Instantiators by Join-Ordering Methods., , and . LPNMR, volume 2173 of Lecture Notes in Computer Science, page 280-294. Springer, (2001)