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

Research Output 1994 2019

Filter
Conference contribution
2019

Preface

Koch, F., Koster, A., Bichindaritz, I., Herrero, P., Riaño, D., Montagna, S., Schumacher, M., ten Teije, A., Guttmann, C., Reichert, M., Lenz, R., López, B., Marling, C., Martin, C., Montani, S. & Wiratunga, N., Jul 2019, Artificial Intelligence in Health: First International Workshop, AIH 2018Stockholm, Sweden, July 13–14, 2018 - Revised Selected Papers. Koch, F., Koster, A., Bichindaritz, I. & Herrero, P. (eds.). Cham: Springer, p. VII-VIII 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11326).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

Semantics
Clinical Trials
Patient Selection
Therapeutics
Clinical Studies

The Reproducibility of CLIF, a Method for Clinical Quality Indicator Formalisation

Dentler, K., Cornet, R., ten Teije, A. C. M., Tytgat, K., Klinkenbijl, J. & de Keizer, N., 2012, Quality of Life through Quality of Information. Mantas, J. (ed.). IOS Press, p. 113-117 5 p. (Studies in health technology and informatics; vol. 180).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Medical Informatics
Social Responsibility

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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. C. M. & van Harmelen, F. A. H., 2010, Knowledge Representation for Health-Care: Data, Processes and Guidelines, AIME 2009, Workshop KR4HC 2009, Revised Selected and Invited Papers. Riano, D., ten Teije, A. C. M., Miksch, S. & Peleg, M. (eds.). Verona, Italy, 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 contributionAcademicpeer-review

File
Breast Cancer
Ontology
Seed
Complementarity
Use Case
2009

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

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 contributionAcademicpeer-review

File
1997

Exploiting domain knowledge for approximate diagnosis

ten Teije, A. & van Harmelen, F. A. H., 1997, Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence ({IJCAI}'97). p. 454-459

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

Open Access
File
Railroad cars

Validation and verification of conceptual models of diagnosis

van Harmelen, F. A. H. & ten Teije, A., 1997, Validation and verification of conceptual models of diagnosis. p. 117-128

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

Open Access
File
1996

Computing approximate diagnoses by using approximate entailment

ten Teije, A. & van Harmelen, F. A. H., 1996, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning ({KR'96}). p. 265-256

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

Open Access
File
Computing
Approximation
Parameterise
Diagnostics
Efficient Algorithms
1995

Approximations in diagnosis: motivations and techniques

van Harmelen, F. A. H. & ten Teije, A., 1995, Proceedings of the Symposium on Abstraction, Reformulation and Approximation, (\uc{SARA}'95).

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

Open Access
File
Motivation
1994

An extended spectrum of logical definitions for diagnostic sytems

ten Teije, A. & van Harmelen, F. A. H., 1994, Proceedings of DX-94 Fifth International Workshop on Principles of Diagnosis.

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

Open Access
File
consoles

Using domain knowledge to select solutions in abductive diagnosis

van Harmelen, F. A. H. & ten Teije, A., 1994, Proceedings of {ECAI}'94. p. 652-656

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

Open Access
File