Sciweavers

1514 search results - page 42 / 303
» Cues to Common Knowledge
Sort
View
ACL
2007
13 years 10 months ago
Semantic Class Induction and Coreference Resolution
This paper examines whether a learningbased coreference resolver can be improved using semantic class knowledge that is automatically acquired from a version of the Penn Treebank ...
Vincent Ng
SYNTHESE
2008
99views more  SYNTHESE 2008»
13 years 9 months ago
Public and private communication are different: results on relative expressivity
Dynamic Epistemic Logic (DEL) is the study of how to reason about knowledge, belief, and communication. This paper studies the relative expressivity of certain fragments of the DE...
Bryan Renne
ATAL
2008
Springer
13 years 11 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
PROLAMAT
1998
13 years 10 months ago
Design Knowledge Collection by Modeling
Since design is a process in which designers use various kinds of knowledge and it is an open-ended problem, it is difficult to prepare all necessary knowledge before design. Also...
Masaharu Yoshioka, T. Sekiya, Tetsuo Tomiyama
LFCS
2007
Springer
14 years 3 months ago
Total Public Announcements
We present a dynamic epistemic logic for knowledge change of rational agents. Existing approaches only deal with partial public announcements, that means an announcement may lead ...
David Steiner, Thomas Studer