Modalities in Substructural Logics: Theory, Methods and Applications

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Report on modal algebras

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

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

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

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

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

Progress Report 1

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

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

Pubblicazioni

Decidable objects and molecular toposes

Autori: Matías Menni
Pubblicato in: Revista de la Unión Matemática Argentina, 2024, Pagina/e 397-415, ISSN 1669-9637
Editore: Union Matematica Argentina
DOI: 10.33044/revuma.3427

On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals

Autori: Tommaso Flaminio, Angelo Gilio, Lluis Godo, Giuseppe Sanfilippo
Pubblicato in: International Journal of Approximate Reasoning, 2023, ISSN 0888-613X
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2023.108943

INTUITIONISTIC SAHLQVIST THEORY FOR DEDUCTIVE SYSTEMS

Autori: Fornasiere, Damiano; Moraschini, Tommaso
Pubblicato in: The Journal of Symbolic Logic, Numero 8, 2023, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2023.7

These degrees go to eleven: fuzzy logics and gradable predicates

Autori: Petr Cintula, Berta Grimau, Carles Noguera, Nicholas J. J. Smith
Pubblicato in: Synthese, Numero 200, 2023, ISSN 1573-0964
Editore: Springer
DOI: 10.1007/s11229-022-03909-2

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

Autori: Carlos Olarte; Elaine Pimentel; Camilo Rocha
Pubblicato in: Journal of Logical and Algebraic Methods in Programming, Numero 17, 2023, ISSN 2352-2208
Editore: Elsevier
DOI: 10.1016/j.jlamp.2022.100827

Intuitionistic Modal Algebras

Autori: Sergio A. Celani, Umberto Rivieccio
Pubblicato in: Studia Logica, Numero 112, 2024, Pagina/e 611-660, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-023-10065-2

Free Constructions in Hoops via $$\ell $$-Groups

Autori: Valeria Giustarini, Francesco Manfucci, Sara Ugolini
Pubblicato in: Studia Logica, 2024, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-024-10128-y

Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras

Autori: Tommaso Flaminio, Sara Ugolini
Pubblicato in: Annals of Pure and Applied Logic, Numero 175, 2024, Pagina/e 103337, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2023.103337

Degrees of the finite model property: The Antidichotomy Theorem

Autori: Guram Bezhanishvili, Nick Bezhanishvili, Tommaso Moraschini
Pubblicato in: Journal of Mathematical Logic, 2025, ISSN 0219-0613
Editore: Singapore University Press
DOI: 10.1142/s0219061325500060

Hilbert Algebras with Hilbert-Galois Connections II

Autori: Sergio A. Celani, Daniela Montagie
Pubblicato in: Bulletin of the Section of Logic, Numero 53, 2025, Pagina/e 535-554, ISSN 0138-0680
Editore: Department of Logic, University of Lodz
DOI: 10.18778/0138-0680.2024.17

Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity

Autori: Umberto Rivieccio, Manuela Busaniche
Pubblicato in: Studia Logica, Numero 112, 2024, Pagina/e 1123-1161, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-023-10088-9

Cerrando una brecha: una reflexión multidisciplinar sobre la discriminación algorítmica

Autori: Pilar Dellunde, Oriol Pujol, Jordi Vitrià
Pubblicato in: Daimon, 2023, Pagina/e 63-80, ISSN 1130-0507
Editore: Universidad de Murcia. Departamento de Filosofia y Lgica.
DOI: 10.6018/daimon.562811

A linear logic framework for multimodal logics

Autori: Bruno Xavier, Carlos Olarte, Elaine Pimentel
Pubblicato in: Mathematical Structures in Computer Science, Numero Bimonthly, 2022, Pagina/e 32, 1176–1204, ISSN 0960-1295
Editore: Cambridge University Press
DOI: 10.1017/s0960129522000366

UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS

