Sciweavers

1143 search results - page 171 / 229
» Prospective Logic Agents
Sort
View
IJIT
2004
15 years 7 months ago
Rule-Based Message Passing for Collaborative Application in Distributed Environments
In this paper, we describe a rule-based message passing method to support developing collaborative applications, in which multiple users share resources in distributed environments...
Wataru Yamazaki, Hironori Hiraishi, Fumio Mizoguch...
CORR
2006
Springer
86views Education» more  CORR 2006»
15 years 6 months ago
Semantic results for ontic and epistemic change
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
Hans P. van Ditmarsch, Barteld P. Kooi
AMSTERDAM
2009
15 years 4 months ago
Cumulative Readings of Every Do Not Provide Evidence for Events and Thematic Roles
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
Lucas Champollion
FUIN
2007
130views more  FUIN 2007»
15 years 6 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
EEMMAS
2007
Springer
16 years 15 days ago
Environment Support to the Management of Context Awareness Information
Abstract. Collaborative Ubiquitous Environments (CUEs) are environments supporting collaboration among persons in a ubiquitous computing setting. This paper shows how results of th...
Marco P. Locatelli, Giuseppe Vizzari