4617 search results - page 550 / 924 » Automation of Diagrammatic Reasoning |
223
click to vote
TIME
2009
IEEE
16 years 2 months ago
2009
IEEE
—This paper presents various semantic interpretations for logics of knowledge and time with prefect recall. We allow both past and future operators and examine the interpretation...
232
click to vote
TIME
2009
IEEE
16 years 2 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...
202
click to vote
TPHOL
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...
181
click to vote
ECSQARU
2009
Springer
16 years 2 months ago
2009
Springer
Argumentation frameworks have proven to be a successful approach to formalizing commonsense reasoning. Recently, some argumentation frameworks have been extended to deal with possi...
162
click to vote
ICCBR
2009
Springer
16 years 2 months ago
2009
Springer
In this paper we revisit the trade-off between adaptation and retrieval effort traditionally held as a principle in case-based reasoning. This principle states that the time needed...