Autori: Amanda Vidal
Pubblicato in: The Journal of Symbolic Logic, 2022, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2022.32

Belief Horn merging operators: Characterization results and implementations

Autori: Pilar Dellunde, Vicent Costa, Daniel Rivas-Barragan
Pubblicato in: Fuzzy Sets and Systems, Numero 497, 2024, Pagina/e 109099, ISSN 0165-0114
Editore: Elsevier BV
DOI: 10.1016/j.fss.2024.109099

Logics and admissible rules of constructive set theories

Autori: Rosalie Iemhoff, Robert Passmann
Pubblicato in: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Numero 381, 2023, ISSN 1364-503X
Editore: Royal Society of London
DOI: 10.1098/rsta.2022.0018

A 0-1 Law in Mathematical Fuzzy Logic

Autori: Guillermo Badia, Carles Noguera
Pubblicato in: IEEE Transactions on Fuzzy Systems, Numero Volume 30, Numero 9, 2022, Pagina/e pages 3833-3840, ISSN 0163-6804
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tfuzz.2021.3131200

ASYMPTOTIC TRUTH-VALUE LAWS IN MANY-VALUED LOGICS

Autori: GUILLERMO BADIA, XAVIER CAICEDO, CARLES NOGUERA
Pubblicato in: The Journal of Symbolic Logic, 2025, Pagina/e 1-23, ISSN 0022-4812
Editore: Association for Symbolic Logic
DOI: 10.1017/jsl.2024.46

An elementary belief function logic

Autori: Didier Dubois; Lluis Godo; Henri Prade
Pubblicato in: Journal of Applied Non-Classical Logics, Numero 5, 2023, ISSN 1166-3081
Editore: Taylor and Francis
DOI: 10.1080/11663081.2023.2244366

On Weak Lewis Distributive Lattices

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

On the expressive power of Łukasiewicz square operator.

Autori: Marcelo E Coniglio, Francesc Esteva, Tommaso Flaminio, Lluís Godo
Pubblicato in: Journal of Logic and Computation, Numero Volume 32, Numero 4, June 2022, 2022, Pagina/e Pages 767-807, ISSN 2398-7316
Editore: Oxford Academic
DOI: 10.1093/logcom/exab064

A logico-geometric comparison of coherence for non-additive uncertainty measures

Autori: Esther Anna Corsi, Tommaso Flaminio, Hykel Hosni
Pubblicato in: Annals of Pure and Applied Logic, Numero 175, 2024, Pagina/e 103342, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2023.103342

ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS

Autori: PETR CINTULA, GEORGE METCALFE, NAOMI TOKUDA
Pubblicato in: The Bulletin of Symbolic Logic, Numero 30, 2024, Pagina/e 253-278, ISSN 1079-8986
Editore: Cambridge University Press (CUP)
DOI: 10.1017/bsl.2024.22

Fuzzy bi-Gödel modal logic and its paraconsistent relatives

Autori: Bilkova, Marta; Frittella, Sabine; Kozhemiachenko, Daniil
Pubblicato in: Journal of Logic and Computation, Numero 23, 2024, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exae011

Explorations in Subexponential non-associative non-commutative Linear Logic (extended version)

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

Connexive Negation

Autori: Estrada-González, Luis & Nicolás-Francisco, Ricardo Arturo.
Pubblicato in: Studia Logica, Numero November 2023, 2023, ISSN 1572-8730
Editore: 0039-3215
DOI: 10.1007/s11225-023-10078-x

Translations and Prawitz’s Ecumenical System

Autori: Luiz Carlos Pereira, Elaine Pimentel, Valeria de Paiva
Pubblicato in: Studia Logica, 2024, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-024-10105-5

An art painting style explainable classifier grounded on logical and commonsense reasoning

Autori: Vicent Costa, Jose M. Alonso-Moral, Zoe Falomir, Pilar Dellunde
Pubblicato in: Soft Computing, 2023, ISSN 1432-7643
Editore: Springer Verlag
DOI: 10.1007/s00500-023-08258-x

