Arjen Hommersom

发表

A Semi-Causal Bayesian Network Approach to Prognosis

Peter J. F. Lucas, Arjen Hommersom, A. M. van Altena, 2012, ICML 2012.

Reasoning with Uncertainty about System Behaviour: Making Printing Systems Adaptive

Peter J. F. Lucas, Arjen Hommersom, Sander Evers, 2013 .

Generalising the Interaction Rules in Probabilistic Logic

Peter J. F. Lucas, Arjen Hommersom, 2011, IJCAI.

Modeling the Interactions between Discrete and Continuous Causal Factors in Bayesian Networks

Peter J. F. Lucas, Arjen Hommersom, Peter J.F. Lucas, 2015, Int. J. Intell. Syst..

Discovering software vulnerabilities using data-flow analysis and machine learning

Arjen Hommersom, Harald P. E. Vranken, Jorrit Kronjee, 2018, ARES.

Applying Bayesian Networks for Intelligent Adaptable Printing Systems

Peter J. F. Lucas, Arjen Hommersom, Rene Waarsing, 2011, Solutions on Embedded Systems.

Representing Hypoexponential Distributions in Continuous Time Bayesian Networks

Fabio Stella, Peter J. F. Lucas, Arjen Hommersom, 2018, IPMU.

Understanding disease processes by partitioned dynamic Bayesian networks

Peter J. F. Lucas, Arjen Hommersom, Marcos L. P. Bueno, 2016, J. Biomed. Informatics.

Probabilistic Protocol Analysis of Care Processes

Peter J. F. Lucas, Sicco Verwer, Arjen Hommersom, 2013 .

Checking Guideline Conformance of Medical Protocols using Modular Model Checking

Peter J. F. Lucas, Arjen Hommersom, Perry Groot, 2006 .

Update Semantics of Security Protocols

Erik P. de Vink, John-Jules Ch. Meyer, Arjen Hommersom, 2004 .

A History-Based Algebra for Quality-Checking Medical Guidelines

Peter J. F. Lucas, Patrick van Bommel, Theo P. van der Weide, 2005, AIME.

Making Continuous Time Bayesian Networks More Flexible

Fabio Stella, Peter J. F. Lucas, Arjen Hommersom, 2018, PGM.

Toward Probabilistic Analysis of Guidelines

Arjen Hommersom, A. Hommersom, 2010, KR4HC.

Technical Report MHB - A Many-Headed Bridge between Guideline Formats

Silvia Miksch, Peter J. F. Lucas, Andreas Seyfang, 2004 .

The Role of Model Checking in Critiquing Based on Clinical Guidelines

Frank van Harmelen, Annette ten Teije, Peter J. F. Lucas, 2007, AIME.

Verification of Medical Guidelines Using Task Execution with Background Knowledge

Peter J. F. Lucas, Arjen Hommersom, Michael Balser, 2006, ECAI.

A comparison between discrete and continuous time Bayesian networks in learning from clinical time series data with irregularity

Fabio Stella, Peter J. F. Lucas, Arjen Hommersom, 2019, Artif. Intell. Medicine.

Logic and the Quality of Medical Guidelines

Peter J. F. Lucas, Arjen Hommersom, Michael Balser, 2005 .

MoSHCA - my mobile and smart health care assistant

Jonathan Rodriguez, Joaquim Bastos, Peter J. F. Lucas, 2013, Healthcom.

Argumentation Systems for History-Based Construction of Medical Guidelines

Peter J. F. Lucas, Patrick van Bommel, Arjen Hommersom, 2005, BNAIC.

Probabilistic problem solving in biomedicine

Peter J. F. Lucas, Arjen Hommersom, 2013, Artif. Intell. Medicine.

Temporal Exceptional Model Mining Using Dynamic Bayesian Networks

Peter J. F. Lucas, Arjen Hommersom, Marcos L. P. Bueno, 2020, AALTD@PKDD/ECML.

A Hybrid Approach to the Verification of Computer Interpretable Guidelines

Laura Giordano, Alessio Bottrighi, Paolo Terenziani, 2015, Foundations of Biomedical Knowledge Representation.

A Decision Support Model for Uncertainty Reasoning in Safety and Security Tasks

Peter J. F. Lucas, Arjen Hommersom, Marina Velikova, 2013, 2013 IEEE International Conference on Systems, Man, and Cybernetics.

An Introduction to Knowledge Representation and Reasoning in Healthcare

Peter J. F. Lucas, Arjen Hommersom, 2015, Foundations of Biomedical Knowledge Representation.

Imprecise Probabilistic Horn Clause Logic

Peter J. F. Lucas, Arjen Hommersom, Marina Velikova, 2014, ECAI.

A Prognostic Model of Glioblastoma Multiforme Using Survival Bayesian Networks

Arjen Hommersom, Simon Rabinowicz, Raphaela Butz, 2017, AIME.

A new probabilistic constraint logic programming language based on a generalised distribution semantics

