If you made any changes in Pure these will be visible here soon.

Research Output 1996 2017

Filter
Conference contribution
2017

Detecting New Evidences for Evidence-Based Medical Guidelines with Journal Filtering

Hu, Q., Huang, Z., ten Teije, A. & van Harmelen, F. 2017 Knowledge Representation for Health Care: HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers. Riaño, D., Lenz, R. & Reichert, M. (eds.). Cham: Springer/Verlag, Vol. 10096 LNAI, p. 120-132 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10096 LNAI)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Filtering
Search engines
Health care
Updating
Recommendations

Formalization and Computation of Diabetes Quality Indicators with Patient Data from a Chinese Hospital

Liu, H., ten Teije, A., Dentler, K., Ma, J. & Zhang, S. 2017 Knowledge Representation for Health Care: HEC 2016 International Joint Workshop, KR4HC/ProHealth 2016, Munich, Germany, September 2, 2016, Revised Selected Papers. Riaño, D., Lenz, R. & Reichert, M. (eds.). Springer/Verlag, Vol. 10096 LNAI, p. 23-35 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10096 LNAI)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Diabetes
Medical problems
Electronic medical equipment
Formalization
Electronics
2016

A topic-centric approach to detecting new evidences for evidence-based medical guidelines

Hu, Q., Huang, Z., ten Teije, A., van Harmelen, F., Marshall, M. S. & Dekker, A. 2016 HEALTHINF 2016 - 9th International Conference on Health Informatics, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016. SciTePress, p. 282-289 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Search engines
Experiments

Generalizing the Detection of Internal and External Interactions in Clinical Guidelines

Carretta Zamborlini, V., Hoekstra, R., Da Silveira, M., Pruski, C., ten Teije, A. & van Harmelen, F. 2016 HEALTHINF 2016 - 9th International Conference on Health Informatics, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016. SciTePress, p. 105-116 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Medical problems
Merging

Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials

Huang, Z., Hu, Q., ten Teije, A. C. M., van Harmelen, F. A. H. & Ait-Mokhtar, S. 2016 Health Information Science - 5th International Conference, HIS 2016, Proceedings. Springer/Verlag, Vol. 10038 LNCS, p. 49-61 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10038 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Logic programming
Reusability
Terminology
Formalization
Clinical Trials
2015

A Compact In-Memory Dictionary for RDF data

Bazoubandi, H. R., de Rooij, S., Urbani, J., ten Teije, A., van Harmelen, F. & Bal, H. 2015 The Semantic Web: Latest Advances and New Domains - 12th European Semantic Web Conference, ESWC 2015, Proceedings. Springer/Verlag, Vol. 9088, p. 205-220 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9088)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Glossaries
Data storage equipment
Prefix
Data structures
Data Structures

Analyzing Recommendations Interactions in Clinical Guidelines: Impact of action type hierarchies and causation beliefs

Carretta Zamborlini, V., Da Silveira, M., Pruski, C., ten Teije, A. & van Harmelen, F. 2015 Artificial Intelligence in Medicine - 15th Conference on Artificial Intelligence in Medicine, AIME 2015, Proceedings. Springer/Verlag, Vol. 9105, p. 317-326 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9105)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clinical Guidelines
Causation
Reusability
Scalability
Recommendations

Detecting New Evidence for Evidence-based Guidelines Using a Semantic Distance Method

Hu, Q., Huang, Z., ten Teije, A. C. M. & van Harmelen, F. A. H. 2015 Proceedings 15th Conference on Artificial Intelligence in Medicine. Berlin: Springer, p. 307-316

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Finding Evidence for Updates in Medical Guidelines

Reinders, R., ten Teije, A. & Huang, Z. 2015 HEALTHINF 2015 - 8th International Conference on Health Informatics, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015. SciTePress, p. 91-102 12 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Guidelines
Search engines
Biomedical Research
Search Engine
Feasibility Studies

Identifying Evidence Quality for Updating Evidence-based Medical Guidelines

