Sciweavers

1498 search results - page 27 / 300
» Description logic for coalitions
Sort
View
WILF
2007
Springer
312views Fuzzy Logic» more  WILF 2007»
15 years 5 months ago
Fuzzy Ontology, Fuzzy Description Logics and Fuzzy-OWL
The conceptual formalism supported by an ontology is not sufficient for handling vague information that is commonly found in many application domains. We describe how to introduce...
Silvia Calegari, Davide Ciucci
IJCAI
2001
15 years 21 days ago
Decision Procedures for Expressive Description Logics with Intersection, Composition, Converse of Roles and Role Identity
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...
Fabio Massacci
CORR
2007
Springer
119views Education» more  CORR 2007»
14 years 11 months ago
Using Description Logics for Recognising Textual Entailment
The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natur...
Paul Bedaride
KI
2008
Springer
14 years 11 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
CADE
2008
Springer
15 years 11 months ago
MTT: The Maude Termination Tool (System Description)
Francisco Durán, Salvador Lucas, José...