858 search results - page 56 / 172 » Planning and defeasible reasoning |
124
click to vote
JSC
2000
15 years 14 days ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
92
Voted
SAC
2004
ACM
15 years 6 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
89
Voted
CSCLP
2007
Springer
15 years 6 months ago
2007
Springer
Temporal networks play a crucial role in modeling temporal relations in planning and scheduling applications. Temporal Networks with Alternatives (TNAs) were proposed to model alte...
126
click to vote
WSC
2007
15 years 3 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
110
Voted
FLAIRS
2006
15 years 2 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...