Bounded Model Checking with Description Logic Reasoning - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell. Bounded Model Checking with Description Logic Reasoning. In Nicola Olivetti, editor, Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Volume 4548 of Lecture Notes in Computer Science, pages 60-72, Springer, 2007. [doi]

The following publications are possibly variants of this publication:

Modal vs. Propositional Reasoning for model checking with Description LogicsShoham Ben-David, Richard J. Trefler, Grant E. Weddell. dlog 2007: [doi]

Model Checking Using Description LogicShoham Ben-David, Richard J. Trefler, Grant E. Weddell. logcom, 20(1):111-131, 2010. [doi]

Model checking the basic modalities of CTL with Description LogicShoham Ben-David, Richard J. Trefler, Grant E. Weddell. dlog 2006: [doi]

runs on WebDSL