Jan van Eijck - RankMe

67 papers A* 2A 4B 9C 1Journal 28Unranked 14

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	Public Announcements, Public Lies and Recoveries. J. Log. Lang. Inf. Kai Li, Jan van Eijck
2019	J	`jnl`	A temporal dynamic deontic logic. J. Log. Comput. Fengkui Ju, Jan van Eijck
2018	J	`jnl`	Symbolic model checking for Dynamic Epistemic Logic - S5 and beyond. J. Log. Comput. Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2017	B	`conf`	Conditional Belief, Knowledge and Probability. TARK Jan van Eijck, Kai Li
2017	J	`jnl`	Epistemic protocols for dynamic gossip. J. Appl. Log. Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
2017	—	`conf`	Knowing Values and Public Inspection. ICLA Jan van Eijck, Malvin Gattinger, Yanjing Wang
2016	J	`jnl`	Knowing Values and Public Inspection. CoRR Jan van Eijck, Malvin Gattinger, Yanjing Wang
2016	—	`conf`	To Do Something Else. DEON Fengkui Ju, Jan van Eijck
2016	B	`conf`	Update, Probability, Knowledge and Belief. Advances in Modal Logic Jan van Eijck, Bryan Renne
2015	J	`jnl`	Dynamic Gossip. CoRR Hans van Ditmarsch, Jan van Eijck, Pere Pardo, Rahim Ramezanian, François Schwarzentruber
2015	A	`conf`	Elements of Epistemic Crypto Logic. AAMAS Jan van Eijck, Malvin Gattinger
2015	—	`ch.`	Strategies in Social Software. Models of Strategic Reasoning Jan van Eijck
2015	—	`conf`	Symbolic Model Checking for Dynamic Epistemic Logic. LORI Johan van Benthem, Jan van Eijck, Malvin Gattinger, Kaile Su
2015	J	`jnl`	Understanding information update in questionnaires. Sci. Comput. Program. Jan van Eijck, Tijs van der Storm
2014	J	`jnl`	Belief as Willingness to Bet. CoRR Jan van Eijck, Bryan Renne
2014	—	`ch.`	Dynamic Epistemic Logics. Johan van Benthem on Logic and Information Dynamics Jan van Eijck
2014	B	`conf`	Epistemic Probability Logic Simplified. Advances in Modal Logic Jan van Eijck, François Schwarzentruber
2013	J	`jnl`	Action Emulation between Canonical Models. J. Philos. Log. Floor Sietsma, Jan van Eijck
2013	B	`conf`	PDL as a Multi-Agent Strategy Logic. TARK Jan van Eijck
2013	J	`jnl`	PDL as a Multi-Agent Strategy Logic. CoRR Jan van Eijck
2012	J	`jnl`	Action emulation. Synth. Jan van Eijck, Ji Ruan, Tomasz Sadzik
2012	—	`book`	Games, Actions and Social Software - Multidisciplinary Aspects Games, Actions and Social Software Jan van Eijck, Rineke Verbrugge
2012	—	`conf`	Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. PAAMS (Special Sessions) Hans van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano
2012	—	`ch.`	On the Logic of Lying. Games, Actions and Social Software Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, Yanjing Wang
2012	—	`ch.`	Perception and Change in Update Logic. Games, Actions and Social Software Jan van Eijck
2012	—	`ch.`	Time Discounting and Time Consistency. Games, Actions and Social Software Nicola Dimitri, Jan van Eijck
2011	—	`conf`	A Geometric Look at Manipulation. CLIMA Jan van Eijck
2011	J	`jnl`	Composing models. J. Appl. Non Class. Logics Jan van Eijck, Floor Sietsma, Yanjing Wang
2011	J	`jnl`	Knowledge and Interaction in Social and Economic Networks. ERCIM News Jan van Eijck, Floor Sietsma
2011	B	`conf`	Message passing in a dynamic epistemic logic setting. TARK Floor Sietsma, Jan van Eijck
2011	A	`conf`	Message-generated Kripke semantics. AAMAS Jan van Eijck, Floor Sietsma
2011	—	`conf`	Reflections on Vote Manipulation. LORI Jan van Eijck, Floor Sietsma, Sunil Simon
2010	—	`book`	Computational Semantics with Functional Programming. Jan van Eijck, Christina Unger
2010	—	`conf`	Logic of Information Flow on Communication Channels. DALT Yanjing Wang, Floor Sietsma, Jan van Eijck
2010	A	`conf`	Logic of information flow on communication channels. AAMAS Yanjing Wang, Floor Sietsma, Jan van Eijck
2010	A*	`conf`	One Hundred Prisoners and a Lightbulb - Logic and Computation. KR Hans van Ditmarsch, Jan van Eijck, William Wu
2010	J	`jnl`	The language of social software. Synth. Jan van Eijck
2010	J	`jnl`	Verifying one hundred prisoners and a lightbulb. J. Appl. Non Class. Logics Hans van Ditmarsch, Jan van Eijck, William Wu
2009	B	`conf`	Verifying epistemic protocols under common knowledge. TARK Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck
2008	—	`conf`	Multi-agent Belief Revision with Linked Preferences. LOFT Jan van Eijck, Floor Sietsma
2008	C	`conf`	Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC Jan van Eijck, Yanjing Wang
2008	J	`jnl`	Sequentially Indexed Grammars. J. Log. Comput. Jan van Eijck
2006	—	`conf`	Epistemic Verification of Anonymity. VODCA@FOSAD Jan van Eijck, Simona Orzan
2006	J	`jnl`	Logics of communication and change. Inf. Comput. Johan van Benthem, Jan van Eijck, Barteld P. Kooi
2006	—	`ch.`	The gamut of dynamic logics. Logic and the Modalities in the Twentieth Century Jan van Eijck, Martin Stokhof
2005	B	`conf`	Common knowledge in update logics. TARK Johan van Benthem, Jan van Eijck, Barteld P. Kooi
2005	—	`conf`	Natural Logic for Natural Language. TbiLLC Jan van Eijck
2005	J	`jnl`	Normal Forms for Characteristic Functions on n-ary Relations. J. Log. Comput. Jan van Eijck
2001	B	`conf`	Constrained Hyper Tableaux. CSL Jan van Eijck
2001	J	`jnl`	Incremental Dynamics. J. Log. Lang. Inf. Jan van Eijck
2001	—	`conf`	Reference Resolution in Context. CLIN Jan van Eijck
2001	J	`jnl`	Tableau Reasoning and Programming with Dynamic First Order Logic. Log. J. IGPL Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
2000	J	`jnl`	Making Things Happen. Stud Logica Jan van Eijck
2000	J	`jnl`	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. Jan van Eijck
2000	—	`conf`	Theorem Proving and Programming with Dynamic First Order Logic. WFLP Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin
1999	—	`conf`	On the proper treatment of context in NL. CLIN Jan van Eijck
1997	—	`ch.`	Representing Discourse in Context. Handbook of Logic and Language Jan van Eijck, Hans Kamp
1997	J	`jnl`	Typed Logics With States. Log. J. IGPL Jan van Eijck
1995	J	`jnl`	Reasoning about update logic. J. Philos. Log. Jan van Eijck, Fer-Jan de Vries
1994	J	`jnl`	Modal Logic, Transition Systems and Processes. J. Log. Comput. Johan van Benthem, Jan van Eijck, Vera Stebletsova
1994	J	`jnl`	Presupposition Failure-A Comedy of Errors. Formal Aspects Comput. Jan van Eijck
1993	A	`conf`	A Strategy for Dynamic Interpretation: a Fragment and an Implementation. EACL Olivier Bouchez, Jan van Eijck, Olivier Istace
1993	J	`jnl`	The Dynamics of Description. J. Semant. Jan van Eijck
1992	J	`jnl`	Dynamic Interpretation and Hoare Deduction. J. Log. Lang. Inf. Jan van Eijck, Fer-Jan de Vries
1991	B	`ed.`	Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings JELIA Jan van Eijck
1989	A*	`conf`	Logical Forms in the Core Language Engine. ACL Hiyan Alshawi, Jan van Eijck
1988	—	`conf`	Overview of the Core Language Engine. FGCS Hiyan Alshawi, David M. Carter, Jan van Eijck, Robert C. Moore, Douglas B. Moran, Stephen G. Pulman