Author of the publication

Combining Solvers in a Meta Constraint Logic Programming Architecture.

, , and . FroCoS, volume 3 of Applied Logic Series, page 267-283. Kluwer Academic Publishers, (1996)

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

Coordinating the safe execution of tasks in a constrained multi-agent system., , , and . AAMAS, page 940-941. ACM, (2002)LAILA: a language for coordinating abductive reasoning among logic agents., , , and . Comput. Lang., 27 (4): 137-161 (2001)Statistical relational learning for workflow mining., , and . Intell. Data Anal., 20 (3): 515-541 (2016)A knowledge based system for the anticoagulant oral therapy., , , , , and . Intelligenza Artificiale, 1 (4): 9-15 (2004)An Algorithm for Learning Abductive Rules., , , and . APPIA-GULP-PRODE, page 295-306. (1997)Mapping of Deontic Operators to Abductive Expectations., , , , , and . NORMAS, page 126-136. (2005)Hypothetical Reasoning in Logic Programming: A Semantic Approach., , and . Inf. Process. Lett., 36 (6): 285-291 (1990)Unsupervised and supervised learning in cascade for petroleum geology., , and . Expert Syst. Appl., 39 (10): 9504-9514 (2012)Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach., , , , and . Theory Pract. Log. Program., 19 (3): 449-476 (2019)Fun&Co: identification of key functional differences in transcriptomes., , , , , , , , and . Bioinform., 23 (20): 2725-2732 (2007)