Peter J. F. Lucas, Arjen Hommersom, Marina Velikova, 2015, Artif. Intell..

Exploiting Experts’ Knowledge for Structure Learning of Bayesian Networks

Mohammad Rahmati, Peter J. F. Lucas, Hossein Amirkhani, 2017, IEEE Transactions on Pattern Analysis and Machine Intelligence.

Information Retrieval and Information Systems

Peter J. F. Lucas, Ildikó Flesch, Henderik Alex Proper, 1995 .

Causal Independence Models for Continuous Time Bayesian Networks

Arjen Hommersom, Maarten van der Heijden, A. Hommersom, 2014, Probabilistic Graphical Models.

Probabilistic Causal Models of Multimorbidity Concepts

Peter J. F. Lucas, Arjen Hommersom, Martijn Lappenschaar, 2012, AMIA.

Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive

Peter J. F. Lucas, Arjen Hommersom, Peter J.F. Lucas, 2010, ECAI.

Adaptation of Clinical Practice Guidelines

Peter J. F. Lucas, Arjen Hommersom, Perry Groot, 2008, Computer-based Medical Guidelines and Protocols.

Verification of Medical Guidelines Using Background Knowledge in Task Networks

Peter J. F. Lucas, Arjen Hommersom, Michael Balser, 2007, IEEE Transactions on Knowledge and Data Engineering.

Qualitative chain graphs and their application

Peter J. F. Lucas, Arjen Hommersom, Martijn Lappenschaar, 2014, Int. J. Approx. Reason..

Join the IEEE Computer Society

Peter J. F. Lucas, Arjen Hommersom, Perry Groot, 2007 .

Learning Parameters of Hybrid Time Bayesian Networks

Peter J. F. Lucas, Arjen Hommersom, Maarten van der Heijden, 2016, PGM 2016.

Exploiting Experts’ Knowledge for Structure Learning of Bayesian Networks

Mohammad Rahmati, Hossein Amirkhani, Arjen Hommersom, 2017, IEEE Transactions on Pattern Analysis and Machine Intelligence.

A probabilistic framework for predicting disease dynamics: A case study of psychotic depression

Arjen Hommersom, Marcos L. P. Bueno, Peter J F Lucas, 2019, J. Biomed. Informatics.

Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving

Peter J. F. Lucas, Arjen Hommersom, Michael Balser, 2004, JELIA.

Supporting Physicians and Patients Through Recommendation: Guidelines and Beyond

Anthony Hunter, Alessio Bottrighi, Paolo Terenziani, 2015, Foundations of Biomedical Knowledge Representation.

Combining task execution and background knowledge for the verification of medical guidelines

Peter J. F. Lucas, Arjen Hommersom, Michael Balser, 2007, Knowl. Based Syst..

Inference for a New Probabilistic Constraint Logic

Peter J. F. Lucas, Arjen Hommersom, Steffen Michels, 2013, IJCAI.

Qualitative Chain Graphs and their Use in Medicine

Peter J. F. Lucas, Arjen Hommersom, Martijn Lappenschaar, 2012, PGM 2012.

Understanding the Co-occurrence of Diseases Using Structure Learning

Peter J. F. Lucas, Arjen Hommersom, Martijn Lappenschaar, 2013, AIME.

Experiences in Quality Checking Medical Guidelines using Formal Methods

Peter J. F. Lucas, Arjen Hommersom, P. J. Groot, 2007 .

Probabilistic logic programming (PLP) 2016

James Cussens, Arjen Hommersom, J. Cussens, 2018, Int. J. Approx. Reason..

Automated Theorem Proving for Quality--checkingMedical Guidelines

Peter J. F. Lucas, Arjen Hommersom, P. van Bommel, 2005 .

Asymmetric hidden Markov models

Arjen Hommersom, Marcos L. P. Bueno, Alexis Linard, 2017, Int. J. Approx. Reason..

A Data-Driven Exploration of Hypotheses on Disease Dynamics

Peter J. F. Lucas, Arjen Hommersom, Marcos L. P. Bueno, 2019, AIME.

Integrating Logical Reasoning and Probabilistic Chain Graphs

Peter J. F. Lucas, Arjen Hommersom, Nivea de Carvalho Ferreira, 2009, ECML/PKDD.

Measuring Adverse Drug Effects on Multimorbity using Tractable Bayesian Networks pdf

Jesse Davis, Arjen Hommersom, Jessa Bekker, 2016, ArXiv.

Multilevel Bayesian networks for the analysis of hierarchical health care data

Peter J. F. Lucas, Stefan Visscher, Arjen Hommersom, 2013, Artif. Intell. Medicine.

Explaining the Most Probable Explanation

Marko C. J. D. van Eekelen, Arjen Hommersom, Raphaela Butz, 2018, SUM.

Actions with Failures in Interval Temporal Logic

Peter J. F. Lucas, Arjen Hommersom, 2007, CLIMA.

