Sciweavers

12 search results - page 3 / 3
» A Hybrid Approach to Representation in the Janus Natural Lan...
Sort
View
JACM
2010
137views more  JACM 2010»
13 years 2 months ago
Reconciling description logics and rules
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
Boris Motik, Riccardo Rosati
CAV
2009
Springer
215views Hardware» more  CAV 2009»
14 years 4 months ago
Homer: A Higher-Order Observational Equivalence Model checkER
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
David Hopkins, C.-H. Luke Ong