Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Modalities in Substructural Logics: Theory, Methods and Applications

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Report on modal algebras (odnośnik otworzy się w nowym oknie)

Technical report on the topics covered by WP4 concerning General semantics and axiomatization for substructural modal logics. The document will report on the progress made on that topic at month 25 in order for the steering committee to evaluate its status and, if needed, to decide actions to be taken.

Mid-term meeting (odnośnik otworzy się w nowym oknie)

Preparation and presentation of a mid-time report containing the necessary information to evaluate the state of implementation of the project, the respect of the work plan and how far project's objectives have been achieved

Report on graded deontic logics (odnośnik otworzy się w nowym oknie)

Technical report on the topics covered by WP7 concerning Logics for special reasoning models. The document will report on the progress made on that topic at month 22 in order for the steering committee to evaluate its status and, if needed, to decide actions to be taken.

Report on fixpoint logics (odnośnik otworzy się w nowym oknie)

Technical report on the topics covered by WP5 concerning Correspondence theory and fixpoint logics for substructural modal logics. The document will report on the progress made on that topic at month 28 in order for the steering committee to evaluate its status and, if needed, to decide actions to be taken.

Planning and organization of summer schools (odnośnik otworzy się w nowym oknie)

Report on the first school (planned at month 12) and plan for the second school (planned at month 24).

Progress Report 1 (odnośnik otworzy się w nowym oknie)

Preparation and presentation of a first report containing the necessary information to evaluate the state of implementation of the project, the respect of the work plan and how far project's objectives have been achieved

Website (odnośnik otworzy się w nowym oknie)

Implementation of the project website and first actions on dissemination and communication activities

Publikacje

Decidable objects and molecular toposes (odnośnik otworzy się w nowym oknie)

Autorzy: Matías Menni
Opublikowane w: Revista de la Unión Matemática Argentina, 2024, Strona(/y) 397-415, ISSN 1669-9637
Wydawca: Union Matematica Argentina
DOI: 10.33044/revuma.3427

On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Angelo Gilio, Lluis Godo, Giuseppe Sanfilippo
Opublikowane w: International Journal of Approximate Reasoning, 2023, ISSN 0888-613X
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2023.108943

INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS (odnośnik otworzy się w nowym oknie)

Autorzy: Fornasiere, Damiano; Moraschini, Tommaso
Opublikowane w: The Journal of Symbolic Logic, Numer 8, 2023, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2023.7

These degrees go to eleven: fuzzy logics and gradable predicates (odnośnik otworzy się w nowym oknie)

Autorzy: Petr Cintula, Berta Grimau, Carles Noguera, Nicholas J. J. Smith
Opublikowane w: Synthese, Numer 200, 2023, ISSN 1573-0964
Wydawca: Springer
DOI: 10.1007/s11229-022-03909-2

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (odnośnik otworzy się w nowym oknie)

Autorzy: Carlos Olarte; Elaine Pimentel; Camilo Rocha
Opublikowane w: Journal of Logical and Algebraic Methods in Programming, Numer 17, 2023, ISSN 2352-2208
Wydawca: Elsevier
DOI: 10.1016/j.jlamp.2022.100827

Intuitionistic Modal Algebras (odnośnik otworzy się w nowym oknie)

Autorzy: Sergio A. Celani, Umberto Rivieccio
Opublikowane w: Studia Logica, Numer 112, 2024, Strona(/y) 611-660, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-023-10065-2

Free Constructions in Hoops via $$\ell $$-Groups (odnośnik otworzy się w nowym oknie)

Autorzy: Valeria Giustarini, Francesco Manfucci, Sara Ugolini
Opublikowane w: Studia Logica, 2024, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-024-10128-y

Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Sara Ugolini
Opublikowane w: Annals of Pure and Applied Logic, Numer 175, 2024, Strona(/y) 103337, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2023.103337

Degrees of the finite model property: The Antidichotomy Theorem (odnośnik otworzy się w nowym oknie)

Autorzy: Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini
Opublikowane w: Journal of Mathematical Logic, 2025, ISSN 0219-0613
Wydawca: Singapore University Press
DOI: 10.1142/s0219061325500060

Hilbert Algebras with Hilbert-Galois Connections II (odnośnik otworzy się w nowym oknie)

Autorzy: Sergio A. Celani, Daniela Montagie
Opublikowane w: Bulletin of the Section of Logic, Numer 53, 2025, Strona(/y) 535-554, ISSN 0138-0680
Wydawca: Department of Logic, University of Lodz
DOI: 10.18778/0138-0680.2024.17

Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity (odnośnik otworzy się w nowym oknie)

