2253 search results - page 4 / 451 » The ComFoRT Reasoning Framework |
LPNMR
1993
Springer
13 years 10 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
UMUAI
2010
13 years 4 months ago
2010
Abstract. Pervasive computing creates possibilities for presenting highly personalised information about the people, places and things in a building. One of the challenges for such...
ASIAN
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
IJAR
2011
13 years 22 days ago
2011
Abstract. In this paper, we introduce a general and modular framework for formalizing reasoning with incomplete and inconsistent information. Our framework is composed of non-deter...
CADE
1998
Springer
13 years 10 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205