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

Research Output 2004 2020

Filter
Conference contribution
2019

Mitplan: A planning approach to mitigating concurrently applied clinical practice guidelines

Michalowski, M., Wilk, S., Michalowski, W. & Carrier, M., Jan 1 2019, Artificial Intelligence in Medicine - 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Proceedings. Wilk, S., ten Teije, A. & Riaño, D. (eds.). Springer- Verlag, p. 93-103 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11526 LNAI).

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

Planning
First-order Logic
Theorem proving
Morbidity
Theorem Proving
2017
Mobile computing
Public health
Medical problems
Decision support systems
Artificial intelligence

AFGuide system to support personalized management of atrial fibrillation

Michalowski, W., Michalowski, M., O'Sullivan, D., Wilk, S. & Carrier, M., Jan 1 2017, AAAI Workshop - Technical Report: Artificial Intelligence and Operations Research for Social Good; WS-17-02: Artificial Intelligence, Ethics, and Society; WS-17-03: Artificial Intelligence for Connected and Automated Vehicles; WS-17-04: Artificial Intelligence for Cyber Security; WS-17-05: Artificial Intelligence for Smart Grids and Buildings; WS-17-06: Computer Poker and Imperfect Information Games; WS-17-07: Crowdsourcing, Deep Learning and Artificial Intelligence Agents; WS-17-08: Distributed Machine Learning; WS-17-09: Joint Workshop on Health Intelligence; WS-17-10: Human-Aware Artificial Intelligence; WS-17-11: Human-Machine Collaborative Learning; WS-17-12: Knowledge-Based Techniques for Problem Solving and Reasoning; WS-17-13: Plan, Activity, and Intent Recognition; WS-17-14: Symbolic Inference and Optimization; WS-17-15: What's Next for AI in Games?. AI Access Foundation, Vol. WS-17-01 - WS-17-15. p. 562-567 6 p. (AAAI Workshop - Technical Report; vol. WS-17-01 -).

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

Mobile computing
Public health
Medical problems
Decision support systems
Artificial intelligence
2014
10 Citations (Scopus)
First-order Logic
Interaction
Theorem proving
Theorem Proving
Inconsistency
10 Citations (Scopus)

Using first-order logic to represent clinical practice guidelines and to mitigate adverse interactions

Wilk, S., Michalowski, M., Tan, X. & Michalowski, W., Jan 1 2014, Knowledge Representation for Health Care - 6th International Workshop, KR4HC 2014, Revised Selected Papers: Making Personalized and Participatory Medicine a Reality - Papers from the AAAI Fall Symposium, Technical Report. Teije, A. T., Miksch, S. & Riaño, D. (eds.). Springer Verlag, Vol. 8903. p. 45-61 17 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

First-order Logic
Interaction
Theorem proving
Theorem Proving
Inconsistency
2013
1 Citation (Scopus)

Clinical practice guidelines and comorbid diseases: A minizinc representation of guideline models for mitigating adverse interactions

Wilk, S., Michalowski, M., Michalowski, W., Farion, K., Lin, D., Hing, M. M. & Mohapatra, S., Jan 1 2013, MEDINFO 2013 - Proceedings of the 14th World Congress on Medical and Health Informatics. 1-2 ed. IOS Press, p. 352-356 5 p. (Studies in Health Technology and Informatics; vol. 192, no. 1-2).

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

Practice Guidelines
Logic programming
Guidelines
Venous Thrombosis
Motivation
1 Citation (Scopus)

Procedural approach to mitigating concurrently applied clinical practice guidelines

Michalowski, M., Wilk, S., Lin, D., Michalowski, W., Tan, X. & Mohapatra, S., Jan 1 2013, Expanding the Boundaries of Health Informatics Using Artificial Intelligence - Papers from the 2013 AAAI Workshop, Technical Report. AI Access Foundation, p. 47-52 6 p. (AAAI Workshop - Technical Report; vol. WS-13-09).

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

Logic programming
19 Citations (Scopus)

Using constraint logic programming to implement iterative actions and numerical measures during mitigation of concurrently applied clinical practice guidelines

Michalowski, M., Wilk, S., Michalowski, W., Lin, D., Farion, K. & Mohapatra, S., Jan 1 2013, Artificial Intelligence in Medicine - 14th Conference on Artificial Intelligence in Medicine, AIME 2013, Proceedings. Springer- Verlag, p. 17-22 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7885 LNAI).

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

Constraint Logic Programming
Logic programming
Cycle
Decision Support
Interaction
2011
7 Citations (Scopus)

A constraint logic programming approach to identifying inconsistencies in clinical practice guidelines for patients with comorbidity

Michalowski, M., Mainegra Hing, M., Wilk, S., Michalowski, W. & Farion, K., Sep 26 2011, Artificial Intelligence in Medicine - 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Proceedings. p. 296-301 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6747 LNAI).

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