Hypersequent calculi for non-normal modal and deontic logics: Countermodels and optimal complexity

Autori: Dalmonte, Tiziano; Lellmann, Björn; Olivetti, Nicola; Pimentel, Elaine
Pubblicato in: Journal of Logic and Computation, Numero 39, 2021, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exaa072

Counterfactuals as modal conditionals, and their probability

Autori: Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio
Pubblicato in: Artificial Intelligence Journal, 2023, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2023.103970

Frame definability in finitely valued modal logics

Autori: Badia, Guillermo; Caicedo, Xavier; Carles Noguera
Pubblicato in: Annals of Pure and Applied Logic, 2023, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2023.103273

From Contact Relations to Modal Operators, and Back

Autori: Rafal Gruszcynski & Paula Menchón
Pubblicato in: Studia Logica, 2023, ISSN 1988-348X
Editore: Springer
DOI: 10.1007/s11225-022-10022-5

THE ALGEBRAS OF LEWIS’S COUNTERFACTUALS: AXIOMATIZATIONS AND ALGEBRAIZABILITY

Autori: GIULIANO ROSELLA, SARA UGOLINI
Pubblicato in: The Review of Symbolic Logic, 2025, Pagina/e 1-26, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s1755020324000303

Bounded distributive lattices with strict implication and weak difference

Autori: Sergio Celani, Agustín Nagy, Botero William Zuluaga
Pubblicato in: Archive for Mathematical Logic, 2024, ISSN 0933-5846
Editore: Springer Verlag
DOI: 10.1007/s00153-024-00945-2

Moderated revision

Autori: Daniel Grimaldi, Maria Vanina Martinez, Ricardo O. Rodriguez
Pubblicato in: International Journal of Approximate Reasoning, Numero 166, 2024, Pagina/e 109126, ISSN 0888-613X
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2024.109126

Some Logics in the Vicinity of Interpretability Logics

Autori: Sergio A. Celani
Pubblicato in: Bulletin of the Section of Logic, Numero 53, 2024, Pagina/e 173-193, ISSN 0138-0680
Editore: 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

Autori: Ricardo Oscar Rodriguez, Olim Frits Tuyt, Francesc Esteva, Lluís Godo
Pubblicato in: Studia Logica, Numero 110, 2022, Pagina/e 1081–1114, ISSN 1572-8730
Editore: Studia Logica
DOI: 10.1007/s11225-022-09987-0

ON THE STRUCTURE OF BOCHVAR ALGEBRAS

Autori: STEFANO BONZIO, MICHELE PRA BALDI
Pubblicato in: The Review of Symbolic Logic, 2024, Pagina/e 1-27, ISSN 1755-0203
Editore: Cambridge University Press
DOI: 10.1017/s175502032400008x

Outlier detection using flexible categorization and interrogative agendas

Autori: Marcel Boersma; Krishna Manoorkar; Alessandra Palmigiano; Mattia Panettiere; Apostolos Tzimoulis; Nachoem Wijnberg
Pubblicato in: Decision Support Systems, Numero 31, 2024, ISSN 0167-9236
Editore: Elsevier BV
DOI: 10.1016/j.dss.2024.114196

BI-DIRECTIONAL MODELS OF ‘RADICALLY SYNTHETIC’ DIFFERENTIAL GEOMETRY

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

Structural and universal completeness in algebra and logic

Autori: Paolo Aglianò, Sara Ugolini
Pubblicato in: Annals of Pure and Applied Logic, 2024, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2023.103391

Modal weak Kleene logics: axiomatizations and relational semantics

Autori: S Bonzio, N Zamperlin
Pubblicato in: Journal of Logic and Computation, Numero 35, 2025, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exae046

A terminating intuitionistic calculus

