Searching for "Modality and Description." – sorted by Relevance.
-
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