Autorzy: Umberto Rivieccio, Manuela Busaniche
Opublikowane w: Studia Logica, Numer 112, 2024, Strona(/y) 1123-1161, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-023-10088-9

Cerrando una brecha: una reflexión multidisciplinar sobre la discriminación algorítmica (odnośnik otworzy się w nowym oknie)

Autorzy: Pilar Dellunde, Oriol Pujol, Jordi Vitrià
Opublikowane w: Daimon, 2023, Strona(/y) 63-80, ISSN 1130-0507
Wydawca: Universidad de Murcia. Departamento de Filosofia y Lgica.
DOI: 10.6018/daimon.562811

A linear logic framework for multimodal logics (odnośnik otworzy się w nowym oknie)

Autorzy: Bruno Xavier, Carlos Olarte, Elaine Pimentel
Opublikowane w: Mathematical Structures in Computer Science, Numer Bimonthly, 2022, Strona(/y) 32, 1176–1204, ISSN 0960-1295
Wydawca: Cambridge University Press
DOI: 10.1017/s0960129522000366

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS (odnośnik otworzy się w nowym oknie)

Autorzy: Amanda Vidal
Opublikowane w: The Journal of Symbolic Logic, 2022, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.32

Belief Horn merging operators: Characterization results and implementations (odnośnik otworzy się w nowym oknie)

Autorzy: Pilar Dellunde, Vicent Costa, Daniel Rivas-Barragan
Opublikowane w: Fuzzy Sets and Systems, Numer 497, 2024, Strona(/y) 109099, ISSN 0165-0114
Wydawca: Elsevier BV
DOI: 10.1016/j.fss.2024.109099

Logics and admissible rules of constructive set theories (odnośnik otworzy się w nowym oknie)

Autorzy: Rosalie Iemhoff, Robert Passmann
Opublikowane w: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Numer 381, 2023, ISSN 1364-503X
Wydawca: Royal Society of London
DOI: 10.1098/rsta.2022.0018

A 0-1 Law in Mathematical Fuzzy Logic (odnośnik otworzy się w nowym oknie)

Autorzy: Guillermo Badia, Carles Noguera
Opublikowane w: IEEE Transactions on Fuzzy Systems, Numer Volume 30, Numer 9, 2022, Strona(/y) pages 3833-3840, ISSN 0163-6804
Wydawca: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tfuzz.2021.3131200

ASYMPTOTIC TRUTH-VALUE LAWS IN MANY-VALUED LOGICS (odnośnik otworzy się w nowym oknie)

Autorzy: GUILLERMO BADIA, XAVIER CAICEDO, CARLES NOGUERA
Opublikowane w: The Journal of Symbolic Logic, 2025, Strona(/y) 1-23, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.46

An elementary belief function logic (odnośnik otworzy się w nowym oknie)

Autorzy: Didier Dubois; Lluis Godo; Henri Prade
Opublikowane w: Journal of Applied Non-Classical Logics, Numer 5, 2023, ISSN 1166-3081
Wydawca: Taylor and Francis
DOI: 10.1080/11663081.2023.2244366

On Weak Lewis Distributive Lattices (odnośnik otworzy się w nowym oknie)

Autorzy: Ismael Calomino, Sergio A. Celani, Hernán J. San Martín
Opublikowane w: Studia Logica, 2024, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-024-10112-6

On the expressive power of Łukasiewicz square operator. (odnośnik otworzy się w nowym oknie)

Autorzy: Marcelo E Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
Opublikowane w: Journal of Logic and Computation, Numer Volume 32, Numer 4, June 2022, 2022, Strona(/y) Pages 767-807, ISSN 2398-7316
Wydawca: Oxford Academic
DOI: 10.1093/logcom/exab064

A logico-geometric comparison of coherence for non-additive uncertainty measures (odnośnik otworzy się w nowym oknie)

Autorzy: Esther Anna Corsi, Tommaso Flaminio, Hykel Hosni
Opublikowane w: Annals of Pure and Applied Logic, Numer 175, 2024, Strona(/y) 103342, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2023.103342

ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS (odnośnik otworzy się w nowym oknie)

Autorzy: PETR CINTULA, GEORGE METCALFE, NAOMI TOKUDA
Opublikowane w: The Bulletin of Symbolic Logic, Numer 30, 2024, Strona(/y) 253-278, ISSN 1079-8986
Wydawca: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2024.22

