Author of the publication

Reasoning Web, Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

, , , , and (Eds.) volume 4126 of Lecture Notes in Computer Science, Springer, (2006)

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

Query Answering in Information Systems with Integrity Constraints.. IICIS, volume 109 of IFIP Conference Proceedings, page 113-130. Chapman Hall, (1997)Upside-down deduction.. BDA, page 91-. INRIA, (1990)Discerning Actuality in Backstage - Comprehensible Contextual Aging., , and . EC-TEL, volume 7563 of Lecture Notes in Computer Science, page 126-139. Springer, (2012)Negation in Logic Programming: A Formalization in Constructive Logic.. IS/KI, volume 474 of Lecture Notes in Computer Science, page 30-46. Springer, (1990)CodeKoan: A Source Code Pattern Search Engine Extracting Crowd Knowledge., , and . CSI-SE@ICSE, page 1-8. ACM, (2018)Intensional Updates: Abduction via Deduction.. ICLP, page 561-575. MIT Press, (1990)Model Theory and Entailment Rules for RDF Containers, Collections and Reification, , and . (2009)Disjunctive Logic Programming: What Applications Developers Need.. GI Jahrestagung, page 74. Springer, (1994)Logical Rewritings for Improving the Evaluation of Quantified Queries.. MFDBS, volume 364 of Lecture Notes in Computer Science, page 100-116. Springer, (1989)Pervasive Persuasion for Stress Self-Regulation., , and . PerCom Workshops, page 724-730. IEEE, (2019)