103 citations
- Czech Academy of SciencesCZ6 papers
- Institut National des Sciences Appliquées Centre Val de LoireFR4 papers
- Services déconcentrés d'appui à la recherche Val de LoireFR4 papers
- Université d'OrléansFR4 papers
- Czech Academy of Sciences, Institute of Computer ScienceCZ3 papers
- University of WarsawPL2 papers
- Canadian Institute for Advanced ResearchCA1 paper
- Czech Academy of Sciences, Institute of SociologyCZ1 paper
- Harvard UniversityUS1 paper
- Institute of Philosophy of the Slovak Academy of SciencesSK1 paper
- Institut NéelFR1 paper
- Laboratoire d'Informatique Fondamentale d'Orléans1 paper
14 papers
How attention simplifies mental representations for planning
Jason da Silva Castanheira, Nicholas Shea, Stephen M. Fleming
Human planning is efficient--it frugally deploys limited cognitive resources to accomplish difficult tasks--and flexible--adapting to novel problems and environments. Computational…
Constructive validity of a generalized Kreisel-Putnam rule
Ivo Pezlar
In this paper, we propose a computational interpretation of the generalized Kreisel-Putnam rule, also known as the generalized Harrop rule or simply the Split rule, in the style of…
On Penrose's Analogy between Curved Spacetime Regions and Optical Lenses
Dennis Lehmkuhl, Christian Röken, Juliusz Doboszewski
We present a detailed analysis of Penrose's gravito-optical analogy between the focusing effects of particular families of Ricci- and Weyl-curved spacetime regions on the one hand,…
Non-standard modalities in paraconsistent Gödel logic
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
We introduce a paraconsistent expansion of the Gödel logic with a De Morgan negation and modalities and . We equip it with Kripke semantics on…
Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the B…
Qualitative reasoning in a two-layered framework
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko +1
The reasoning with qualitative uncertainty measures involves comparative statements about events in terms of their likeliness without necessarily assigning an exact numerical value…