Constraint Logic Programming
Computer systems programming
Logic programming
Inconsistency
Constraint Programming
1 Citation (Scopus)

Bayesian learning of generalized board positions for improved move prediction in computer go

Michalowski, M., Boddy, M. & Neilsen, M., Nov 2 2011, AAAI-11 / IAAI-11 - Proceedings of the 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference. p. 815-820 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 1).

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

Printed circuit boards
Function evaluation
Learning systems
Atoms
Hydrogen
3 Citations (Scopus)

Reconciliation of concurrently applied clinical practice guidelines using constraint logic programming

Wilk, S., Michalowski, M., Hing, M. M., Michalowski, W. & Farion, K., Dec 1 2011, Proceedings of the 6th International Symposium on Health Informatics and Bioinformatics, HIBIT 2011. p. 33-40 8 p. 6450805. (Proceedings of the 6th International Symposium on Health Informatics and Bioinformatics, HIBIT 2011).

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

Logic programming
Practice Guidelines
Comorbidity
Guidelines
Therapeutics
2010
1 Citation (Scopus)

Experienced physicians and automatic generation of decision rules from clinical data

Klement, W., Wilk, S., Michalowski, M. & Farion, K., Dec 1 2010, Rough Sets and Current Trends in Computing - 7th International Conference, RSCTC 2010, Proceedings. p. 207-216 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6086 LNAI).

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

Decision Rules
Decision support systems
Testing
Experiments
Decision Model
13 Citations (Scopus)

Identifying inconsistencies in multiple clinical practice guidelines for a patient with co-morbidity

Hing, M. M., Michalowski, M., Wilk, S., Michalowski, W. & Farion, K., Dec 1 2010, 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010. p. 447-452 6 p. 5703843

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

Practice Guidelines
Morbidity
Software Design
Therapeutics
Guidelines

Representing clinical documents to support automatic retrieval of evidence from the Cochrane Library

O'Sullivan, D., Michalowski, W., Michalowski, M., Wilk, S. & Farion, K., Dec 1 2010, 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, BIBMW 2010. p. 461-466 6 p. 5703845

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

Libraries
Automatic indexing
Information retrieval systems
Information Storage and Retrieval
Information retrieval
2007
5 Citations (Scopus)

Exploiting automatically inferred constraint-models for building identification in satellite imagery

Michalowski, M., Knoblock, C. A., Bayer, K. & Choueiry, B. Y., Dec 1 2007, Proceedings of the 15th ACM International Symposium on Advances in Geographic Information Systems, GIS 2007. p. 35-42 8 p. (GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems).

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

Satellite Imagery
Satellite imagery
satellite imagery
Identification (control systems)
Identification Problem

Reformulating constraint models using input data

Michalowski, M., Knoblock, C. A. & Choueiry, B. Y., Aug 27 2007, Abstraction, Reformulation, and Approximation - 7th International Symposium, SARA 2007 Proceedings. p. 402-404 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4612 LNAI).

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

Model
2 Citations (Scopus)

Reformulating constraint satisfaction problems to improve scalability

Bayer, K. M., Michalowski, M., Choueiry, B. Y. & Knoblock, C. A., Aug 27 2007, Abstraction, Reformulation, and Approximation - 7th International Symposium, SARA 2007 Proceedings. p. 64-79 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4612 LNAI).

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

Constraint satisfaction problems
Constraint Satisfaction Problem
Reformulation
Scalability
Computer programming
4 Citations (Scopus)

Reformulating CSPs for scalability with application to geospatial reasoning

Bayer, K. M., Michalowski, M., Choueiry, B. Y. & Knoblock, C. A., Dec 1 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. p. 164-179 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

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

Constraint satisfaction problems
Scalability
Reformulation
Reasoning
Identification Problem
2006

A generalized query framework for geospatial reasoning

Michalowski, M. & Knoblock, C. A., Nov 13 2006, Proceedings of the 21st National Conference on Artificial Intelligence and the 18th Innovative Applications of Artificial Intelligence Conference, AAAI-06/IAAI-06. p. 1922-1923 2 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

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

2005
9 Citations (Scopus)

A constraint satisfaction approach to geospatial reasoning

Michalowski, M. & Knoblock, C. A., Dec 1 2005, Proceedings of the 20th National Conference on Artificial Intelligence and the 17th Innovative Applications of Artificial Intelligence Conference, AAAI-05/IAAI-05. Vol. 1. p. 423-429 7 p.

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

Satellite imagery
Constraint satisfaction problems
Geographic information systems
Satellites
Internet
44 Citations (Scopus)

A heterogeneous field matching method for record linkage

Minton, S. N., Nanjo, C., Knoblock, C. A., Michalowski, M. & Michelson, M., Dec 1 2005, Proceedings - Fifth IEEE International Conference on Data Mining, ICDM 2005. p. 314-321 8 p. 1565694. (Proceedings - IEEE International Conference on Data Mining, ICDM).

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

Learning systems
Expert systems