Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

Progress Report 1 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

Pubblicazioni

Decidable objects and molecular toposes (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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. (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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) (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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. (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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. (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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; Lluí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 (si apre in una nuova finestra)

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. (si apre in una nuova finestra)

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. (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0