2649 search results - page 206 / 530 » Temporal Theories of Reasoning |
143
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
190
click to vote
LPNMR
2005
Springer
16 years 4 days ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
266
click to vote
GLOBAL
2003
Springer
15 years 12 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
178
Voted
MM
1996
ACM
15 years 10 months ago
1996
ACM
Narrative structure models are useful tools for understanding how and why narratives of any medium affect an audience's level of participation in their role of story reconstr...
185
Voted
AIIDE
2008
15 years 9 months ago
2008
Emergent narrative refers to simulation-based systems in which stories emerge from the autonomous interactions among character agents and/or the human player. Despite its advantag...