@inproceedings{conf/semweb/SchlobachBKTHBHMRSTSW07, title = {Anytime Classification by Ontology Approximation.}, author = {Stefan Schlobach and E. Blaauw and M. El Kebir and Annette ten Teije and Frank van Harmelen and S. Bortoli and M. C. Hobbelman and K. Millian and Y. Ren and S. Stam and P. Thomassen and R. C. van het Schip and W. van Willigem}, booktitle = {New Forms of Reasoning for the Semantic Web}, crossref = {conf/semweb/2007nfrsw}, editor = {Ruzica Piskac and Frank van Harmelen and Ning Zhong}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, url = {http://dblp.uni-trier.de/db/conf/semweb/nfrsw2007.html#SchlobachBKTHBHMRSTSW07}, volume = {291}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2340f53fe28551feca26c33cd22308734/dblp}, description = {dblp}, date = {2008-06-02}, ee = {http://www.ceur-ws.org/Vol-291/paper07.pdf}, keywords = {dblp } } @inproceedings{IJCAI05, title = {Reasoning with Inconsistent Ontologies}, author = {Z. Huang and Frank van Harmelen and A. ten Teije}, booktitle = {Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05)}, pages = {254--259}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/2bfb349cb3b76bbf08c033556be1f50a2/marciomr}, timestamp = {2007.06.06}, owner = {mauro}, comment = {IWOD-07}, keywords = {DLs impresso inconsistency } } @article{journals/artmed/SerbanTHMP07, title = {Extraction and use of linguistic patterns for modelling medical guidelines.}, author = {Radu Serban and Annette ten Teije and Frank van Harmelen and Mar Marcos and Cristina Polo-Conde}, journal = {Artificial Intelligence in Medicine}, number = {2}, pages = {137-149}, url = {http://dblp.uni-trier.de/db/journals/artmed/artmed39.html#SerbanTHMP07}, volume = {39}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2893124cb6192fe4242f6e9e2aa25ff30/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.artmed.2006.07.012}, date = {2008-02-13}, keywords = {dblp } } @inproceedings{IJCAI05, title = {Reasoning with Inconsistent Ontologies}, author = {Z. Huang and F. van Harmelen and A. ten Teije}, booktitle = {Proc. of the Int. Joint Conference on Artificial Intelligence (IJCAI'05)}, pages = {254--259}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/262d5d3cb5067c4b4d377b2f49b60b848/ramaz}, owner = {mauro}, timestamp = {2007.06.06}, comment = {IWOD-07}, keywords = {imported } } @inproceedings{conf/ijcai/HuangHT05, title = {Reasoning with Inconsistent Ontologies.}, author = {Zhisheng Huang and Frank van Harmelen and Annette ten Teije}, booktitle = {IJCAI}, crossref = {conf/ijcai/2005}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, pages = {454-459}, publisher = {Professional Book Center}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#HuangHT05}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/27cc43885a24f8a237a16cd87acf967ea/krass}, description = {dblp}, ee = {http://www.ijcai.org/papers/0337.pdf}, isbn = {0938075934}, date = {2005-12-09}, keywords = {rbr } } @inproceedings{conf/ijcai/HuangHT05, title = {Reasoning with Inconsistent Ontologies.}, author = {Zhisheng Huang and Frank van Harmelen and Annette ten Teije}, booktitle = {IJCAI}, crossref = {conf/ijcai/2005}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, pages = {454-459}, publisher = {Professional Book Center}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2005.html#HuangHT05}, year = {2005}, biburl = {http://www.bibsonomy.org/bibtex/27cc43885a24f8a237a16cd87acf967ea/thau}, description = {dblp}, ee = {http://www.ijcai.org/papers/0337.pdf}, isbn = {0938075934}, date = {2005-12-09}, keywords = {inconsistency ontology reasoning } } @article{groot:2000, title = {Torture tests -- A quantitative analysis for the robustness of knowledge based systems}, address = {Juan-les-Pins, France}, author = {Perry Groot and Frank van Harmelen and Anne {ten Teije}}, journal = {In Proceedings of the 12th International Conference on Knowledge Acquisition, Modeling and Management (EKAW'00)}, month = {October 2--6}, organization = {Springer}, pages = {403--418}, year = {2000}, biburl = {http://www.bibsonomy.org/bibtex/2577aa3cd8e59361b80a08073e861c67e/bsmyth}, description = {all-bibs-cleaned.bib}, date-modified = {2005-01-06 18:11:54 +0000}, keywords = {imported } } @inproceedings{conf/aime/GrootHLSTH07, title = {The Role of Model Checking in Critiquing Based on Clinical Guidelines.}, author = {Perry Groot and Arjen Hommersom and Peter J. F. Lucas and Radu Serban and Annette ten Teije and Frank van Harmelen}, booktitle = {AIME}, crossref = {conf/aime/2007}, editor = {Riccardo Bellazzi and Ameen Abu-Hanna and Jim Hunter}, pages = {411-420}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/aime/aime2007.html#GrootHLSTH07}, volume = {4594}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/29434a399820443655b8c848b8c555112/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1007/978-3-540-73599-1_55}, isbn = {978-3-540-73598-4}, date = {2007-09-19}, keywords = {dblp } } @inproceedings{conf/aime/SeyfangMSWMMTR07, title = {Maintaining Formal Models of Living Guidelines Efficiently.}, author = {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}, booktitle = {AIME}, crossref = {conf/aime/2007}, editor = {Riccardo Bellazzi and Ameen Abu-Hanna and Jim Hunter}, pages = {441-445}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/aime/aime2007.html#SeyfangMSWMMTR07}, volume = {4594}, year = {2007}, biburl = {http://www.bibsonomy.org/bibtex/2e47b0560c80803de623f7f011e71e496/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1007/978-3-540-73599-1_58}, isbn = {978-3-540-73598-4}, date = {2007-09-03}, keywords = {dblp } } @article{journals/artmed/TeijeMBCDHLMRRS06, title = {Improving medical protocols by formal methods.}, author = {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}, journal = {Artificial Intelligence in Medicine}, number = {3}, pages = {193-209}, url = {http://dblp.uni-trier.de/db/journals/artmed/artmed36.html#TeijeMBCDHLMRRS06}, volume = {36}, year = {2006}, biburl = {http://www.bibsonomy.org/bibtex/27351197a8d781261052a03e9ffd22a87/dblp}, description = {dblp}, ee = {http://dx.doi.org/10.1016/j.artmed.2005.10.006}, date = {2007-07-19}, keywords = {dblp } }