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
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
Implementation of the project website and first actions on dissemination and communication activities
Pubblicazioni
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Autori:
Rafal Gruszcynski & Paula Menchón
Pubblicato in:
Studia Logica, 2023, ISSN 1988-348X
Editore:
Springer
DOI:
10.1007/s11225-022-10022-5
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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