Huang, Z., Hu, Q., ten Teije, A. C. M. & van Harmelen, F. A. H. 2015 Knowledge Representation for Health Care, AIME 2015 International Joint Workshop, KR4HC/ProHealth 2015. Riano, D., Lenz, R., Miksch, S., Peleg, M., Reichert, M. & ten Teije, A. C. M. (eds.). Springer, p. 51-64

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2014

A Conceptual Model for Detecting Interactions among Medical Recommendations in Clinical Guidelines

Carretta Zamborlini, V., Da Silveira, M., Pruski, C., Hoekstra, R., ten Teije, A. & van Harmelen, F. 2014 Knowledge Engineering and Knowledge Management - 19th International Conference, EKAW 2014, Proceedings. Vol. 8876, p. 591-606 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8876)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clinical Guidelines
Conceptual Model
Recommendations
Medical problems
Interaction

Evidence-based clinical guidelines in SemanticCT

Hu, Q., Huang, Z., van Harmelen, F. A. H., ten Teije, A. C. M. & Gu, J. 2014 8th China Semantic Web Symposium & 3rd Web Science Conference (CSWS2014).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Feasibility Estimation for Clinical Trials

Huang, Z., van Harmelen, F. A. H., ten Teije, A. C. M. & Dekker, A. 2014 Proceedings of the 7th International Conference on Health Informatics (HEALTHINF2014).. scitepress digital library, p. 68-77

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Towards a Conceptual Model for Enhancing Reasoning about Clinical Guidelines: A case-study on Comorbidity

Carretta Zamborlini, V., Da Silveira, M., Pruski, C., ten Teije, A. & van Harmelen, F. 2014 Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers. Springer/Verlag, Vol. 8903, p. 29-44 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8903)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clinical Guidelines
Conceptual Model
Reasoning
Use Case
Computer programming languages
2013

Identifying most relevant concepts to describe clinical trial eligibility criteria

Milian, K., Bucur, A., van Harmelen, F. A. H. & ten Teije, A. C. M. 2013 International Conference on Health Informatics (HEALTHINF 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Towards automatic patient eligibility assessment: from free-text criteria to queries

Milian, K. & ten Teije, A. C. M. 2013 14th Conference on Artificial Intelligence in Medicine (AIME2013). Peek, N., Morales, M. & Peleg, M. (eds.). Springer, p. 78-83

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ontology
Semantics
Pipelines
Data storage equipment
2012

Formalizalization of clinical trial eligibility criteria: Evaluation of a pattern-based approach

Milian, K., Bucur, A. & ten Teije, A. C. M. 2012 IEEE International Conference of Bioinformatics and Biomedicine 2012. Gao, J., Alhaij, R., Dubitzky, W., Ungar, L., Wu, C., Christianson, A., Liebman, M. & Hu, X. (eds.). p. 1-4

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Clinical Trials
Patient Selection
Therapeutics
Clinical Studies

Towards the Automated Calculation of Clinical Quality Indicators

Dentler, K. & ten Teije, A. C. M. 2012 Knowledge Representation for Health-Care; Aime 2011 workshop KR4HC 2011. David, R., ten Teije, A. & Miksch, S. (eds.). Berlin: Springer, p. 51-64

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
2011

Careflow planning: from time-annotated clinical guidelines to temporal hierarchical task networks

ten Gonzalez-Ferrer, A., ten Teije, A. C. M., Fdez-Olivares, J. & Milian, K. 2011 The 13th European Conference on Artificial Intelligence in Medicine. Berlin/Heidelberg: Springer, p. 265-275

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2010

A workbench for anytime reasoning by ontology approximation: With a case study on instance retrieval

Tagni, G., Schlobach, S., Ten Teije, A., Van Harmelen, F. & Karafotias, G. 2010 STAIRS 2010 Proceedings of the Fifth Starting AI Researchers' Symposium. IOS Press, Vol. 222, p. 328-340 13 p. (Frontiers in Artificial Intelligence and Applications; vol. 222)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Terminology
Semantic Web
Ontology
Data storage equipment

Identifying disease-centric subdomains in very large medical ontologies: A case-study on breast cancer concepts in SNOMED CT. Or: Finding 2500 out of 300.000

Milian, K., Aleksovski, Z., Vdovjak, R., Ten Teije, A. & Van Harmelen, F. 2010 Knowledge Representation for Health-Care: Data, Processes and Guidelines, AIME 2009, Workshop KR4HC 2009, Revised Selected and Invited Papers. Vol. 5943 LNAI, p. 50-63 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5943 LNAI)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Breast Cancer
Ontology
Seed
Complementarity
Use Case
2009

