10 search results - page 1 / 2 » Order of Magnitude Qualitative Reasoning with Bidirectional ... |
CAEPIA
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper, we enrich the logic of order of magnitude qualitative reasoning by means of a new notion of negligibility which has very useful properties with respect to ...
CAEPIA
2003
Springer
13 years 10 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
CAEPIA
2007
Springer
13 years 11 months ago
2007
Springer
This paper continues the research line on the multimodal
CAEPIA
2009
Springer
13 years 6 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
FOIS
2006
13 years 6 months ago
2006
We present a theory of granular parthood based on qualitative cardinality and size measures. Using standard mereological relations and qualitative, contextdependent relations such ...