Výsledky vyhledávání
- 1.0578922 - FLÚ 2024 RIV ES eng C - Konferenční příspěvek (zahraniční konf.)
Bílková, Marta - Frittella, S. - Kozhemiachenko, D. - Majer, Ondrej - Manoorkar, K.
Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory.
Proceedings of Machine Learning Research, Volume 215: International Symposium on Imprecise Probability: Theories and Applications,. Almerı́a: PMLR, 2023, s. 37-47. E-ISSN 2640-3498.
[International Symposium on Imprecise Probability: Theories and Applications 2023 /13./. Oviedo (ES), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: Dempster-Shafer theory * Belnap Dunn logic * contradictory evidence
Obor OECD: Philosophy, History and Philosophy of science and technology
https://proceedings.mlr.press/v215/
Trvalý link: https://hdl.handle.net/11104/0347886 - 2.0575743 - FLÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Ferguson, Thomas - Punčochář, Vít
Structural Completeness and Superintuitionistic Inquisitive Logics.
Logic, Language, Information, and Computation. Cham: Springer, 2023 - (Hansen, H.; Scedrov, A.; de Queiroz, R.), s. 194-210. Lecture Notes in Computer Science, 13923. ISBN 978-3-031-39783-7.
[WoLLIC 2023: Workshop on Logic, Language, Information and Computation /29./. Halifax (CA), 11.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: structural completeness * inquisitive logic * superintuitionistic logics * substitution
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-39784-4_12
Trvalý link: https://hdl.handle.net/11104/0346056 - 3.0575737 - FLÚ 2024 RIV GR eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít
Fuzzy Truth, Fuzzy Support and Fuzzy Information States for Inquisitive Semantics.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Rhodes: International Joint Conferences on Artificial Intelligence Organization, 2023 - (Marquis, P.; Son, T.; Kern-Isberner, G.), s. 572-581. ISBN 978-1-956792-02-7.
[KR2023: International Conference on Principles of Knowledge Representation and Reasoning /20./. Rhodes (GR), 02.09.2023-08.09.2023]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: fuzzy logic * logic of questions * inquisitive semantics * information states
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Trvalý link: https://hdl.handle.net/11104/0346057 - 4.0559695 - FLÚ 2023 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Grimau, Berta
Natural Deduction for Assertibility and Deniability.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. online: Open Publishing Association, 2022 - (Indrzejczak, A.; Zawidzki, M.), s. 41-54. Electronic Proceedings in Theoretical Computer Science (EPTCS), 358. E-ISSN 2075-2180.
[Non-Classical Logics. Theory and Applications (NCL) /10./. Łódź (PL), 14.03.2022-18.03.2022]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: semantics * natural deduction * assertibility * deniability * possible worlds
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.4
Trvalý link: https://hdl.handle.net/11104/0334055 - 5.0559694 - FLÚ 2023 RIV AU eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Sedlár, Igor
Routley Star in Information-Based Semantics.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. online: Open Publishing Association, 2022 - (Indrzejczak, A.; Zawidzki, M.), s. 285-297. Electronic Proceedings in Theoretical Computer Science (EPTCS), 358. E-ISSN 2075-2180.
[Non-Classical Logics. Theory and Applications (NCL) /10./. Łódź (PL), 14.03.2022-18.03.2022]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: deductive systems * information states * non-classical logics * Routley star * negation
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.21
Trvalý link: https://hdl.handle.net/11104/0334056 - 6.0547117 - FLÚ 2022 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Punčochář, Vít - Tedder, Andrew
Disjunction and Negation in Information Based Semantics.
Logic, Language, Information, and Computation. Cham: Springer, 2021 - (Silva, A.; Wassermann, R.; de Queiroz, R.), s. 355-371. Lecture Notes in Computer Science, 13038. ISBN 978-3-030-88852-7; ISBN 978-3-030-88853-4.
[WoLLIC 2021. Workshop on Logic, Language, Information, and Computation /27./. online (NL), 05.10.2021-08.10.2021]
Grant CEP: GA ČR(CZ) GM21-23610M
Institucionální podpora: RVO:67985955
Klíčová slova: Non-classical logics * Incompatibility * Information * Relational semantics * Negation * Disjunction
Obor OECD: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_22
Trvalý link: http://hdl.handle.net/11104/0323448