Sciweavers

3733 search results - page 19 / 747
» Logics of communication and change
Sort
View
CORR
2002
Springer
98views Education» more  CORR 2002»
13 years 9 months ago
Two Representations for Iterative Non-prioritized Change
We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms...
Alexander Bochman
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 10 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
ELPUB
1998
ACM
14 years 2 months ago
Evolving Ecological Niches: Technological Change and the Transformation of the Libraries Role in Publishing
Print has been the most significant scholarly communication technology for the last three hundred years (at least). Kaufer and Carley’s Ecology of Communicative Transactions ana...
Andrew E. Treloar
ATAL
2005
Springer
14 years 3 months ago
A logic of reasoning, communication and cooperation with syntactic knowledge
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
Thomas Ågotnes, Michal Walicki