Sciweavers

1514 search results - page 3 / 303
» Cues to Common Knowledge
Sort
View
CORR
2007
Springer
117views Education» more  CORR 2007»
13 years 5 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é...
NAACL
2001
13 years 7 months ago
Knowledge-Free Induction of Inflectional Morphologies
We propose an algorithm to automatically induce the morphology of inflectional languages using only text corpora and no human input. Our algorithm combines cues from orthography, ...
Patrick Schone, Daniel Jurafsky
TARK
2005
Springer
13 years 11 months ago
Common knowledge in update logics
Current dynamic epistemic logics often become cumbersome and opaque when common knowledge is added for groups of agents. Still, postconditions regarding common knowledge express t...
Johan van Benthem, Jan van Eijck, Barteld P. Kooi
ENTCS
2010
92views more  ENTCS 2010»
13 years 5 months ago
Two Ways to Common Knowledge
It is not clear what a system for evidence-based common knowledge should look like if common knowledge is treated as a greatest fixed point. This paper is a preliminary step towar...
Samuel Bucheli, Roman Kuznets, Thomas Studer
SPATIALCOGNITION
1998
Springer
13 years 9 months ago
Human Place Learning in a Computer Generated Arena
We describe the development of a computer-generated arena within which one can study human place learning by asking subjects to locate an invisible target. A series of studies demo...
L. Nadel, K. G. F. Thomas, H. E. Laurance, R. Skel...