Fuzzy bi-Gödel modal logic and its paraconsistent relatives (odnośnik otworzy się w nowym oknie)

Autorzy: Bilkova, Marta; Frittella, Sabine; Kozhemiachenko, Daniil
Opublikowane w: Journal of Logic and Computation, Numer 23, 2024, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exae011

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version) (odnośnik otworzy się w nowym oknie)

Autorzy: Blaisdell, Eben; Kanovich, Max I.; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre
Opublikowane w: Modalities in substructural logics: Applications at the interfaces of logic, language and computation Edited by: Michael Moortgat and Mehrnoosh Sadrzadeh, Numer 9, 2023, ISSN 2075-2180
Wydawca: EPTCS
DOI: 10.48550/arxiv.2307.03059

Connexive Negation (odnośnik otworzy się w nowym oknie)

Autorzy: Estrada-González, Luis & Nicolás-Francisco, Ricardo Arturo.
Opublikowane w: Studia Logica, Numer November 2023, 2023, ISSN 1572-8730
Wydawca: 0039-3215
DOI: 10.1007/s11225-023-10078-x

Translations and Prawitz’s Ecumenical System (odnośnik otworzy się w nowym oknie)

Autorzy: Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva
Opublikowane w: Studia Logica, 2024, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-024-10105-5

An art painting style explainable classifier grounded on logical and commonsense reasoning (odnośnik otworzy się w nowym oknie)

Autorzy: Vicent Costa, Jose M. Alonso-Moral, Zoe Falomir, Pilar Dellunde
Opublikowane w: Soft Computing, 2023, ISSN 1432-7643
Wydawca: Springer Verlag
DOI: 10.1007/s00500-023-08258-x

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity (odnośnik otworzy się w nowym oknie)

Autorzy: Dalmonte, Tiziano; Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine
Opublikowane w: Journal of Logic and Computation, Numer 39, 2021, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exaa072

Counterfactuals as modal conditionals, and their probability (odnośnik otworzy się w nowym oknie)

Autorzy: Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio
Opublikowane w: Artificial Intelligence Journal, 2023, ISSN 0004-3702
Wydawca: Elsevier BV
DOI: 10.1016/j.artint.2023.103970

Frame definability in finitely valued modal logics (odnośnik otworzy się w nowym oknie)

Autorzy: Badia, Guillermo; Caicedo, Xavier; Carles Noguera
Opublikowane w: Annals of Pure and Applied Logic, 2023, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2023.103273

From Contact Relations to Modal Operators, and Back (odnośnik otworzy się w nowym oknie)

Autorzy: Rafal Gruszcynski & Paula Menchón
Opublikowane w: Studia Logica, 2023, ISSN 1988-348X
Wydawca: Springer
DOI: 10.1007/s11225-022-10022-5

THE ALGEBRAS OF LEWIS’S COUNTERFACTUALS: AXIOMATIZATIONS AND ALGEBRAIZABILITY (odnośnik otworzy się w nowym oknie)

Autorzy: GIULIANO ROSELLA, SARA UGOLINI
Opublikowane w: The Review of Symbolic Logic, 2025, Strona(/y) 1-26, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/s1755020324000303

Bounded distributive lattices with strict implication and weak difference (odnośnik otworzy się w nowym oknie)

Autorzy: Sergio Celani, Agustín Nagy, Botero William Zuluaga
Opublikowane w: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Wydawca: Springer Verlag
DOI: 10.1007/s00153-024-00945-2

Moderated revision (odnośnik otworzy się w nowym oknie)

Autorzy: Daniel Grimaldi, Maria Vanina Martinez, Ricardo O. Rodriguez
Opublikowane w: International Journal of Approximate Reasoning, Numer 166, 2024, Strona(/y) 109126, ISSN 0888-613X
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2024.109126

Some Logics in the Vicinity of Interpretability Logics (odnośnik otworzy się w nowym oknie)

Autorzy: Sergio A. Celani
Opublikowane w: Bulletin of the Section of Logic, Numer 53, 2024, Strona(/y) 173-193, ISSN 0138-0680
Wydawca: Department of Logic, University of Lodz
DOI: 10.18778/0138-0680.2023.26

Simplified Kripke Semantics for K45-Like Gödel Modal Logics and Its Axiomatic Extensions (odnośnik otworzy się w nowym oknie)

Autorzy: Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo
Opublikowane w: Studia Logica, Numer 110, 2022, Strona(/y) 1081–1114, ISSN 1572-8730
Wydawca: Studia Logica
DOI: 10.1007/s11225-022-09987-0

