Personal information

Emails & domains

Verified email addresses

Verified email domains

Websites & social links

Personal website

Other IDs

Scopus Author ID: 23392666500

Keywords

Logic, Mathematical Logic, Artificial Intelligence, Formal Epistemology, Cognitive Science, Computational Learning Theory

Countries

Denmark

Activities

Collapse all

Employment (6)

Technical University of Denmark: Kongens Lyngby, Hovedstaden, DK

2018-05-01 to present | Associate Professor (DTU Compute)
Employment
Source: Self-asserted source
Nina Gierasimczuk

Technical University of Denmark: Kongens Lyngby, Hovedstaden, DK

2016-01-01 to 2018-04-30 | Assistant Professor (Applied Mathematics and Computer Science)
Employment
Source: Self-asserted source
Nina Gierasimczuk

Universiteit van Amsterdam: Amsterdam, Noord-Holland, NL

2012-01-01 to 2015-12-31 | Postdoc (Insititute for Logic, Language and Computation)
Employment
Source: Self-asserted source
Nina Gierasimczuk

Rijksuniversiteit Groningen: Groningen, Groningen, NL

2011-01-01 to 2011-12-31 | Postdoc (Artificial Intelligence)
Employment
Source: Self-asserted source
Nina Gierasimczuk

Universiteit van Amsterdam: Amsterdam, Noord-Holland, NL

2010-05-01 to 2010-12-31 | Postdoc (Psychology)
Employment
Source: Self-asserted source
Nina Gierasimczuk

Amsterdam University College: Amsterdam, NL

2009-09-01 to 2010-05-30 | Lecturer
Employment
Source: Self-asserted source
Nina Gierasimczuk

Education and qualifications (2)

Universiteit van Amsterdam: Amsterdam, Noord-Holland, NL

2006-12-01 to 2010-12-17 | Ph.D. (Institute for Logic, Language and Computation)
Education
Source: Self-asserted source
Nina Gierasimczuk

University of Warsaw: Warsaw, PL

2000-10-01 to 2005-06-24 | MA (Philosophy)
Education
Source: Self-asserted source
Nina Gierasimczuk

Professional activities (4)

Steering Committee of DaLí: Dynamic Logic – New trends and applications: Amsterdam, NL

2023-09-01 to present
Service
Source: Self-asserted source
Nina Gierasimczuk

Scandinavian Logic Society: Stockholm, SE

2021-09-01 to present | International Relations Officer
Service
Source: Self-asserted source
Nina Gierasimczuk

The Association for Logic, Language and Information: Amsterdam, NL

2018-09-01 to present | Treasurer
Service
Source: Self-asserted source
Nina Gierasimczuk

Universiteit van Amsterdam Institute for Logic Language and Computation: Amsterdam, North Holland, NL

2020-01-01 to 2021-01-01 | Guest Researcher
Invited position
Source: Self-asserted source
Nina Gierasimczuk

Funding (2)

Social models of semantics learning. Acquisition and Evolution of Quantifier Meaning

2016-09 to 2019-09 | Grant
Narodowe Centrum Nauki (Krakow, Poland, PL)
GRANT_NUMBER: 2015/19/B/HS1/03292
Source: Self-asserted source
Nina Gierasimczuk

Learning from each other. Formal analysis of multi-agent learning

2014-01-01 to 2016-12-31 | Grant
Netherlands Organisation for Scientific Research (n/a, NL)
URL: https://grants.uberresearch.com/501100003246/275-20-043/Learning-from-each-other-Formal-analysis-of-multi-agent-learning
GRANT_NUMBER: grant.275-20-043
Source: Self-asserted source
Nina Gierasimczuk via DimensionsWizard

Works (37)

Learning by Intervention in Simple Causal Domains

2024 | Book chapter
DOI: 10.1007/978-3-031-51777-8_7
Contributors: Katrine Bjørn Pedersen Thoft; Nina Gierasimczuk
Source: check_circle
Crossref