Toward Computing Conflict-Based Diagnoses in Probabilistic Logic Programming

Arjen Hommersom, Marcos L. P. Bueno, 2016, ILP 2016.

Modelling Inter-practice Variation of Disease Interactions using Multilevel Bayesian Networks

Peter J. F. Lucas, Arjen Hommersom, Martijn Lappenschaar, 2011 .

Formal Methods for Verification of Clinical Practice Guidelines

Peter J. F. Lucas, Arjen Hommersom, Michael Balser, 2008, Computer-based Medical Guidelines and Protocols.

Hybrid Time Bayesian Networks

Peter J. F. Lucas, Arjen Hommersom, Maarten van der Heijden, 2015, ECSQARU.

Constructs Asymmetric Hidden Markov Models [R package hmma version 1.1.0]

Arjen Hommersom, Marcos L. P. Bueno, Joop Thibaudier, 2020 .

A Probabilistic Logic-based Model for Fusing Attribute Information of Objects Under Surveillance

Arjen Hommersom, Marina Velikova, Steffen Michels, 2012 .

Hybrid time Bayesian networks

Peter J. F. Lucas, Arjen Hommersom, Maarten van der Heijden, 2017, Int. J. Approx. Reason..

Modeling the Dynamics of Multiple Disease Occurrence by Latent States

Peter J. F. Lucas, Arjen Hommersom, Pedro Pereira Rodrigues, 2018, SUM.

Approximate Probabilistic Inference with Bounded Error for Hybrid Probabilistic Logic Programming

Peter J. F. Lucas, Arjen Hommersom, Steffen Michels, 2016, IJCAI.

A constraint-based approach to medical guidelines and protocols.

Peter J. F. Lucas, Mar Marcos, Arjen Hommersom, 2006 .

Toward Reasoning about Security Protocols: A Semantic Approach

Erik P. de Vink, John-Jules Ch. Meyer, Arjen Hommersom, 2005, Electron. Notes Theor. Comput. Sci..

From Probabilistic Logic to Chain Logic

Peter J. F. Lucas, Arjen Hommersom, Nivea Ferreira, 2008 .

Using model checking for critiquing based on clinical guidelines

Frank van Harmelen, Annette ten Teije, Peter J. F. Lucas, 2009, Artif. Intell. Medicine.

Checking the quality of clinical guidelines using automated reasoning tools pdf

Peter J. F. Lucas, Patrick van Bommel, Arjen Hommersom, 2008, Theory and Practice of Logic Programming.

Learning Complex Uncertain States Changes via Asymmetric Hidden Markov Models: an Industrial Case

Peter J. F. Lucas, Sicco Verwer, Arjen Hommersom, 2016, PGM 2016.

An improved diagnostic method for probabilistic consistency-based diagnosis

Peter J. F. Lucas, Arjen Hommersom, Marcos Luiz de Paula Bueno, 2017, DX.

Combining Task Execution and Background Knowledge for the Verification of Medical Guidelines

Peter J. F. Lucas, Arjen Hommersom, Michael Balser, 2006, SGAI Conf..

How to Read the Book "Foundations of Biomedical Knowledge Representation"

Peter J. F. Lucas, Arjen Hommersom, 2015, Foundations of Biomedical Knowledge Representation.

Mining Hierarchical Pathology Data Using Inductive Logic Programming

Peter Lucas, Jesse Davis, Arjen Hommersom, 2015, AIME.

Automated Theorem Proving for Quality-checking Medical Guidelines

Peter J. F. Lucas, Arjen Hommersom, P. van Bommel, 2005 .

Foundations of Biomedical Knowledge Representation

Peter J. F. Lucas, Arjen Hommersom, Peter J.F. Lucas, 2015, Lecture Notes in Computer Science.

Update Semantics of Security Protocols

Erik P. de Vink, John-Jules Ch. Meyer, Arjen Hommersom, 2004, Synthese.

Discovering Probabilistic Structures of Healthcare Processes

Peter J. F. Lucas, Sicco Verwer, Arjen Hommersom, 2013, KR4HC/ProHealth.

Denial-of-Service Attacks on LoRaWAN

Arjen Hommersom, Harald P. E. Vranken, Eef van Es, 2018, ARES.

What is understandable in Bayesian network explanations? pdf

Arjen Hommersom, Marko van Eekelen, Raphaela Butz, 2021, ArXiv.

A compositional approach to probabilistic knowledge compilation

Peter J. F. Lucas, Arjen Hommersom, Giso H. Dal, 2021, Int. J. Approx. Reason..

Exploring Disease Interactions Using Markov Networks

Jesse Davis, Arjen Hommersom, Jan Van Haaren, 2013, AAAI 2013.

Multilevel temporal Bayesian networks can model longitudinal change in multimorbidity.

Stefan Visscher, Arjen Hommersom, Martijn Lappenschaar, 2013, Journal of clinical epidemiology.