Author of the publication

Characterising approximate problem solving: by partially fulfilled pre- and postconditions.

, and . EUROVAV, volume 16 of CEUR Workshop Proceedings, CEUR-WS.org, (1998)

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

SWISH for Prototyping Clinical Guideline Interactions Theory., , , , , and . SWAT4LS, volume 1795 of CEUR Workshop Proceedings, CEUR-WS.org, (2016)Comparison of reasoners for large ontologies in the OWL 2 EL profile., , , and . Semantic Web, 2 (2): 71-87 (2011)Formally Verifying Dynamic Properties of Knowledge Based Systems., , and . EKAW, volume 1621 of Lecture Notes in Computer Science, page 157-171. Springer, (1999)Torture Tests: A Quantitative Analysis for the Robustness of Knowledge-Based Systems., , and . EKAW, volume 1937 of Lecture Notes in Computer Science, page 403-418. Springer, (2000)Patterns of Clinical Trial Eligibility Criteria., , , and . KR4HC, volume 6924 of Lecture Notes in Computer Science, page 145-157. Springer, (2011)A Boxology of Design Patterns for Hybrid Learning and Reasoning Systems., and . BNAIC/BENELEARN, volume 2491 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)Approximation Opportunities for Reasoning on the Semantic Web, , and . (2008)Approximation Opportunities: Reasoning on the Semantic Web. (February 2008)Design Patterns for Modelling Guidelines., , , , , , and . AIME, volume 3581 of Lecture Notes in Computer Science, page 121-125. Springer, (2005)Analyzing interactions on combining multiple clinical guidelines., , , , , , , and . Artif. Intell. Medicine, (2017)