Inductive Inference and Epistemic Modal Logic

Computer Science Logic, Warsaw 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2023 | Conference paper
DOI: 10.4230/LIPICS.CSL.2023.2
Contributors: Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk
grade
Preferred source (of 2)‎

Learning by Intervention in Simple Causal Domains

DaLí: Dynamic Logic – New trends and applications, Tbilisi, Georgia; September 15-16, 2023
2023 | Conference paper
Contributors: Nina Gierasimczuk; Katrine Bjørn Pedersen Thoft
Source: Self-asserted source
Nina Gierasimczuk

Logical Explanations for Neural Networks assisted by Neuroevolution

14th Tbilisi Symposium on Logic, Language and Computation (TbiLLC 2023)
2023 | Conference paper
Contributors: Nina Gierasimczuk; Abhista Partal Balasubramaniam
Source: Self-asserted source
Nina Gierasimczuk

Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents

Journal of Logic, Language and Information
2023-10 | Journal article
DOI: 10.1007/s10849-023-09401-5
Contributors: Nina Gierasimczuk; Dariusz Kalociński; Franciszek Rakowski; Jakub Uszyński
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Cognitive Bias and Belief Revision

Theoretical Aspects of Rationality and Knowledge (TARK), Oxford 2023, Electronic Proceedings in Theoretical Computer Science
2023-07-11 | Conference paper
DOI: 10.4204/eptcs.379.34
Part of ISSN: 2075-2180
Contributors: Panagiotis Papadamos; Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk

Learning to act and observe in partially observable domains

arXiv
2021 | Other
EID:

2-s2.0-85115848004

Part of ISSN: 23318422
Contributors: Bolander, T.; Gierasimczuk, N.; Liberman, A.O.
Source: Self-asserted source
Nina Gierasimczuk via Scopus - Elsevier
grade
Preferred source (of 3)‎

Learning and Modal Logic: There and Back Again

13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020
2020 | Conference paper
URI:

http://www.aiml.net/volumes/volume13/Gierasimczuk.pdf
Contributors: Nina Gierasimczuk; Nicola Olivetti and Rineke Verbrugge and Sara Negri and Gabriel Sandu
Source: Self-asserted source
Nina Gierasimczuk

A dynamic logic for learning theory

Journal of Logical and Algebraic Methods in Programming
2019 | Journal article
DOI: 10.1016/j.jlamp.2019.100485
EID:

2-s2.0-85081573205

Part of ISBN:

23522216
Contributors: Baltag, A.; Gierasimczuk, N.; Özgün, A.; Vargas Sandoval, A.L.; Smets, S.
Source: Self-asserted source
Nina Gierasimczuk via Scopus - Elsevier
grade
Preferred source (of 2)‎

Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective

Proceedings of the 41th Annual Meeting of the Cognitive Science Society, CogSci 2019: Creativity + Cognition + Computation, Montreal, Canada, July 24-27, 2019
2019 | Conference paper
URI:

https://mindmodeling.org/cogsci2019/papers/0678/index.html
Contributors: Katrine Thoft and Nina Gierasimczuk; Ashok K. Goel and Colleen M. Seifert and Christian Freksa
Source: Self-asserted source
Nina Gierasimczuk

Introduction

Fundamenta Informaticae
2019 | Journal article
DOI: 10.3233/FI-2019-1769
EID:

2-s2.0-85062009035

Part of ISBN:

01692968
Contributors: Gierasimczuk, N.; Szymanik, J.
Source: Self-asserted source
Nina Gierasimczuk via Scopus - Elsevier
grade
Preferred source (of 3)‎

A Dynamic Logic for Learning Theory

Dynamic Logic. New Trends and Applications
2018 | Other
DOI: 10.1007/978-3-319-73579-5_3
Part of ISBN: 9783319735788
Part of ISSN: 0302-9743
Contributors: Alexandru Baltag; Nina Gierasimczuk; Aybüke Özgün; Ana Lucia Vargas Sandoval; Sonja Smets
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

