Searching for "Modality and Description." – sorted by Relevance.
163 documents found, showing 1 through 10.
Next 10 →
-
Modal Description Logics: Modalizing Roles
- …Modal description logics: modalizing roles Frank Wolter and Michael Zakharyaschev Institut fur…
- Cited by 22 (12 self) – Add To MetaCart
-
Resolution in Modal, Description and Hybrid Logic
- …Resolution in Modal, Description and Hybrid Logic Carlos Areces 1 Hans de Nivelle 2 Maarten de…
- Cited by 17 (6 self) – Add To MetaCart
-
A Resolution Method for Modal and Description Logics
- …Prefixed Resolution A Resolution Method for Modal and Description Logics Carlos Areces, Hans de…
- Add To MetaCart
-
Lotrec: the generic tableau prover for modal and description logics
- … Lotrec: The Generic Tableau Prover for Modal and Description Logics L. Fari~nas del Cerro1, D…
- Cited by 8 (2 self) – Add To MetaCart
-
Rijke. Prefixed resolution: A resolution method for modal and description logics
- …Prefixed Resolution A Resolution Method for Modal and Description Logics Carlos Areces, Hans de…
- Cited by 3 (2 self) – Add To MetaCart
-
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC
- … (Italy), Via Sommarive 14 http://www.dit.unitn.it ENCODING THE SATISFIABILITY OF MODAL AND DESCRIPTION…
- Cited by 1 (0 self) – Add To MetaCart
-
#vA '92 lAPR Workshop on Machine V~sron Applications Dec. 7-9,1992. Tokyo MODAL DESCRIPTIONS
- …#vA '92 lAPR Workshop on Machine V~sron Applications Dec. 7-9,1992. Tokyo MODAL DESCRIPTIONS…
- Add To MetaCart
-
Modal Logics and Description Logics
- …Modal Logics and Description Logics Maarten de Rijke ILLC, University of Amsterdam Plantage…
- Cited by 2 (1 self) – Add To MetaCart
-
On the Complexity of Description Logics With Modal Operators
- …On the complexity of description logics with modal operators Milenko Mosurovi'c and Michael…
- Cited by 1 (0 self) – Add To MetaCart
-
Modal Logics, Description Logics and Arithmetic Reasoning
- …Modal Logics, Description Logics and Arithmetic Reasoning Hans Jurgen Ohlbach Dept. of Computer…
- Cited by 18 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
