Sciweavers

3831 search results - page 49 / 767
» Dynamic Context Logic
Sort
View
COMPASS
1994
15 years 4 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
111
Voted
DSVIS
1995
Springer
15 years 4 months ago
Moving between Contexts
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...
Alan J. Dix
115
Voted
APSCC
2010
IEEE
14 years 10 months ago
Service-centric Inference and Utilization of Confidence on Context
Abstract--The inadequate quality of context forces the context consumers in pervasive environments to reason about the quality and relevance of context to be confident of its worth...
Atif Manzoor, Hong Linh Truong, Christoph Dorn, Sc...
91
Voted
INLG
2004
Springer
15 years 5 months ago
Context-Based Incremental Generation for Dialogue
This paper describes an implemented model of context-based incremental tactical generation within the Dynamic Syntax framework [1] which directly reflects dialogue phenomena such ...
Matthew Purver, Ruth Kempson
90
Voted
FUIN
2010
97views more  FUIN 2010»
14 years 11 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant