3573 search results - page 156 / 715 » Reasoning about Codata |
126
Voted
RSFDGRC
2005
Springer
15 years 9 months ago
2005
Springer
We discuss the problems of spatio-temporal reasoning in the context of hierarchical information maps and approximate reasoning networks (AR networks). Hierarchical information maps...
124
Voted
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...
127
click to vote
CL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We consider the problem of specifying and computing consistent answers to queries against databases that do not satisfy given integrity constraints. This is done by simul...
145
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
160
Voted
COMMA
2006
15 years 4 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...