4224 search results - page 219 / 845 » Reasoning about Choice |
201
click to vote
PRICAI
2004
Springer
16 years 16 days 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...
206
click to vote
CL
2000
Springer
15 years 11 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...
217
click to vote
CADE
1998
Springer
15 years 11 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...
211
click to vote
COMMA
2006
15 years 8 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...
219
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Agents in an organization need to coordinate their actions in order to reach the organizational goals. Organizational models specify the desired behaviour in terms of roles, relati...