ON THE STRUCTURE OF BOCHVAR ALGEBRAS (odnośnik otworzy się w nowym oknie)

Autorzy: STEFANO BONZIO, MICHELE PRA BALDI
Opublikowane w: The Review of Symbolic Logic, 2024, Strona(/y) 1-27, ISSN 1755-0203
Wydawca: Cambridge University Press
DOI: 10.1017/s175502032400008x

Outlier detection using flexible categorization and interrogative agendas (odnośnik otworzy się w nowym oknie)

Autorzy: Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg
Opublikowane w: Decision Support Systems, Numer 31, 2024, ISSN 0167-9236
Wydawca: Elsevier BV
DOI: 10.1016/j.dss.2024.114196

BI-DIRECTIONAL MODELS OF ‘RADICALLY SYNTHETIC’ DIFFERENTIAL GEOMETRY (odnośnik otworzy się w nowym oknie)

Autorzy: Matías Menni
Opublikowane w: Theory and Applications of Categories 40(15):413–429, 2024, ISSN 1201-561X
Wydawca: R. Rosebrugh
DOI: 10.48550/arxiv.2405.17748

Structural and universal completeness in algebra and logic (odnośnik otworzy się w nowym oknie)

Autorzy: Paolo Aglianò, Sara Ugolini
Opublikowane w: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2023.103391

Modal weak Kleene logics: axiomatizations and relational semantics (odnośnik otworzy się w nowym oknie)

Autorzy: S Bonzio, N Zamperlin
Opublikowane w: Journal of Logic and Computation, Numer 35, 2025, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exae046

A terminating intuitionistic calculus (odnośnik otworzy się w nowym oknie)

Autorzy: Giulio Fellin, Sara Negri
Opublikowane w: The Journal of Symbolic Logic, 2024, ISSN 0022-4812
Wydawca: Association for Symbolic Logic
DOI: 10.1017/jsl.2023.88

Some notes on possibilistic randomisation with t-norm based joint distributions in strategic-form games (odnośnik otworzy się w nowym oknie)

Autorzy: Esther Anna Corsi, Hykel Hosni, Enrico Marchioni
Opublikowane w: International Journal of Approximate Reasoning, Numer 166, 2024, Strona(/y) 109109, ISSN 0888-613X
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2023.109109

An alternative definition of tense operators on residuated lattices (odnośnik otworzy się w nowym oknie)

Autorzy: Calomino, Ismael; Pelaitay, Gustavo; Botero, William Zuluaga
Opublikowane w: Journal of Logic and Computation, Numer 13, 2024, ISSN 0955-792X
Wydawca: Oxford University Press
DOI: 10.1093/logcom/exae009

Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality (odnośnik otworzy się w nowym oknie)

Autorzy: Nick Bezhanishvili, Tommaso Moraschini
Opublikowane w: Studia Logica, Numer 111, 2023, Strona(/y) 147-186, ISSN 0039-3215
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11225-022-10012-7

Reasoning with belief functions over Belnap–Dunn logic (odnośnik otworzy się w nowym oknie)

Autorzy: Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Opublikowane w: Annals of Pure and Applied Logic, Numer 175, 2024, Strona(/y) 103338, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2023.103338

Modal reduction principles: a parametric shift to graphs (odnośnik otworzy się w nowym oknie)

Autorzy: W. Conradie, K. Manoorkar, A. Palmigiano, M. Panettiere
Opublikowane w: Journal of Applied Non-Classical Logics, 2024, ISSN 1166-3081
Wydawca: Taylor and Francis
DOI: 10.1080/11663081.2024.2336377

Positive rigs (odnośnik otworzy się w nowym oknie)

Autorzy: Matías Menni
Opublikowane w: Forum Mathematicum, 2023, ISSN 0933-7741
Wydawca: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/forum-2022-0271

A Study on Some Classes of Distributive Lattices with a Generalized Implication (odnośnik otworzy się w nowym oknie)

Autorzy: Ismael Calomino, Jorge Castro, Sergio Celani, Luciana Valenzuela
Opublikowane w: Order, Numer 41, 2025, Strona(/y) 671-691, ISSN 0167-8094
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s11083-023-09652-8

Deciding Equations in the Time Warp Algebra (odnośnik otworzy się w nowym oknie)

Autorzy: Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
Opublikowane w: Logical Methods in Computer Science, 2024, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig
DOI: 10.46298/lmcs-20(1:8)2024