Autori: Giulio Fellin, Sara Negri
Pubblicato in: The Journal of Symbolic Logic, 2024, ISSN 0022-4812
Editore: 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

Autori: Esther Anna Corsi, Hykel Hosni, Enrico Marchioni
Pubblicato in: International Journal of Approximate Reasoning, Numero 166, 2024, Pagina/e 109109, ISSN 0888-613X
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2023.109109

An alternative definition of tense operators on residuated lattices

Autori: Calomino, Ismael; Pelaitay, Gustavo; Botero, William Zuluaga
Pubblicato in: Journal of Logic and Computation, Numero 13, 2024, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exae009

Hereditarily Structurally Complete Intermediate Logics: Citkin’s Theorem Via Duality

Autori: Nick Bezhanishvili, Tommaso Moraschini
Pubblicato in: Studia Logica, Numero 111, 2023, Pagina/e 147-186, ISSN 0039-3215
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11225-022-10012-7

Reasoning with belief functions over Belnap–Dunn logic

Autori: Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer, Sajad Nazari
Pubblicato in: Annals of Pure and Applied Logic, Numero 175, 2024, Pagina/e 103338, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2023.103338

Modal reduction principles: a parametric shift to graphs

Autori: W. Conradie, K. Manoorkar, A. Palmigiano, M. Panettiere
Pubblicato in: Journal of Applied Non-Classical Logics, 2024, ISSN 1166-3081
Editore: Taylor and Francis
DOI: 10.1080/11663081.2024.2336377

Positive rigs

Autori: Matías Menni
Pubblicato in: Forum Mathematicum, 2023, ISSN 0933-7741
Editore: Walter de Gruyter GmbH & Co. KG
DOI: 10.1515/forum-2022-0271

A Study on Some Classes of Distributive Lattices with a Generalized Implication

Autori: Ismael Calomino, Jorge Castro, Sergio Celani, Luciana Valenzuela
Pubblicato in: Order, Numero 41, 2025, Pagina/e 671-691, ISSN 0167-8094
Editore: Kluwer Academic Publishers
DOI: 10.1007/s11083-023-09652-8

Deciding Equations in the Time Warp Algebra

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

Qualitative reasoning in a two-layered framework

Autori: Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer
Pubblicato in: International Journal of Approximate Reasoning, Numero Vol 154, 2023, Pagina/e 84-108, ISSN 0020-0255
Editore: Elsevier BV
DOI: 10.1016/j.ijar.2022.12.011

MAXIMALITY OF LOGIC WITHOUT IDENTITY

Autori: Guillermo BADIA, Xavier CAICEDO, & Carles NOGUERA
Pubblicato in: The Journal of Symbolic Logic, 2023, Pagina/e 1-16, ISSN 1943-5886
Editore: Cambridge Univeresity Press
DOI: 10.1017/jsl.2023.2

Lindström theorems in graded model theory

Autori: Guillermo Badia & Carles Noguera
Pubblicato in: Annals of Pure and Applied Logic, 2021, Pagina/e Volume 172, Numero 3, ISSN 0168-0072
Editore: Elsevier BV
DOI: 10.1016/j.apal.2020.102916

Subresiduated Nelson algebras

Autori: Noemí Lubomirsky, Paula Menchón, Hernán Javier San Martín
Pubblicato in: Fuzzy Sets and Systems, Numero 498, 2024, Pagina/e 109170, ISSN 0165-0114
Editore: Elsevier BV
DOI: 10.1016/j.fss.2024.109170

Toward the van Benthem Characterization Theorem for Non-Distributive Modal Logic

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

An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic.

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

Causal Kripke Models

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

Free Product Hoops

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

Rotations of Gödel Algebras with Modal Operators

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

Canonical Extensions of Conditional Probabilities and Compound Conditionals

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

Reasoning about Probability via Continuous Functions.

Autori: Tommaso Flaminio, Sandro Preto, Sara Ugolini
Pubblicato in: Proceedings of 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Editore: IJCAI
DOI: 10.24963/kr.2023/28

