Research output per year
Research output per year
Fingerprint
Dive into the research topics where Nina Gierasimczuk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Publications
-
Learning by Intervention in Simple Causal Domains
Thoft, K. B. P. & Gierasimczuk, N., 2024, Proceedings of the 5th International Workshop of Dynamic Logic. New Trends and Applications: DaLí 2023. Springer, Vol. 14401. p. 104-118Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Learning to Act and Observe in Partially Observable Domains
Bolander, T., Gierasimczuk, N. & Occhipinti Liberman, A., 2024, Dick de Jongh on Intuitionistic and Provability Logics . Springer, Vol. 28. p. 303-351 (Outstanding Contributions to Logic, Vol. 28).Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review
-
Convexity and Monotonicity in Language Coordination: Simulating the Emergence of Semantic Universals in Populations of Cognitive Agents
Gierasimczuk, N., Kalociński, D., Rakowski, F. & Uszyński, J., 2023, In: Journal of Logic, Language and Information. 32, p. 569–600Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile46 Downloads (Orbit) -
Inductive Inference and Epistemic Modal Logic
Gierasimczuk, N., 2023, Proceedings of the 31st EACSL Annual Conference on Computer Science Logic. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 252. 16 p. 2Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open AccessFile38 Downloads (Orbit) -
A dynamic logic for learning theory
Baltag, A., Gierasimczuk, N., Ozgun, A., Sandoval, A. L. V. & Smets, S., 2019, In: Journal of Logic and Algebraic Programming. 109, 20 p., 100485.Research output: Contribution to journal › Journal article › Research › peer-review
-
Logical Approaches to Dynamical Structures in AI
Thoft, K. B. P. (PhD Student), Gierasimczuk, N. (Main Supervisor) & Rotenberg, E. (Supervisor)
01/09/2021 → 05/10/2025
Project: PhD
-
Formally Correct Deduction Methods for Computational Logic
From, A. H. (PhD Student), Paulson, L. C. (Examiner), Villadsen, J. (Main Supervisor), Gierasimczuk, N. (Supervisor) & Braüner, T. (Examiner)
01/02/2020 → 14/06/2023
Project: PhD
-
Action Model Learning for Multi-agent Systems
Occhipinti Liberman, A. (PhD Student), Herzig, A. (Examiner), Smets, S. (Examiner), Lluch Lafuente, A. (Examiner), Bolander, T. (Main Supervisor) & Gierasimczuk, N. (Supervisor)
Technical University of Denmark
01/02/2017 → 09/12/2020
Project: PhD
-
Hospital Staff Planning with Multi-Agent Goals
Larsen, J. B. (PhD Student), Villadsen, J. (Main Supervisor), Carstens, N. (Supervisor), Holst, C. K. (Supervisor), Gierasimczuk, N. (Examiner), Rosendahl, M. (Examiner) & Dix, J. (Examiner)
01/09/2016 → 11/12/2019
Project: PhD