Sciweavers

3717 search results - page 265 / 744
» Representing Multiple Theories
Sort
View
181
Voted
ATAL
2008
Springer
15 years 8 months ago
Approximate predictive state representations
Predictive state representations (PSRs) are models that represent the state of a dynamical system as a set of predictions about future events. The existing work with PSRs focuses ...
Britton Wolfe, Michael R. James, Satinder P. Singh
ATAL
2006
Springer
15 years 8 months ago
Logics of propositional control
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
Jelle Gerbrandy
BCSHCI
2007
15 years 8 months ago
Agile human-centered software engineering
We seek to close the gap between software engineering (SE) and human-computer interaction (HCI) by indicating interdisciplinary interfaces throughout the different phases of SE an...
Thomas Memmel, Fredrik Gundelsweiler, Harald Reite...
DAGSTUHL
2007
15 years 8 months ago
Dynamic Interactions Between Goals and Beliefs
Shapiro et al. [2005; 2006], presented a framework for representing goal change in the situation calculus. In that framework, agents adopt a goal when requested to do so (by some ...
Steven Shapiro, Gerhard Brewka
FOIS
2008
15 years 8 months ago
On the Syntax and Semantics of Effect Axioms
Effect axioms constitute the cornerstone of formal theories of action in AI. They drive standard reasoning tasks, especially prediction. These tasks need not be coupled with actual...
Haythem O. Ismail