Sciweavers

67
Voted
DLOG
2007

Modal vs. Propositional Reasoning for model checking with Description Logics

15 years 24 days ago
Modal vs. Propositional Reasoning for model checking with Description Logics
Shoham Ben-David, Richard J. Trefler, Grant E. Wed
Added 02 Oct 2010
Updated 02 Oct 2010
Type Conference
Year 2007
Where DLOG
Authors Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Comments (0)