Identifying Disease-Centric Subdomains in Very Large Medical Ontologies: A Case-Study on Breast Cancer Concepts in SNOMED CT. Or: Finding 2500 Out of 300.000

Milian, K., Aleksovski, Z., Vdovjak, R., ten Teije, A. C. M. & van Harmelen, F. A. H. 2009 Knowledge Representation for Health-Care: Data, Processes and Guidelines, AIME 2009 Workshop KR4HC 2009. Riano, D., ten Teije, A. C. M., Miksch, S. & Peleg, M. (eds.). Verona, Italy, p. 50-63

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Knowledge engineering rediscovered: towards reasoning patterns for the semantic web

van Harmelen, F. A. H., ten Teije, A. C. M. & Wache, H. 2009 Proceedings of the 5th International Conference on Knowledge Capture (K-CAP 2009). Gil, Y. & Fridman, N. (eds.). California, USA: ACM, p. 81-88

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Knowledge engineering
Semantic Web
Knowledge based systems
Acoustic waves

MaRVIN: A platform for large-scale analysis of Semantic Web data

Oren, E., Kotoulas, S., Anadiotis, G., Siebes, R. M., ten Teije, A. C. M. & van Harmelen, F. A. H. 2009 Proceedings of the WebSci09: Society On-Line. Athens, Greece

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Reasoning about repairability of workflows at design time

Tagni, G., Ten Teije, A. & Van Harmelen, F. 2009 Business Process Management Workshops - BPM 2008 International Workshops - Revised Papers. Springer/Verlag, Vol. 17 LNBIP, p. 455-467 13 p. (Lecture Notes in Business Information Processing; vol. 17 LNBIP)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Work Flow
Reasoning
Repair
Defects
Schema

The Free Speech Engine: Conversational Web Service Compatibility for Free

Stegers, R. G. M., van Harmelen, F. A. H. & ten Teije, A. C. M. 2009 Proceedings of the 2009 International Conference on Semantic Web & Web Services, SWWS 2009. Arabnia, H. R. & Marsh, A. (eds.). Las Vegas, Nevada, USA: CSREA Press, p. 53-59

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2007

Maintaining formal models of living guidelines efficiently

Seyfang, A., Martínez-Salvador, B., Serban, R., Wittenberg, J., Miksch, S., Marcos, M., Ten Teije, A. & Rosenbrand, K. C. J. G. M. 2007 Artificial Intelligence in Medicine - 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Proceedings. Vol. 4594 LNAI, p. 441-445 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal Model
Clinical Guidelines
Update
Short Intervals
Term

The role of model checking in critiquing based on clinical guidelines

Groot, P., Hommersom, A., Lucas, P., Serban, R., Ten Teije, A. & Van Harmelen, F. 2007 Artificial Intelligence in Medicine - 11th Conference on Artificial Intelligence in Medicine, AIME 2007, Proceedings. Vol. 4594 LNAI, p. 411-420 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clinical Guidelines
Model checking
Model Checking
Temporal logic
Breast Cancer
2006

From natural language to formal proof goal* structured goal formalisation applied to medical guidelines (extended abstract)

Stegers, R., Teije, A. T. & Van Harmelen, F. 2006 Managing Knowledge in a World of Networks - 15th International Conference, EKAW 2006, Proceedings. Springer/Verlag, Vol. 4248 LNAI, p. 51-58 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4248 LNAI)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal Proof
Formalization
Natural Language
Reusability
Correctness
2005

Design patterns for modelling guidelines