Qualitative reasoning in a two-layered framework (odnośnik otworzy się w nowym oknie)

Autorzy: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Opublikowane w: International Journal of Approximate Reasoning, Numer Vol 154, 2023, Strona(/y) 84-108, ISSN 0020-0255
Wydawca: Elsevier BV
DOI: 10.1016/j.ijar.2022.12.011

MAXIMALITY OF LOGIC WITHOUT IDENTITY (odnośnik otworzy się w nowym oknie)

Autorzy: Guillermo BADIA, Xavier CAICEDO, & Carles NOGUERA
Opublikowane w: The Journal of Symbolic Logic, 2023, Strona(/y) 1-16, ISSN 1943-5886
Wydawca: Cambridge Univeresity Press
DOI: 10.1017/jsl.2023.2

Lindström theorems in graded model theory (odnośnik otworzy się w nowym oknie)

Autorzy: Guillermo Badia & Carles Noguera
Opublikowane w: Annals of Pure and Applied Logic, 2021, Strona(/y) Volume 172, Numer 3, ISSN 0168-0072
Wydawca: Elsevier BV
DOI: 10.1016/j.apal.2020.102916

Subresiduated Nelson algebras (odnośnik otworzy się w nowym oknie)

Autorzy: Noemí Lubomirsky, Paula Menchón, Hernán Javier San Martín
Opublikowane w: Fuzzy Sets and Systems, Numer 498, 2024, Strona(/y) 109170, ISSN 0165-0114
Wydawca: Elsevier BV
DOI: 10.1016/j.fss.2024.109170

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic (odnośnik otworzy się w nowym oknie)

Autorzy: Y. Ding, K. Manoorkar, M. Panettiere, R. Wang
Opublikowane w: Proceedings of Advances in Modal Logic, 2024, ISBN 978-1-84890-467-5
Wydawca: College Publications
DOI: 10.48550/arxiv.2404.05574

An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic. (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Lluis Godo, Sara Ugolini
Opublikowane w: Proceedings of SUM’22. Lecture Notes in Artificial Intelligence, 2022
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-18843-5_9

Causal Kripke Models (odnośnik otworzy się w nowym oknie)

Autorzy: Yiwen Ding, Krishna Manoorkar, Apostolos Tzimoulis, Ruoding Wang, Xiaolong Wang
Opublikowane w: Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023), 2023, ISSN 2075-2180
Wydawca: Electronic Proceedings in Theoretical Computer Science
DOI: 10.4204/eptcs.379.16

Free Product Hoops (odnośnik otworzy się w nowym oknie)

Autorzy: Francesco Manfucci, Sara Ugolini
Opublikowane w: Proceedings of 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-39965-7_43

