BibSonomy :: author  ::

bookmarks

publications

(41)

• Reasoning with Inconsistent Ontologies
  Z. Huang and Frank van Harmelen and A. ten Teije Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05) 254--259 (2005)
  to DLs impresso inconsistency by marciomr and 5 other people on 2008-02-20 20:15:25
  | BibTeX  
• Extraction and use of linguistic patterns for modelling medical guidelines.
  Radu Serban and Annette ten Teije and Frank van Harmelen and Mar Marcos and Cristina Polo-Conde Artificial Intelligence in Medicine 39 137-149 (2007)
  to dblp by dblp on 2008-02-13 00:00:00
  | URL | BibTeX  
• Reasoning with Inconsistent Ontologies
  Z. Huang and F. van Harmelen and A. ten Teije Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05) 254--259 (2005)
  to imported by ramaz and 5 other people on 2007-11-23 14:13:20
  | BibTeX  
• Reasoning with Inconsistent Ontologies.
  Zhisheng Huang and Frank van Harmelen and Annette ten Teije IJCAI 454-459 (2005)
  to rbr by krass and 5 other people on 2007-11-13 16:08:34
  | URL | BibTeX  
• Reasoning with Inconsistent Ontologies.
  Zhisheng Huang and Frank van Harmelen and Annette ten Teije IJCAI 454-459 (2005)
  to inconsistency ontology reasoning by thau and 5 other people on 2007-11-09 20:10:15
  | URL | BibTeX  
• Torture tests -- A quantitative analysis for the robustness of knowledge based systems
  Perry Groot and Frank van Harmelen and Anne {ten Teije} In Proceedings of the 12th International Conference on Knowledge Acquisition, Modeling and Management (EKAW'00) 403--418 (2000)
  to imported by bsmyth and 1 other person on 2007-11-02 23:09:02
  | BibTeX  
• The Role of Model Checking in Critiquing Based on Clinical Guidelines.
  Perry Groot and Arjen Hommersom and Peter J. F. Lucas and Radu Serban and Annette ten Teije and Frank van Harmelen AIME 411-420 (2007)
  to dblp by dblp on 2007-09-19 00:00:00
  | URL | BibTeX  
• Maintaining Formal Models of Living Guidelines Efficiently.
  Andreas Seyfang and Begoña Martínez-Salvador and Radu Serban and Jolanda Wittenberg and Silvia Miksch and Mar Marcos and Annette ten Teije and Kitty Rosenbrand AIME 441-445 (2007)
  to dblp by dblp on 2007-09-03 00:00:00
  | URL | BibTeX  
• Improving medical protocols by formal methods.
  Annette ten Teije and Mar Marcos and Michael Balser and Joyce van Croonenborg and Christoph Duelli and Frank van Harmelen and Peter J. F. Lucas and Silvia Miksch and Wolfgang Reif and Kitty Rosenbrand and Andreas Seyfang Artificial Intelligence in Medicine 36 193-209 (2006)
  to dblp by dblp on 2007-07-19 00:00:00
  | URL | BibTeX  
• Incremental guideline formalization with tool support.
  Radu Serban and Anna Puig-Centelles and Annette ten Teije AIAI 106-118 (2006)
  to dblp by dblp on 2006-11-21 00:00:00
  | URL | BibTeX