Search the dblp DataBase

Publications of Author

1. Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel, Theo P. van der Weide
   A History-Based Algebra for Quality-Checking Medical Guidelines. [Citation Graph (0, 0)][DBLP]
   AIME, 2005, pp:161-165 [Conf]
   
2. Arjen Hommersom, Peter J. F. Lucas, Patrick van Bommel
   Argumentation Systems for History-Based Construction of Medical Guidelines. [Citation Graph (0, 0)][DBLP]
   BNAIC, 2005, pp:135-142 [Conf]
   
3. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
   Verification of Medical Guidelines Using Task Execution with Background Knowledge. [Citation Graph (0, 0)][DBLP]
   ECAI, 2006, pp:835-836 [Conf]
   
4. Arjen Hommersom, Peter J. F. Lucas, Michael Balser
   Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving. [Citation Graph (0, 0)][DBLP]
   JELIA, 2004, pp:654-666 [Conf]
   
5. Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink
   Toward Reasoning about Security Protocols: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:53-75 [Journal]
   
6. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
   Combining task execution and background knowledge for the verification of medical guidelines. [Citation Graph (0, 0)][DBLP]
   Knowl.-Based Syst., 2007, v:20, n:2, pp:113-119 [Journal]
   
7. Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt
   Verification of Medical Guidelines Using Background Knowledge in Task Networks. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Knowl. Data Eng., 2007, v:19, n:6, pp:832-846 [Journal]
   
8. 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. [Citation Graph (0, 0)][DBLP]
   AIME, 2007, pp:411-420 [Conf]
   
9. 
   Actions with Failures in Interval Temporal Logic. [Citation Graph (, )][DBLP]
   
   
10. 
    Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. [Citation Graph (, )][DBLP]
    
    
11. 
    Integrating Logical Reasoning and Probabilistic Chain Graphs. [Citation Graph (, )][DBLP]
    
    
12. 
    Using model checking for critiquing based on clinical guidelines. [Citation Graph (, )][DBLP]
    
    
13. 
    Checking the Quality of Clinical Guidelines using Automated Reasoning Tools [Citation Graph (, )][DBLP]