Interactive Semantic Alignment Model: Social Influence and Local Transmission Bottleneck

Journal of Logic, Language and Information
2018 | Journal article
DOI: 10.1007/s10849-018-9267-5
EID:

2-s2.0-85045056518
Contributors: Kalociński, D.; Mostowski, M.; Gierasimczuk, N.
Source: Self-asserted source
Nina Gierasimczuk via Scopus - Elsevier
grade
Preferred source (of 2)‎

Learning to Act: Qualitative Learning of Deterministic Action Models

Journal of Logic and Computation
2018 | Journal article
DOI: 10.1093/logcom/exx036
Source: Self-asserted source
Nina Gierasimczuk
grade
Preferred source (of 3)‎

Truth-Tracking by Belief Revision

Studia Logica
2018 | Journal article
DOI: 10.1007/s11225-018-9812-x
Source: Self-asserted source
Nina Gierasimczuk
grade
Preferred source (of 4)‎

On the Solvability of Inductive Problems: A Study in Epistemic Topology

Electronic Proceedings in Theoretical Computer Science
2016-06 | Journal article
DOI: 10.4204/eptcs.215.7
Part of ISSN: 2075-2180
Contributors: Alexandru Baltag; Nina Gierasimczuk; Sonja Smets
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

Collective Learning in Games through Social Networks

CEUR Workshop Proceedings
2015 | Journal article
WOSUID: WOS:000382325200008
Contributors: Kosterman, Sanne; Gierasimczuk, Nina
Source: check_circle
Web of Science Researcher Profile Sync

Learning Actions Models: Qualitative Approach

Logic, Rationality, and Interaction
2015 | Other
DOI: 10.1007/978-3-662-48561-3_4
Part of ISBN: 9783662485606
Part of ISSN: 0302-9743
Contributors: Thomas Bolander; Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

Learning in the limit, general topology, and modal logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
DOI: 10.1007/978-3-662-47709-0_1
EID:

2-s2.0-84947087343
Contributors: Gierasimczuk, N.
Source: Self-asserted source
Nina Gierasimczuk via Scopus - Elsevier

Quantifier Learning: An Agent-based Coordination Model

International Conference on Autonomous Agents and Multiagent Systems
2015 | Conference paper
WOSUID: WOS:000461455000279
Contributors: Kalocinski, Dariusz; Gierasimczuk, Nina; Mostowski, Marcin
Source: check_circle
Web of Science Researcher Profile Sync

Book Review: Neil Tennant, Changes of Mind: An Essay on Rational Belief Revision

Studia Logica
2015-02 | Journal article
DOI: 10.1007/s11225-015-9608-1
Part of ISSN: 0039-3215
Contributors: Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 2)‎

Logic and Learning

Johan van Benthem on Logic and Information Dynamics
2014 | Other
DOI: 10.1007/978-3-319-06025-5_10
Part of ISBN: 9783319060248
Part of ISSN: 2211-2758
Contributors: Nina Gierasimczuk; Vincent F. Hendricks; Dick de Jongh
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

An Analytic Tableaux Model for Deductive Mastermind Empirically Tested with a Massively Used Online Learning System

Journal of Logic, Language and Information
2013-07 | Journal article
DOI: 10.1007/s10849-013-9177-5
Part of ISSN: 0925-8531
Contributors: Nina Gierasimczuk; Han L. J. van der Maas; Maartje E. J. Raijmakers
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

Logical and psychological analysis of deductive mastermind

CEUR Workshop Proceedings
2012 | Conference paper
EID:

2-s2.0-84893336586
Contributors: Gierasimczuk, N.; Van Der Maas, H.; Raijmakers, M.
Source: Self-asserted source
Nina Gierasimczuk via Scopus - Elsevier

On the Complexity of Conclusive Update

The Computer Journal
2012-05 | Journal article
DOI: 10.1093/comjnl/bxs059
Part of ISSN: 0010-4620
Contributors: N. Gierasimczuk; D. de Jongh
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