A Three Steps Methodological Approach to Legal Governance Validation

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

A New Calculus for Intuitionistic Strong Löb Logic: Strong Termination and Cut-Elimination, Formalised

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

A Modal Logic for Uncertainty: a Completeness Theorem

Autori: Esther Anna Corsi; Tommaso Flaminio; Lluís Godo; Hykel Hosni
Pubblicato in: Proceedings of Machine Learning Research, Numero 15, 2023, ISSN 2640-3498
Editore: Cambridge MA: JMLR

Two-Layered Logics for Paraconsistent Probabilities

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

Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report.

Autori: Pilar Dellunde, Lluís Godo, Amanda Vidal.
Pubblicato in: Proceedings of Logics in Artificial Intelligence. JELIA 2021. Lecture Notes in Computer Science, Numero JELIA 2021: 25-32, 2021, Pagina/e 25-32
Editore: Universitat Trier
DOI: 10.1007/978-3-030-75775-5_3

Compound conditionals as random quantities and Boolean algebras.

Autori: Tommaso Flaminio, Lluis Godo, Angelo Gilio, Giuseppe Sanfilippo
Pubblicato in: Proceedings of 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022, Pagina/e 141-151 , ISSN 2334-1033
Editore: IJCAI Organization
DOI: 10.24963/kr.2022/15

Maximal Theories of Product Logic

Autori: Valeria Giustarini, Sara Ugolini
Pubblicato in: Proceedings of 13th Conference of the European Society for Fuzzy Logic and Technology, EUSFLAT 2023, 2023
Editore: 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

Autori: Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil; Majer, Ondrej; Manoorkar, Krishna
Pubblicato in: Proceedings of Machine Learning Research, Numero 2, 2023, ISSN 2640-3498
Editore: Cambridge MA

Logical Characterizations of Weighted Complexity Classes

Autori: Badia G.; Droste M.; Noguera C.; Paul E.
Pubblicato in: Numero 28, 2024, ISBN 978-3-95977-335-5
Editore: 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

Autori: Tommaso Flaminio, Lluis Godo, Giuliano Rosella
Pubblicato in: Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, 2024, Pagina/e 372-382
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/kr.2024/35

Paraconsistent Gödel Modal Logic

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

Non-standard modalities in paraconsistent Gödel logic

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

Towards a Unified View on Logics for Uncertainty

Autori: Esther Anna Corsi, Tommaso Flaminio, Hykel Hosni
Pubblicato in: Lecture Notes in Computer Science, Scalable Uncertainty Management, 2024, Pagina/e 329-337
Editore: Springer International Publishing
DOI: 10.1007/978-3-031-18843-5_22

Towards an Implementation of Merging Operators in Many-Valued Logics

Autori: Vicent Costa, Pilar Dellunde
Pubblicato in: Frontiers in Artificial Intelligence and Applications, Artificial Intelligence Research and Development, 2022
Editore: IOS Press
DOI: 10.3233/faia220306

Neurosymbolic AI for Studying the Quality of Life’s Dimensions of People with Intellectual Disability

Autori: Vicent Costa, Pilar Dellunde, Diego Fraile-Parra
Pubblicato in: Frontiers in Artificial Intelligence and Applications, Artificial Intelligence Research and Development, 2024
Editore: IOS Press
DOI: 10.3233/faia240431

On Probabilistic Logical Argumentation

Autori: Pilar Dellunde, Lluís Godo, Amanda Vidal
Pubblicato in: Frontiers in Artificial Intelligence and Applications, Artificial Intelligence Research and Development, 2021
Editore: IOS Press
DOI: 10.3233/faia210111

È in corso la ricerca di dati su OpenAIRE...

Risultati finali

Pubblicazioni

Condividi questa pagina Condividi questa pagina sui social network

Scarica Scarica il contenuto della pagina