834 search results - page 7 / 167 » Anaphora and the Logic of Change |
DEON
2004
Springer
14 years 13 days ago
2004
Springer
IANDC
2006
13 years 8 months ago
2006
FMCO
2003
Springer
14 years 1 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
DEXAW
2000
IEEE
14 years 1 months ago
2000
IEEE
Situational aspects are very helpful to decide relevance but they have often been left aside by Information Retrieval models. The standard logical approach to Information Retrieva...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...