|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1 occurrences of 1 keywords
|
|
|
|
|
Results
Found 37 publication records. Showing 37 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hans P. van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano |
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO.  |
PAAMS (Special Sessions)  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Floor Sietsma, Yanjing Wang |
Composing models. |
Journal of Applied Non-Classical Logics |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck, Floor Sietsma |
Knowledge and Interaction in Social and Economic Networks. |
ERCIM News |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck, Floor Sietsma, Sunil Simon |
Reflections on Vote Manipulation. |
LORI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
A Geometric Look at Manipulation. |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Floor Sietsma |
Message-generated Kripke semantics. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Floor Sietsma, Jan van Eijck |
Message passing in a dynamic epistemic logic setting. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Jan van Eijck, William Wu |
Verifying one hundred prisoners and a lightbulb. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck |
The language of social software. |
Synthese |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang, Floor Sietsma, Jan van Eijck |
Logic of Information Flow on Communication Channels. |
DALT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans P. van Ditmarsch, Jan van Eijck, William Wu |
One Hundred Prisoners and a Lightbulb - Logic and Computation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yanjing Wang, Floor Sietsma, Jan van Eijck |
Logic of information flow on communication channels. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck |
Verifying epistemic protocols under common knowledge. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Sequentially Indexed Grammars. |
J. Log. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Yanjing Wang |
Propositional Dynamic Logic as a Logic of Belief Revision. |
WoLLIC |
2008 |
DBLP DOI BibTeX RDF |
PDL, epistemic dynamic logic, knowledge update, belief revision |
| 1 | Jan van Eijck, Floor Sietsma |
Multi-agent Belief Revision with Linked Preferences. |
LOFT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Simona Orzan |
Epistemic Verification of Anonymity. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Jan van Eijck, Barteld P. Kooi |
Logics of communication and change. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Normal Forms for Characteristic Functions on n-ary Relations. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Natural Logic for Natural Language. |
TbiLLC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Jan van Eijck, Barteld P. Kooi |
Common knowledge in update logics. |
TARK |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin |
Tableau Reasoning and Programming with Dynamic First Order Logic. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Incremental Dynamics. |
Journal of Logic, Language and Information |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Reference Resolution in Context. |
CLIN |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck |
Constrained Hyper Tableaux. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Review: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers - Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévi, and Enric Vallduví (Eds.), Studies in Logic, Language and Information series of CSLI Publications and FoLLI, Stanford, 1998, xxxi + 376 pages, ISBN 1-57586-098-8. |
Sci. Comput. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Making Things Happen. |
Studia Logica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin |
Theorem Proving and Programming with Dynamic First Order Logic. |
WFLP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck |
On the proper treatment of context in NL. |
CLIN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck |
Typed Logics With States. |
Logic Journal of the IGPL |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck |
Presupposition Failure-A Comedy of Errors. |
Formal Asp. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan van Benthem, Jan van Eijck, Vera Stebletsova |
Modal Logic, Transition Systems and Processes. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Bouchez, Jan van Eijck, Olivier Istace |
A Strategy for Dynamic Interpretation: a Fragment and an Implementation. |
EACL |
1993 |
DBLP BibTeX RDF |
|
| 1 | Jan van Eijck, Fer-Jan de Vries |
Dynamic Interpretation and Hoare Deduction. |
Journal of Logic, Language and Information |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan van Eijck (eds.) |
Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings |
JELIA |
1991 |
DBLP BibTeX RDF |
|
| 1 | Hiyan Alshawi, Jan van Eijck |
Logical Forms in the Core Language Engine. |
ACL |
1989 |
DBLP BibTeX RDF |
|
| 1 | Hiyan Alshawi, David M. Carter, Jan van Eijck, Robert C. Moore, Douglas B. Moran, Stephen G. Pulman |
Overview of the Core Language Engine. |
FGCS |
1988 |
DBLP BibTeX RDF |
|
Displaying result #1 - #37 of 37 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")