Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
2013/11/B/HS1/04168
Keywords
Descriptors
- HS1_4: Logika, metodologia nauk, filozofia nauki
- HS1_6: Natura ludzkiego umysłu (w tym: ewolucja umysłu, bio-psychologiczne uwarunkowania poznania, sztuczna inteligencja)
- ST6_4: Metody formalne, teoretyczne podstawy informatyki w tym informatyka teoretyczna
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Voivodeship: mazowieckie
Principal investigator (from the host institution)
Number of co-investigators in the project: 4
Call
OPUS 6 – announced on 2013-09-16
- Amount awarded
- 462 000 PLN
- Project start date
- 2014-10-01
- Project end date
- 2017-03-31
- Project duration
- 30 months (the same as in the proposal)
- Project status
- Project settled
Information in the final report
Publication in academic press/journals (4)
-
Semantics of the Barwise sentence: insights from expressiveness, complexity and inference
- Authors:
- Dariusz Kalociński, Michał Tomasz Godziszewski
- Academic press:
- Linguistics and Philosophy (year: 2018, volume: 41, pages: 423-455), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1007/s10988-018-9231-5 – link to the publication
-
Truth in the limit
- Authors:
- Marcin Mostowski
- Academic press:
- Reports on Mathematical Logic (year: 2016, volume: 51, pages: 75-89), Publisher: Wydawnictwo Uniwersytetu Jagiellońskiego
- Status:
- Published
- DOI:
- 10.4467/20842589RM.16.006.5283 – link to the publication
-
Some Remarks on Least Moduli
- Authors:
- Dariusz Kalociński
- Status:
- Accepted for publication
-
A modal logic of a truth definition for finite models
- Authors:
- Marek Czarnecki, Konrad Zdanowski
- Status:
- Accepted for publication
Articles in post-conference publications (2)
-
Quantifier Learning: An Agent-based Coordination Model
- Authors:
- Dariusz Kalociński, Nina Gierasimczuk, Marcin Mostowski
- Conference:
- International Conference on Autonomous Agents and Multiagent Systems (year: 2015, pages: 1853-1854), Publisher: International Foundation for Autonomous Agents and Multiagent Systems
- Date:
- conference 4-8 maja 2015
- Status:
- Published
- DOI:
- link to the publication
-
Concrete mathematics. Finitistic approach to foundations.
- Authors:
- Marcin Mostowski, Marek Czarnecki
- Conference:
- 24th Workshop on Logic Language Information and Computation (WoLLIC 2017) (year: 2017, pages: 271-280), Publisher: Springer
- Date:
- conference 18-21 lipca 2017
- Status:
- Published
Book publications / chapters in book publications (3)
-
Foundations and Philosophy of Mathematics in Warsaw, The school of Andrzej Mostowski and philosophy
- Authors:
- Marcin Mostowski
- Book:
- Lvov-Warsaw school. Past and Present. (year: 2018, volume: -, pages: 555-565), Publisher: Birkhäuser Verlag
- Status:
- Published
-
Experimental Logics as a Model of Development of Deductive Science and Computational Properties of Undecidable Sentences
- Authors:
- Michał Tomasz Godziszewski
- Book:
- Making it Formally Explicit, Probability, Causality and Indeterminism (year: 2017, volume: 6, pages: 231-242), Publisher: Springer
- Status:
- Published
- DOI:
- link to the publication
-
Andrzej Mostowski, a biographical note
- Authors:
- Marcin Mostowski
- Book:
- Lvov-Warsaw school. Past and Present. (year: 2018, volume: -, pages: 551-554), Publisher: Birkhäuser Verlag
- Status:
- Published