Sciweavers

364 search results - page 31 / 73
» A Map of Common Knowledge Logics
Sort
View
DEBU
2007
110views more  DEBU 2007»
15 years 1 months ago
Mapping and Structural Analysis of Multi-lingual Wordnets
In this paper, we present observations on structural properties of wordnets of three languages: English, Hindi, and Marathi. Hindi and Marathi, spoken widely in India, rank 5th an...
J. Ramanand, Akshay Ukey, Brahm Kiran Singh, Pushp...
RSCTC
2004
Springer
200views Fuzzy Logic» more  RSCTC 2004»
15 years 7 months ago
A Comparative Study of Formal Concept Analysis and Rough Set Theory in Data Analysis
The theory of rough sets and formal concept analysis are compared in a common framework based on formal contexts. Different concept lattices can be constructed. Formal concept ana...
Yiyu Yao
ENTCS
2007
109views more  ENTCS 2007»
15 years 1 months ago
Hybrid Logics and Ontology Languages
Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications, they are perhaps best known as the basis for ...
Ian Horrocks, Birte Glimm, Ulrike Sattler
AAAI
1990
15 years 3 months ago
The Complexity of Closed World Reasoning and Circumscription
Closed world reasoning is a common nonmonotonic technique that allows for dealing with negative information in knowledge and data bases. We present a detailed analysis of the comp...
Marco Cadoli, Maurizio Lenzerini
ATAL
2011
Springer
14 years 1 months ago
Reasoning about local properties in modal logic
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld...