1 |
A logical model for the ontology alignment repair game
|
|
|
|
In: ISSN: 1387-2532 ; EISSN: 1573-7454 ; Autonomous Agents and Multi-Agent Systems ; https://hal.archives-ouvertes.fr/hal-03426142 ; Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2021, 35 (2), pp.1-32. ⟨10.1007/s10458-021-09508-8⟩ (2021)
|
|
BASE
|
|
Show details
|
|
3 |
Разработка программного агента для решения задачи "Тузы и восьмерки" в эпистемической логике ... : выпускная квалификационная работа бакалавра ...
|
|
Голосков, Марк. - : Санкт-Петербургский политехнический университет Петра Великого, 2020
|
|
BASE
|
|
Show details
|
|
5 |
Spatio-epistemic logics: when knowledge meets geometry (ESSLLI 2018, Sofia, Bulgaria)
|
|
|
|
In: 30th European Summer School on Logic, Language and Information (ESSLLI 2018) ; https://hal.archives-ouvertes.fr/hal-03044235 ; 30th European Summer School on Logic, Language and Information (ESSLLI 2018), Association for Logic, Language and Information (FoLLI); Association for Computational Linguistics, Bulgaria, Aug 2018, Sofia, Bulgaria ; http://esslli2018.folli.info/ (2018)
|
|
BASE
|
|
Show details
|
|
6 |
Knowledge and its Game-Theoretical Foundations: The Challenges of the Dialogical Approach to Constructive Type Theory
|
|
|
|
In: Epistemology, Knowledge and the Impact of Interaction ; https://halshs.archives-ouvertes.fr/halshs-01227833 ; Epistemology, Knowledge and the Impact of Interaction, Springer, 2016 ; http://www.springer.com/us/book/9783319265049 (2016)
|
|
BASE
|
|
Show details
|
|
10 |
What is the Play Level of Dialogical Logic and What is it Good for. A Pragmatist Perspective on Logical Omniscience
|
|
|
|
In: https://halshs.archives-ouvertes.fr/halshs-01230427 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
11 |
Intricate Axioms as Interaction Axioms
|
|
|
|
In: ISSN: 0039-3215 ; EISSN: 1572-8730 ; Studia Logica ; https://hal.inria.fr/hal-01193284 ; Studia Logica, Springer Verlag (Germany), 2015, pp.28. ⟨10.1007/s11225-015-9609-0⟩ (2015)
|
|
BASE
|
|
Show details
|
|
12 |
Principles of Knowledge, Belief and Conditional Belief
|
|
|
|
In: Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics ; https://hal.inria.fr/hal-01098789 ; Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, pp.97 - 134, 2014, ⟨10.1007/978-3-319-03044-9_5⟩ (2014)
|
|
BASE
|
|
Show details
|
|
13 |
Sémantique des jugements épistémiques : degré de croyance et prise en charge
|
|
|
|
In: Langages, N 193, 1, 2014-04-14, pp.63-81 (2014)
|
|
BASE
|
|
Show details
|
|
|
|