default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNina Gierasimczuk
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[e2]Nina Gierasimczuk
, Fernando R. Velázquez-Quesada:
Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. Lecture Notes in Computer Science 14401, Springer 2024, ISBN 978-3-031-51776-1 [contents]- [e1]Nina Gierasimczuk, Jesse Heyninck:
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024. CEUR Workshop Proceedings 3835, CEUR-WS.org 2024 [contents] - 2023
- [j11]Nina Gierasimczuk, Dariusz Kalocinski, Franciszek Rakowski, Jakub Uszynski:
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents. J. Log. Lang. Inf. 32(4): 569-600 (2023) - [c20]Nina Gierasimczuk:
Inductive Inference and Epistemic Modal Logic (Invited Talk). CSL 2023: 2:1-2:16 - [c19]Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk:
Learning by Intervention in Simple Causal Domains. DaLí 2023: 104-118 - [c18]Panagiotis Papadamos, Nina Gierasimczuk:
Cognitive Bias and Belief Revision. TARK 2023: 441-454 - 2021
- [i2]Thomas Bolander, Nina Gierasimczuk, Andrés Occhipinti Liberman:
Learning to Act and Observe in Partially Observable Domains. CoRR abs/2109.06076 (2021) - 2020
- [c17]Nina Gierasimczuk:
Learning and Modal Logic: There and Back Again. AiML 2020: 9
2010 – 2019
- 2019
- [j10]Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets:
A dynamic logic for learning theory. J. Log. Algebraic Methods Program. 109 (2019) - [j9]Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
Truth-Tracking by Belief Revision. Stud Logica 107(5): 917-947 (2019) - [c16]Katrine Bjørn Pedersen Thoft, Nina Gierasimczuk:
Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective. CogSci 2019: 3370 - 2018
- [j8]Dariusz Kalocinski, Marcin Mostowski, Nina Gierasimczuk:
Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck. J. Log. Lang. Inf. 27(3): 225-253 (2018) - [j7]Thomas Bolander, Nina Gierasimczuk:
Learning to act: qualitative learning of deterministic action models. J. Log. Comput. 28(2): 337-365 (2018) - 2017
- [c15]Alexandru Baltag, Nina Gierasimczuk, Aybüke Özgün, Ana Lucia Vargas Sandoval, Sonja Smets:
A Dynamic Logic for Learning Theory. DALI@TABLEAUX 2017: 35-54 - 2015
- [j6]Nina Gierasimczuk:
Book Review: Neil Tennant, Changes of Mind: An Essay on Rational Belief Revision. Stud Logica 103(1): 227-231 (2015) - [c14]Dariusz Kalocinski, Nina Gierasimczuk, Marcin Mostowski:
Quantifier Learning: An Agent-based Coordination Model. AAMAS 2015: 1853-1854 - [c13]Sanne Kosterman, Nina Gierasimczuk:
Collective Learning in Games through Social Networks. SocInf@IJCAI 2015: 35-41 - [c12]Thomas Bolander, Nina Gierasimczuk:
Learning Actions Models: Qualitative Approach. LORI 2015: 40-52 - [c11]Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
On the Solvability of Inductive Problems: A Study in Epistemic Topology. TARK 2015: 81-98 - [i1]Thomas Bolander, Nina Gierasimczuk:
Learning Action Models: Qualitative Approach. CoRR abs/1507.04285 (2015) - 2014
- [p1]Nina Gierasimczuk, Vincent F. Hendricks, Dick de Jongh:
Logic and Learning. Johan van Benthem on Logic and Information Dynamics 2014: 267-288 - 2013
- [j5]Nina Gierasimczuk, Dick de Jongh:
On the Complexity of Conclusive Update. Comput. J. 56(3): 365-377 (2013) - [j4]Nina Gierasimczuk, Han L. J. van der Maas, Maartje E. J. Raijmakers:
An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System. J. Log. Lang. Inf. 22(3): 297-314 (2013) - 2012
- [c10]Nina Gierasimczuk, Han L. J. van der Maas, Maartje E. J. Raijmakers:
Logical and psychological analysis of deductive mastermind. ESSLLI Logic & Cognition Workshop 2012: 1-13 - 2011
- [j3]Cédric Dégremont, Nina Gierasimczuk:
Finite identification from the viewpoint of epistemic update. Inf. Comput. 209(3): 383-396 (2011) - [c9]Nina Gierasimczuk, Jakub Szymanik:
Invariance Properties of Quantifiers and Multiagent Information Exchange. MOL 2011: 72-89 - [c8]Alexandru Baltag, Nina Gierasimczuk, Sonja Smets:
Belief revision as a truth-tracking process. TARK 2011: 187-190 - [c7]Nina Gierasimczuk, Jakub Szymanik:
A note on a generalization of the Muddy Children puzzle. TARK 2011: 257-264
2000 – 2009
- 2009
- [j2]Nina Gierasimczuk, Jakub Szymanik:
Branching Quantification v. Two-way Quantification. J. Semant. 26(4): 367-392 (2009) - [j1]Nina Gierasimczuk:
Bridging learning theory and dynamic epistemic logic. Synth. 169(2): 371-384 (2009) - [c6]Nina Gierasimczuk:
Learning by Erasing in Dynamic Epistemic Logic. LATA 2009: 362-373 - [c5]Cédric Dégremont, Nina Gierasimczuk:
Can Doxastic Agents Learn? On the Temporal Structure of Learning. LORI 2009: 90-104 - [c4]Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada:
Learning and Teaching as a Game: A Sabotage Approach. LORI 2009: 119-132 - [c3]Nina Gierasimczuk, Lena Kurzen, Fernando R. Velázquez-Quesada:
Games for Learning: A Sabotage Approach. MALLOW 2009 - 2007
- [c2]Nina Gierasimczuk:
Identification through Inductive Verification. TbiLLC 2007: 193-205 - 2005
- [c1]Nina Gierasimczuk:
The Problem of Learning the Semantics of Quantifiers. TbiLLC 2005: 117-126
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-05 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
