388 search results - page 1 / 78 » Mind the (Intelligibility) Gap |
ERCIMDL
2007
Springer
13 years 11 months ago
2007
Springer
Intelligibility, evolution and emulation are some of the key notions for digital information preservation. In this paper we define formally these notions on the basis of modules a...
AIS
2007
Springer
13 years 5 months ago
2007
Springer
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
CP
2005
Springer
13 years 10 months ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
ARGMAS
2004
Springer
13 years 10 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...