Serban, R., Ten Teije, A., Marcos, M., Polo-Conde, C., Rosenbrand, K. C. J. G. M., Wittenberg, J. & van Croonenborg, J. 2005 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3581 LNAI, p. 121-125 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3581 LNAI)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Design Patterns
Health care
Personnel
Guidelines
Modeling

Formalising medical quality indicators to improve guidelines

Van Gendt, M., Ten Teije, A., Serban, R. & Van Harmelen, F. 2005 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3581 LNAI, p. 201-210 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3581 LNAI)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Health care
Knowledge representation
Medical problems
Acoustic waves
Costs

Ontology-driven extraction of linguistic patterns for modelling clinical guidelines

Serban, R., Teije, A. T., Van Harmelen, F., Marcos, M. & Polo-Conde, C. 2005 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3581 LNAI, p. 191-200 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3581 LNAI)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Clinical Guidelines
Linguistics
Ontology
Guidelines
Modeling
2004

Reaching diagnostic agreement in multi-agent diagnosis

Roos, N., Ten Teije, A. & Witteveen, C. 2004 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2004. Jennings, N. R., Sierra, C., Sonenberg, L. & Tambe, M. (eds.). Vol. 3, p. 1256-1257 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2003

A Protocol for Multi-Agent Diagnosis with Spatially Distributed Knowledge

Roos, N., Ten Teije, A. & Witteveen, C. 2003 Proceedings of the Second International Joint Conference on Autonomous Agents and multiagent Systems, AAMAS 03. Rosenschein, J. S., Sandholm, T., Wooldridge, M. & Yakoo, M. (eds.). Vol. 2, p. 655-661 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Polynomials
Multi agent systems
Communication
2002

An analysis of multi-agent diagnosis

Roos, N., Ten Teije, A., Bos, A. & Witteveen, C. 2002 Proceedings of the International Conference on Autonomous Agents. Castelfranchi, C. & Johnson, W. L. (eds.). 1 ed. p. 986-987 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Multi agent systems
Dynamical systems

From informal knowledge to formal logic: A realistic case study in medical protocols

Marcos, M., Balser, M., Ten Teije, A. & van Harmelen, F. 2002 Knowledge Engineering and Knowledge Management: Ontologies and the Semantic Web - 13th International Conference, EKAW 2002, Proceedings. Springer/Verlag, Vol. 2473, p. 49-64 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2473)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Formal logic
Logic
Network protocols
Formalization
Knowledge representation
2001

Using critiquing for improving medical protocols: Harder than it seems

Marcos, M., Berger, G., van Harmelen, F., ten Teije, A., Roomans, H. & Miksch, S. 2001 Artificial Intelligence in Medicine - 8th Conference on Artificial Intelligence in Medicine in Europe, AIME 2001, Proceedings. Springer/Verlag, Vol. 2101, p. 431-441 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2101)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pediatrics
Automation
Recommendations
Test Set
Formal Model
2000

"Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation.

Verberne, A. S., van Harmelen, F. A. H. & ten Teije, A. C. M. 2000 Proceedings of the Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning ({KR'00}).. Giunchiglia, F. & Selman, B. (eds.). Boulder, Colorado: KR Inc., 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Describing Problem Solving Methods using Anytime Performance profiles.

van Harmelen, F. A. H. & ten Teije, A. C. M. 2000 Proceedings of 14th European Conference on AI, ECAI'00.. Horn, W. (ed.). Amsterdam: IOS Press, 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File

Torture tests: a quantitative analysis for the robustness of Knowledge-Based Systems.

Groot, P. C., van Harmelen, F. A. H. & ten Teije, A. C. M. 2000 Proceedings of the 12th European Workshop on Knowledge Acquisition, Modeling, and Management ({EKAW}'00).. Dieng, R. (ed.). Berlijn: Springer-Verlag, p. 403-418

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
1999

Describing Problem Solving Methods using Anytime Performance profiles

ten Teije, A. C. M. & van Harmelen, F. A. H. 1999 Proceedings of the IJCAI'99 Workshop on Ontologies and Problem Solving Methods, 1999.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File