Author of the publication

Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

, , , , , and (Eds.) volume 5224 of Lecture Notes in Computer Science, 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

Modélisation du flot de données par des schémas d'attributs dans les programmes logiques., and . SPLT, (1984)Unification-Free Execution of Logic Programs., and . SLP, page 78-86. IEEE-CS, (1985)Parametric Descriptive Types for CLP., , and . JFPLC, page 239-256. Hermes, (2001)A Contribution to Error Recovery.. MFCS, volume 32 of Lecture Notes in Computer Science, page 302-307. Springer, (1975)A Logic Programming Framework for Rough Sets., and . Rough Sets and Current Trends in Computing, volume 2475 of Lecture Notes in Computer Science, page 205-212. Springer, (2002)Reduction goals in bottom-up recognition.. Automatentheorie und Formale Sprachen, volume 2 of Lecture Notes in Computer Science, page 294-300. Springer, (1973)Static and Dynamic Slicing of Constraint Logic Programs., , and . Autom. Softw. Eng., 9 (1): 41-65 (2002)Logic Programs with External Procedures: Introducing S-Unification, , and . (April 1987)University of Linköping.Two Aspects of Directional Types., and . ICLP, page 747-761. MIT Press, (1995)AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs., and . SLP, page 29-38. IEEE-CS, (1985)