5243 search results - page 371 / 1049 » Reasoning About Strategies |
160
click to vote
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...
216
click to vote
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...
146
click to vote
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...
191
click to vote
DEXA
2006
Springer
15 years 10 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...
174
click to vote
EWCBR
2006
Springer
15 years 10 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...