Arjen Hommersom

Arjen Hommersom, Peter J. F. Lucas: Probabilistic problem solving in biomedicine. Artificial Intelligence in Medicine 57(3): 169-170 (2013)

Martijn Lappenschaar, Arjen Hommersom, Peter J. F. Lucas, Joep Lagro, Stefan Visscher: Multilevel Bayesian networks for the analysis of hierarchical health care data. Artificial Intelligence in Medicine 57(3): 171-183 (2013)

Arjen Hommersom, Peter J. F. Lucas: Generalising the Interaction Rules in Probabilistic Logic. IJCAI 2011: 912-917

Arjen Hommersom: Toward Probabilistic Analysis of Guidelines. KR4HC 2010: 139-152

Arjen Hommersom, Peter J. F. Lucas: Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. ECAI 2010: 401-406

Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Robbert-Jan Merk, Annette ten Teije, Frank van Harmelen, Radu Serban: Using model checking for critiquing based on clinical guidelines. Artificial Intelligence in Medicine 46(1): 19-36 (2009)

Arjen Hommersom, Nivea de Carvalho Ferreira, Peter J. F. Lucas: Integrating Logical Reasoning and Probabilistic Chain Graphs. ECML/PKDD (1) 2009: 548-563

Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel: Checking the quality of clinical guidelines using automated reasoning tools. TPLP 8(5-6): 611-641 (2008)

Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel: Checking the Quality of Clinical Guidelines using Automated Reasoning Tools. CoRR abs/0806.0250 (2008)

Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt: Combining task execution and background knowledge for the verification of medical guidelines. Knowl.-Based Syst. 20(2): 113-119 (2007)

Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt: Verification of Medical Guidelines Using Background Knowledge in Task Networks. IEEE Trans. Knowl. Data Eng. 19(6): 832-846 (2007)

Perry Groot, Arjen Hommersom, Peter J. F. Lucas, Radu Serban, Annette ten Teije, Frank van Harmelen: The Role of Model Checking in Critiquing Based on Clinical Guidelines. AIME 2007: 411-420

Arjen Hommersom, Peter J. F. Lucas: Actions with Failures in Interval Temporal Logic. CLIMA 2007: 22-41

Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt: Verification of Medical Guidelines Using Task Execution with Background Knowledge. ECAI 2006: 835-836

Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink: Toward Reasoning about Security Protocols: A Semantic Approach. Electr. Notes Theor. Comput. Sci. 126: 53-75 (2005)

Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel, Theo P. van der Weide: A History-Based Algebra for Quality-Checking Medical Guidelines. AIME 2005: 161-165

Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel: Argumentation Systems for History-Based Construction of Medical Guidelines. BNAIC 2005: 135-142

Arjen Hommersom, Peter J. F. Lucas, Michael Balser: Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. JELIA 2004: 654-666