A note on a generalization of the Muddy Children puzzle

Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII
2011 | Conference paper
DOI: 10.1145/2000378.2000409
Part of ISBN: 9781450307079
Contributors: Nina Gierasimczuk; Jakub Szymanik
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 2)‎

Belief revision as a truth-tracking process

Proceedings of hte 13th Conference on Theoretical Aspects of Rationality and Knowledge - TARK XIII
2011 | Conference paper
DOI: 10.1145/2000378.2000400
Part of ISBN: 9781450307079
Contributors: Alexandru Baltag; Nina Gierasimczuk; Sonja Smets
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 2)‎

Finite identification from the viewpoint of epistemic update

Information and Computation
2011 | Journal article
DOI: 10.1016/j.ic.2010.08.002
WOSUID:

WOS:000287382300010
Contributors: Degremont, Cedric; Gierasimczuk, Nina
Source: Self-asserted source
Nina Gierasimczuk via ResearcherID
grade
Preferred source (of 4)‎

Invariance Properties of Quantifiers and Multiagent Information Exchange

The Mathematics of Language
2011 | Other
DOI: 10.1007/978-3-642-23211-4_5
Part of ISBN: 9783642232107
Part of ISSN: 0302-9743
Contributors: Nina Gierasimczuk; Jakub Szymanik
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 2)‎

Branching Quantification v. Two-way Quantification

Journal of Semantics
2009 | Journal article
DOI: 10.1093/jos/ffp008
WOSUID:

WOS:000272082900002
Contributors: Gierasimczuk, Nina; Szymanik, Jakub
Source: Self-asserted source
Nina Gierasimczuk via ResearcherID
grade
Preferred source (of 4)‎

Bridging learning theory and dynamic epistemic logic

Synthese
2009 | Journal article
DOI: 10.1007/s11229-009-9549-1
WOSUID:

WOS:000266827500009
Contributors: Gierasimczuk, Nina
Source: Self-asserted source
Nina Gierasimczuk via ResearcherID
grade
Preferred source (of 4)‎

Can Doxastic Agents Learn? On the Temporal Structure of Learning

Logic, Rationality, and Interaction
2009 | Other
DOI: 10.1007/978-3-642-04893-7_8
Part of ISBN: 9783642048920
Part of ISSN: 0302-9743
Contributors: Cédric Dégremont; Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

Games for Learning a sabotage approach

CEUR Workshop Proceedings
2009 | Conference paper
EID:

2-s2.0-84885197286
Contributors: Gierasimczuk, N.; Kurzen, L.; Veĺazquez-Quesada, F.R.
Source: Self-asserted source
Nina Gierasimczuk via Scopus - Elsevier

Identification through Inductive Verification

Logic, Language, and Computation
2009 | Other
DOI: 10.1007/978-3-642-00665-4_16
Part of ISBN: 9783642006647
Part of ISSN: 0302-9743
Contributors: Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search

Learning and Teaching as a Game: A Sabotage Approach

Logic, Rationality, and Interaction
2009 | Other
DOI: 10.1007/978-3-642-04893-7_10
Part of ISBN: 9783642048920
Part of ISSN: 0302-9743
Contributors: Nina Gierasimczuk; Lena Kurzen; Fernando R. Velázquez-Quesada
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 2)‎

Learning by Erasing in Dynamic Epistemic Logic

Language and Automata Theory and Applications
2009 | Other
DOI: 10.1007/978-3-642-00982-2_31
Part of ISBN: 9783642009815
Part of ISSN: 0302-9743
Contributors: Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 3)‎

The Problem of Learning the Semantics of Quantifiers

Logic, Language, and Computation
2007 | Other
DOI: 10.1007/978-3-540-75144-1_9
Part of ISBN: 9783540751434
Part of ISSN: 0302-9743
Contributors: Nina Gierasimczuk
Source: Self-asserted source
Nina Gierasimczuk via Crossref Metadata Search
grade
Preferred source (of 2)‎
How many people are using ORCID?