]> BibSonomy publications for/author/Teije New Forms of Reasoning for the Semantic Webconf/semweb/2007nfrswCEUR Workshop ProceedingsAnytime Classification by Ontology Approximation.2912007dblp 2008-06-02 00:00:00.0 Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05)254--259Reasoning with Inconsistent Ontologies2005DLs impresso inconsistency 2008-02-20 20:15:25.0 Artificial Intelligence in Medicine2137-149Extraction and use of linguistic patterns for modelling medical guidelines.392007dblp 2008-02-13 00:00:00.0 Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05)254--259Reasoning with Inconsistent Ontologies2005imported 2007-11-23 14:13:20.0 IJCAIconf/ijcai/2005454-459Reasoning with Inconsistent Ontologies.2005rbr 2007-11-13 16:08:34.0 IJCAIconf/ijcai/2005454-459Reasoning with Inconsistent Ontologies.2005inconsistency ontology reasoning 2007-11-09 20:10:15.0 Juan-les-Pins, FranceIn Proceedings of the 12th International Conference on Knowledge Acquisition, Modeling and Management (EKAW'00)October 2--6403--418Torture tests -- A quantitative analysis for the robustness of knowledge based systems2000imported 2007-11-02 23:09:02.0 AIMEconf/aime/2007411-420Lecture Notes in Computer ScienceThe Role of Model Checking in Critiquing Based on Clinical Guidelines.45942007dblp 2007-09-19 00:00:00.0 AIMEconf/aime/2007441-445Lecture Notes in Computer ScienceMaintaining Formal Models of Living Guidelines Efficiently.45942007dblp 2007-09-03 00:00:00.0 Artificial Intelligence in Medicine3193-209Improving medical protocols by formal methods.362006dblp 2007-07-19 00:00:00.0