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

Generalizing the Detection of Internal and External Interactions in Clinical Guidelines., , , , , and . HEALTHINF, page 105-116. SciTePress, (2016)Analyzing interactions on combining multiple clinical guidelines., , , , , , , and . Artif. Intell. Medicine, (2017)A Local Non-Additive Framework for Explaining Black-Box Predictive Models., , and . ECAI, volume 372 of Frontiers in Artificial Intelligence and Applications, page 1728-1738. IOS Press, (2023)Machine Learning Explainability in Breast Cancer Survival., , , , , and . MIE, volume 270 of Studies in Health Technology and Informatics, page 307-311. IOS Press, (2020)Using model checking for critiquing based on clinical guidelines., , , , , , and . Artif. Intell. Medicine, 46 (1): 19-36 (2009)The Role of Model Checking in Critiquing Based on Clinical Guidelines., , , , , and . AIME, volume 4594 of Lecture Notes in Computer Science, page 411-420. Springer, (2007)Towards Automatic Patient Eligibility Assessment: From Free-Text Criteria to Queries., and . AIME, volume 7885 of Lecture Notes in Computer Science, page 78-83. Springer, (2013)From Natural Language to Formal Proof Goal., , and . EKAW, volume 4248 of Lecture Notes in Computer Science, page 51-58. Springer, (2006)Establishing Shared Query Understanding in an Open Multi-Agent System., , and . AAMAS, page 281-289. ACM, (2023)A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines - A Case-Study on Multimorbidity., , , , , and . EKAW, volume 8876 of Lecture Notes in Computer Science, page 591-606. Springer, (2014)