830 search results - page 2 / 166 » Topological Reasoning and The Logic of Knowledge |
KR
2000
Springer
13 years 9 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
KR
2010
Springer
13 years 10 months ago
2010
Springer
Topological logics are a family of languages for representing and reasoning about topological data. In this paper, we consider propositional topological logics able to express the...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
AAAI
2006
13 years 6 months ago
2006
Several forms of reasoning in AI
TIME
2003
IEEE
13 years 10 months ago
2003
IEEE