Rotations of Gödel Algebras with Modal Operators (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Lluis Godo, Paula Menchón, Ricardo Oscar Rodriguez
Opublikowane w: Proceedings of IPMU 2022 - Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022, ISSN 1865-0937
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-08971-8_55

Canonical Extensions of Conditional Probabilities and Compound Conditionals (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Opublikowane w: Proceedings of IPMU 2022 - Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2022
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-031-08974-9_47

Reasoning about Probability via Continuous Functions. (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Sandro Preto, Sara Ugolini
Opublikowane w: Proceedings of 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Wydawca: IJCAI
DOI: 10.24963/kr.2023/28

A Three Steps Methodological Approach to Legal Governance Validation (odnośnik otworzy się w nowym oknie)

Autorzy: Pompeu Casanovas, Mustafa Hashmi, Louis de Koker, Ho-Pun Lam
Opublikowane w: Palmirani, M. et al. (2024). AI Approaches to the Complexity of Legal Systems. Reviewed, selected papers. AICOL XIII-XIV, LNAI, 2024
Wydawca: Springer
DOI: 10.48550/arxiv.2407.20691

A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised (odnośnik otworzy się w nowym oknie)

Autorzy: Shillito, Ian; van der Giessen, Iris; Goré, Rajeev; Iemhoff, Rosalie
Opublikowane w: Proceedings of TABLEAUX 2023. Lecture Notes in Computer Science, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-43513-3_5

A Modal Logic for Uncertainty: a Completeness Theorem

Autorzy: Esther Anna Corsi; Tommaso Flaminio; Lluís Godo; Hykel Hosni
Opublikowane w: Proceedings of Machine Learning Research, Numer 15, 2023, ISSN 2640-3498
Wydawca: Cambridge MA: JMLR

Two-Layered Logics for Paraconsistent Probabilities (odnośnik otworzy się w nowym oknie)

Autorzy: Marta Bílková; Sabine Frittella; Daniil Kozhemiachenko; Ondrej Majer
Opublikowane w: Proceedings of WoLLIC 2023. Lecture Notes in Computer Science, Numer 25, 2023, ISSN 1611-3349
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-39784-4_7

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report. (odnośnik otworzy się w nowym oknie)

Autorzy: Pilar Dellunde, Lluís Godo, Amanda Vidal.
Opublikowane w: Proceedings of Logics in Artificial Intelligence. JELIA 2021. Lecture Notes in Computer Science, Numer JELIA 2021: 25-32, 2021, Strona(/y) 25-32
Wydawca: Universitat Trier
DOI: 10.1007/978-3-030-75775-5_3

Compound conditionals as random quantities and Boolean algebras. (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Opublikowane w: Proceedings of 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022, Strona(/y) 141-151 , ISSN 2334-1033
Wydawca: IJCAI Organization
DOI: 10.24963/kr.2022/15

Maximal Theories of Product Logic (odnośnik otworzy się w nowym oknie)

Autorzy: Valeria Giustarini, Sara Ugolini
Opublikowane w: Proceedings of 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, 2023
Wydawca: Springer Nature
DOI: 10.1007/978-3-031-39965-7_42

Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory

Autorzy: Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej; Manoorkar, Krishna
Opublikowane w: Proceedings of Machine Learning Research, Numer 2, 2023, ISSN 2640-3498
Wydawca: Cambridge MA

Logical Characterizations of Weighted Complexity Classes (odnośnik otworzy się w nowym oknie)

Autorzy: Badia G.; Droste M.; Noguera C.; Paul E.
Opublikowane w: Numer 28, 2024, ISBN 978-3-95977-335-5
Wydawca: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.mfcs.2024.14

Possibility of Conditionals and Conditional Possibilities: From the Triviality Result to Possibilistic Imaging (odnośnik otworzy się w nowym oknie)

Autorzy: Tommaso Flaminio, Lluis Godo, Giuliano Rosella
Opublikowane w: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024, Strona(/y) 372-382
Wydawca: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/35

Paraconsistent Gödel Modal Logic (odnośnik otworzy się w nowym oknie)

Autorzy: Marta Bílková, Sabine Fritella, Daniil Kozhemiachenko
Opublikowane w: Proceedings of IJCAR 2022. Lecture Notes in Computer Science book series (LNAI), Numer Volume 13385, 2022
Wydawca: Springer
DOI: 10.1007/978-3-031-10769-6_26

Non-standard modalities in paraconsistent Gödel logic (odnośnik otworzy się w nowym oknie)

Autorzy: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko
Opublikowane w: Proceedings of JELIA 2023. Lecture Notes in Computer Science, 2023, ISBN 978-3-031-43618-5
Wydawca: Springer, Cham
DOI: 10.1007/978-3-031-43619-2_29

Towards a Unified View on Logics for Uncertainty (odnośnik otworzy się w nowym oknie)

Autorzy: Esther Anna Corsi, Tommaso Flaminio, Hykel Hosni
Opublikowane w: Lecture Notes in Computer Science, Scalable Uncertainty Management, 2024, Strona(/y) 329-337
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-031-18843-5_22

Towards an Implementation of Merging Operators in Many-Valued Logics (odnośnik otworzy się w nowym oknie)

Autorzy: Vicent Costa, Pilar Dellunde
Opublikowane w: Frontiers in Artificial Intelligence and Applications, Artificial Intelligence Research and Development, 2022
Wydawca: IOS Press
DOI: 10.3233/faia220306

Neurosymbolic AI for Studying the Quality of Life’s Dimensions of People with Intellectual Disability (odnośnik otworzy się w nowym oknie)

Autorzy: Vicent Costa, Pilar Dellunde, Diego Fraile-Parra
Opublikowane w: Frontiers in Artificial Intelligence and Applications, Artificial Intelligence Research and Development, 2024
Wydawca: IOS Press
DOI: 10.3233/faia240431

On Probabilistic Logical Argumentation (odnośnik otworzy się w nowym oknie)

Autorzy: Pilar Dellunde, Lluís Godo, Amanda Vidal
Opublikowane w: Frontiers in Artificial Intelligence and Applications, Artificial Intelligence Research and Development, 2021
Wydawca: IOS Press
DOI: 10.3233/faia210111

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0