1328 search results - page 91 / 266 » Common Knowledge |
WRAC
2005
Springer
14 years 3 months ago
2005
Springer
A multiagent architecture for vehicle and structural health monitoring is proposed. A prototype using this architecture was developed using JADE. Critical aspects of the design wer...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
One of the current research on the Semantic Web area is semantic annotation of information sources. On-line lexical ontologies can be exploited as a-priori common knowledge to prov...
APAL
2010
13 years 9 months ago
2010
This paper provides a sound and complete proof system for a language Le+Y that adds to Dynamic Epistemic Logic (DEL) a discrete previous-time operator as well as single symbol for...
GAMESEC
2010
13 years 7 months ago
2010
Abstract. Even the most well-motivated models of information security have application limitations due to the inherent uncertainties involving risk. This paper exemplifies a formal...
SYNTHESE
2011
13 years 4 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...