830 search results - page 8 / 166 » Topological Reasoning and The Logic of Knowledge |
104
Voted
DLOG
1998
15 years 1 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
91
Voted
AAAI
1990
15 years 25 days ago
1990
Recently, conditional logics have been developed for application to problems in default reasoning. We present a uniform framework for the development and investigation of conditio...
76
Voted
SOFSEM
2010
Springer
15 years 8 months ago
2010
Springer
Knowledge representation and reasoning so far have focused on the ideal ultimate goal, thus stressing logical consistency and semantic homogeneity. On the way to consistent and hom...
116
Voted
ACMICEC
2005
ACM
15 years 5 months ago
2005
ACM
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
115
Voted
ICEIS
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphi...