The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Barteld Kooi Barteld P. Kooi ( http://dblp.L3S.de/Authors/Barteld_Kooi )

  Author page on DBLP  Author page in RDF  Community of Barteld Kooi in ASPL-2

Publication years (Num. hits)
2003-2007 (15) 2008-2013 (15) 2014-2019 (9)
Publication types (Num. hits)
article(23) book(1) incollection(1) inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 19 occurrences of 12 keywords

Results
Found 40 publication records. Showing 39 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Yanjun Li, Barteld Kooi, Yanjing Wang 0001 A dynamic epistemic framework for reasoning about conformant probabilistic plans. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer Arrow Update Synthesis. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi, Louwe B. Kuijer Arbitrary arrow update logic. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, Joseph B. W. Yeo Cheryl's Birthday. Search on Bibsonomy TARK The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Barteld Kooi The Ambiguity of Knowability. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Barteld Kooi One Hundred Prisoners and a Light Bulb. Search on Bibsonomy 2015   DOI  RDF
1Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld P. Kooi An Introduction to Logics of Knowledge and Belief. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Lorenz Demey, Barteld Kooi Logic and Probabilistic Update. Search on Bibsonomy Johan van Benthem on Logic and Information Dynamics The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Rajeev Goré, Barteld P. Kooi, Agi Kurucz (eds.) Advances in Modal Logic 10, invited and contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014 Search on Bibsonomy Advances in Modal Logic The full citation details ... 2014 DBLP  BibTeX  RDF
1Tim French 0002, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi On the succinctness of some modal logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Barteld P. Kooi, Allard M. Tamminga Three-valued Logics in Modal Logic. Search on Bibsonomy Studia Logica The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Local properties in modal logic. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Barteld P. Kooi, Allard M. Tamminga Completeness via Correspondence for Extensions of the Logic of Paradox. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic. Search on Bibsonomy CiE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Barteld Kooi, Bryan Renne Arrow Update Logic. Search on Bibsonomy Rev. Symb. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Barteld P. Kooi, Bryan Renne Generalized arrow update logic. Search on Bibsonomy TARK The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tim French 0002, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi Succinctness of Epistemic Languages. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Reasoning about local properties in modal logic. Search on Bibsonomy AAMAS The full citation details ... 2011 DBLP  BibTeX  RDF
1Johan van Benthem, Jelle Gerbrandy, Barteld P. Kooi Dynamic Update with Probabilities. Search on Bibsonomy Studia Logica The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Jeffrey’s rule, probability, update, dynamic epistemic logic
1Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge Strong Completeness and Limited Canonicity for PDL. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hans van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Knowing More - From Global to Local Correspondence. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Barteld P. Kooi, Allard M. Tamminga Moral Conflicts between Groups of Agents. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerard R. Renardel de Lavalette, Barteld P. Kooi, Rineke Verbrugge Strong Completeness and Limited Canonicity for PDL. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Canonical model, Model disharmony, Propositional dynamic logic, Strong completeness
1Allard M. Tamminga, Barteld P. Kooi Conditional Obligations in Strategic Situations. Search on Bibsonomy NORMAS The full citation details ... 2008 DBLP  BibTeX  RDF
1Barteld P. Kooi Expressivity and completeness for public update logics via reduction axioms. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Dynamic Epistemic Logic and Knowledge Puzzles. Search on Bibsonomy ICCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multiagent systems, belief revision, epistemic logic, dynamic epistemic logic
1Hans P. van Ditmarsch, Barteld P. Kooi The Secret of My Success. Search on Bibsonomy Synthese The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hans P. van Ditmarsch, Barteld P. Kooi The Secret of My Success. Search on Bibsonomy Synthese The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hans P. van Ditmarsch, Barteld P. Kooi Semantic results for ontic and epistemic change Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Barteld P. Kooi, Gerard R. Renardel de Lavalette, Rineke Verbrugge Hybrid Logics with Infinitary Proof Systems. Search on Bibsonomy J. Log. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johan van Benthem, Jan van Eijck, Barteld P. Kooi Logics of communication and change. Search on Bibsonomy Inf. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Barteld P. Kooi, Allard M. Tamminga Conflicting Obligations in Multi-agent Deontic Logic. Search on Bibsonomy DEON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Casper J. Albers, Barteld P. Kooi, Willem Schaafsma Trying to Resolve the Two-Envelope Problem. Search on Bibsonomy Synthese The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Barteld P. Kooi Yet Another Mastermind Strategy. Search on Bibsonomy ICGA Journal The full citation details ... 2005 DBLP  BibTeX  RDF
1Johan van Benthem, Jan van Eijck, Barteld P. Kooi Common knowledge in update logics. Search on Bibsonomy TARK The full citation details ... 2005 DBLP  BibTeX  RDF
1Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Dynamic epistemic logic with assignment. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF assignment, agent communication, dynamic epistemic logic
1Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Public Announcements and Belief Expansion. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2004 DBLP  BibTeX  RDF
1Barteld P. Kooi Probabilistic Dynamic Epistemic Logic. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2003 DBLP  DOI  BibTeX  RDF higher order information, probability, updates, epistemic logic, dynamic logic
1Hans P. van Ditmarsch, Wiebe van der Hoek, Barteld P. Kooi Concurrent dynamic epistemic logic for MAS. Search on Bibsonomy AAMAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrency, agent communication, dynamic epistemic logic
Displaying result #1 - #39 of 39 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license