5243 search results - page 371 / 1049 » Reasoning About Strategies |
181
Voted
TIME
1994
IEEE
15 years 11 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
237
Voted
CADE
1992
Springer
15 years 11 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
169
Voted
ICLP
1990
Springer
15 years 11 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
212
Voted
DEXA
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we describe an application based on a general approach towards modelling practical reasoning through defeasible argumentation. The purpose of the paper is to show how...
196
Voted
EWCBR
2006
Springer
15 years 11 months ago
2006
Springer
In this paper we present TransUCP, a general framework for transformational analogy. Using our framework we demonstrate that transformational analogy does not meet a crucial condit...