Search results
- 1.0578922 - FLÚ 2024 RIV ES eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : Dempster-Shafer theory * Belnap Dunn logic * contradictory evidence
OECD category: Philosophy, History and Philosophy of science and technology
https://proceedings.mlr.press/v215/
Permanent Link: https://hdl.handle.net/11104/0347886 - 2.0575743 - FLÚ 2024 RIV CH eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : structural completeness * inquisitive logic * superintuitionistic logics * substitution
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-031-39784-4_12
Permanent Link: https://hdl.handle.net/11104/0346056 - 3.0575737 - FLÚ 2024 RIV GR eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : fuzzy logic * logic of questions * inquisitive semantics * information states
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.24963/kr.2023/56
Permanent Link: https://hdl.handle.net/11104/0346057 - 4.0559695 - FLÚ 2023 RIV AU eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : semantics * natural deduction * assertibility * deniability * possible worlds
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.4
Permanent Link: https://hdl.handle.net/11104/0334055 - 5.0559694 - FLÚ 2023 RIV AU eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : deductive systems * information states * non-classical logics * Routley star * negation
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.4204/EPTCS.358.21
Permanent Link: https://hdl.handle.net/11104/0334056 - 6.0547117 - FLÚ 2022 RIV DE eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GM21-23610M
Institutional support: RVO:67985955
Keywords : Non-classical logics * Incompatibility * Information * Relational semantics * Negation * Disjunction
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-88853-4_22
Permanent Link: http://hdl.handle.net/11104/0323448