Hafiz Budi Firmansyah,
Jose Luis Fernandez Marquez,
Oguz Mulayim,
Jorge Gomes,
& Valerio Lorini
(In Press).Accelerating Crisis Response: Automated Image Classification for Geolocating Social Media Content.Proceedings of The 2023 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM)
.
[BibTeX]
Tommaso Flaminio,
Lluís Godo,
Paula Menchón,
& Ricardo Oscar Rodríguez
(In Press).Algebras and relational frames for Gödel modal logic and some of its extensions.M. Coniglio, E. Koubychkina, & D. Zaitsev (Eds.),Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev.Springer (Also as CoRR, abs/2110.02528. http://arxiv.org/abs/2110.02528).[BibTeX]
[PDF]
Tommaso Flaminio,
& Lluís Godo
(In Press).Conditional Objects as Possibilistic Variables.The 17th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty - ECSQARU 2023
.
[BibTeX]
Nardine Osman,
Ronald Chenu-Abente,
Qiang Shen,
Carles Sierra,
& Fausto Giunchiglia
(In Press).Empowering Users in Online Open Communities.SN Computer Science.[BibTeX]
[PDF]
N Correa Mañas,
J Cerquides,
J L Arcos,
R Vassena,
& M Popovic
(2023).{A clinically robust machine learning model for selecting the first FSH dose during controlled ovarian hyperstimulation: incorporating clinical knowledge to the learning process}.Human Reproduction, 38, dead093.226.https://doi.org/10.1093/humrep/dead093.226.[BibTeX]
[PDF]
Tommaso Flaminio,
Lluis Godo,
Nicolás Madrid,
& Manuel Ojeda-Aciego
(2023).A Logic to Reason About f-Indices of Inclusion over $\L_n$.Sebastia Massanet al. (Eds.),Fuzzy Logic and Technology, and Aggregation Operators. EUSFLAT 2023, AGOP 2023(pp. 530--539).
Springer Nature Switzerland.https://doi.org/10.1007/978-3-031-39965-7_44.[BibTeX]
Esther Anna Corsi,
Tommaso Flaminio,
Lluís Godo,
& Hykel Hosni
(2023).A modal logic for uncertainty: a completeness theorem.13th International Symposium on Imprecise Probabilities: Theories and Applications - ISIPTA 2023(pp. 119-129).
[BibTeX]
[PDF]
Jordi Ganzer-Ripoll,
Natalia Criado,
Maite Lopez-Sanchez,
Simon Parsons,
& Juan A. Rodríguez-Aguilar
(2023).A model to support collective reasoning: Formalization, analysis and computational assessment.Journal of Artificial Intelligence Research.[BibTeX]
[PDF]
Francisco Salas-Molina,
Juan A. Rodríguez-Aguilar,
& Montserrat Guillén
(2023).A multidimensional review of the cash management problem.Financial Innovation, 9.[BibTeX]
[PDF]
Francisco Salas-Molina,
David Pla-Santamaria,
& Juan A. Rodríguez-Aguilar
(2023).An analytic derivation of the efficient frontier in biobjective cash management and its implications for policies.Annals of Operations Research.[BibTeX]
[PDF]
Sergio Abriola,
Santiago Cifuentes,
Maria Vanina Martinez,
Nina Pardal,
& Edwin Pin
(2023).An epistemic approach to model uncertainty in data-graphs.Int. J. Approx. Reason., 160, 108948.https://doi.org/10.1016/j.ijar.2023.108948.[BibTeX]
Damian Ariel Furman,
Pablo Torres,
Jose A. Rodriguez,
Diego Letzen,
Maria Vanina Martinez,
& Laura Alonso Alemany
(2023).An Initial Exploration of How Argumentative Information Impacts Automatic Generation of Counter-Narratives Against Hate Speech.Oana Cocarascu, Sylvie Doutre, Jean{-}Guy Mailly, & Antonio Rago (Eds.),Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning {(KR}2023), Rhodes, Greece, September 2-8, 2023(pp. 26--39).
CEUR-WS.org.https://doi.org/https://ceur-ws.org/Vol-3472/paper2.pdf.[BibTeX]
Jon {Perez-Cerrolaza},
Jaume Abella,
Markus Borg,
Carlo Donzella,
Jesús Cerquides,
Francisco J. Cazorla,
Cristofer Englund,
Markus Tauber,
George Nikolakopoulos,
& Jose Luis Flores
(2023).Artificial {{Intelligence}}for {{Safety-Critical Systems}}in {{Industrial}}and {{Transportation Domains}}: {{A Survey}}.ACM Computing Surveys.https://doi.org/10.1145/3626314.[BibTeX]
[PDF]
(2023).Benny Kimelfeld and Maria Vanina Martinez and Renzo Angles (Eds.) - Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), Santiago de Chile, Chile, May 22-26, 2023
.
CEUR-WS.org.https://doi.org/https://ceur-ws.org/Vol-3409.[BibTeX]
Bjoern Komander,
Jesus Cerquides,
& Jaume Piera
(2023).Developing and Validating Tools for the Automated Analysis and Enhancement of Online Discussions.HHAI 2023: Augmenting Human Intellect (pp 433--435).IOS Press.[BibTeX]
[PDF]
Hafiz Budi Firmansyah,
Jose Luis Fernandez-Marquez,
Jesus Cerquides,
Valerio Lorini,
Carlo Alberto Bono,
& Barbara Pernici
(2023).Enhancing Disaster Response with Automated Text Information Extraction from Social Media Images.2023 IEEE Ninth International Conference on Big Data Computing Service and Applications (BigDataService)(pp. 71--78).
[BibTeX]
Enrico Liscio,
Roger Lera-Leri,
Filippo Bistaffa,
Roel I. J. Dobbe,
Catholijn M. Jonker,
Maite López-Sánchez,
Juan A. Rodríguez-Aguilar,
& Pradeep K. Murukannaiah
(2023).Inferring Values via Hybrid Intelligence.Proceedings of the 2nd International Conference on Hybrid Human Artificial Intelligence (HHAI)(pp. In press).
[BibTeX]
[PDF]
Carlo Bono,
Oguz Mulayim,
& Barbara Pernici
(2023).Learning Early Detection of Emergencies from Word Usage Patterns on Social Media.Terje Gjøsæter, Jaziar Radianti, & Yuko Murayama (Eds.),Information Technology in Disaster Risk Reduction(pp. 308--323).
Springer Nature Switzerland.https://doi.org/10.1007/978-3-031-34207-3_20.[BibTeX]
[PDF]
A. Raes,
N. Azari-Dolatabad,
G. Athanasiou,
J.L. Arcos,
J. Cerquides,
G. Opsomer,
K. Smits,
D. Angel-Velez,
& A. {Van Soom}
(2023).Measuring cumulus expansion of bovine cumulus-oocyte complexes: comparing the reliability of three methods.Animal - science proceedings, 14, 449-450.https://doi.org/10.1016/j.anscip.2023.03.032.[BibTeX]
[PDF]
Tommaso Flaminio,
Angelo Gilio,
Lluis Godo,
& Giuseppe Sanfilippo
(2023).On conditional probabilities and their canonical extensions to Boolean algebras of compound conditionals.International Journal of Approximate Reasoning, 159, 108943.https://doi.org/10.1016/j.ijar.2023.108943.[BibTeX]
[PDF]
Sergio Abriola,
Maria Vanina Martinez,
Nina Pardal,
Santiago Cifuentes,
& Edwin Pin Baque
(2023).On the Complexity of Finding Set Repairs for Data-Graphs.J. Artif. Intell. Res., 76, 721--759.https://doi.org/10.1613/jair.1.13994.[BibTeX]
[PDF]
Gaston E. Zanitti,
Yamil Soto,
Valentin Iovene,
Maria Vanina Martinez,
Ricardo Oscar Rodriguez,
Gerardo I. Simari,
& Demian Wassermann
(2023).Scalable Query Answering Under Uncertainty to Neuroscientific Ontological Knowledge: The NeuroLang Approach.Neuroinformatics, 21, 407--425.https://doi.org/10.1007/s12021-022-09612-4.[BibTeX]
[PDF]
Joel Arweiler,
Cihan Ates,
Jesus Cerquides,
Rainer Koch,
& Hans-Jörg Bauer
(2023).Similarity-{{Based Framework}}for {{Unsupervised Domain Adaptation}}: {{Peer Reviewing Policy}}for {{Pseudo-Labeling}}.Machine Learning and Knowledge Extraction, 5, 1474--1492.https://doi.org/10.3390/make5040074.[BibTeX]
[PDF]
Hafiz Budi Firmansyah,
Jose Luis {Fernandez-Marquez},
Jesus Cerquides,
& Giovanna Di Marzo Serugendo
(2023).Single or Ensemble Model ? {{A}}Study on Social Media Images Classification in Disaster Response.The 10th {{Multidisciplinary International Social Networks Conference}}(pp. 48--54).
{Association for Computing Machinery}.https://doi.org/10.1145/3624875.3624884.[BibTeX]
[PDF]
Becky White,
Arnault Gombert,
Tim Nguyen,
Brian Yau,
Atsuyoshi Ishizumi,
Laura Kirchner,
Alicia Leon,
Harry Wilson,
Giovanna Jaramillo-Gutierrez,
Jesus Cerquides,
& others
(2023).Using artificial intelligence to inform infodemic insights: The development of the who ears platform.APHA 2023 Annual Meeting and Expo
.
[BibTeX]
Becky K White,
Arnault Gombert,
Tim Nguyen,
Brian Yau,
Atsuyoshi Ishizumi,
Laura Kirchner,
Alicia León,
Harry Wilson,
Giovanna Jaramillo-Gutierrez,
Jesus Cerquides,
Marcelo D'Agostino,
Cristiana Salvi,
Ravi Shankar Sreenath,
Kimberly Rambaud,
Dalia Samhouri,
Sylvie Briand,
& Tina D Purnat
(2023).Using Machine Learning Technology (Early Artificial Intelligence--Supported Response With Social Listening Platform) to Enhance Digital Social Understanding for the COVID-19 Infodemic: Development and Implementation Study.JMIR Infodemiology, 3, e47317.https://doi.org/10.2196/47317.[BibTeX]
[PDF]
Becky K. White,
Arnault Gombert,
Tim Nguyen,
Brian Yau,
Atsuyoshi Ishizumi,
Laura Kirchner,
Alicia León,
Harry Wilson,
Giovanna {Jaramillo-Gutierrez},
Jesus Cerquides,
Marcelo D'Agostino,
Cristiana Salvi,
Ravi Shankar Sreenath,
Kimberly Rambaud,
Dalia Samhouri,
Sylvie Briand,
& Tina D. Purnat
(2023).Using {{Machine Learning Technology}}({{Early Artificial Intelligence}}\textendash{{Supported Response With Social Listening Platform}}) to {{Enhance Digital Social Understanding}}for the {{COVID-19 Infodemic}}: {{Development}}and {{Implementation Study}}.JMIR Infodemiology, 3, e47317.https://doi.org/10.2196/47317.[BibTeX]
[PDF]
Enrico Liscio,
Roger Lera-Leri,
Filippo Bistaffa,
Roel I. J. Dobbe,
Catholijn M. Jonker,
Maite López-Sánchez,
Juan A. Rodríguez-Aguilar,
& Pradeep K. Murukannaiah
(2023).Value Inference in Sociotechnical Systems.Proceedings of the 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS)(pp. 1774-1780).
[BibTeX]
[PDF]
Damian Ariel Furman,
Pablo Torres,
Jose A. Rodriguez,
Diego Letzen,
Maria Vanina Martinez,
& Laura Alonso Alemany
(2023).Which Argumentative Aspects of Hate Speech in Social Media can be reliably identified?.CoRR, abs/2306.02978.https://doi.org/10.48550/arXiv.2306.02978.[BibTeX]
2022
Albert L\'{o}pez Serrano,
& Christian Blum
(2022).A Biased Random Key Genetic Algorithm Applied to Target Set Selection in Viral Marketing.Proceedings of the Genetic and Evolutionary Computation Conference(pp. 241–250).
Association for Computing Machinery.https://doi.org/10.1145/3512290.3528785.[BibTeX]
Tomas Trescak,
Roger Lera-Leri,
Filippo Bistaffa,
& Juan A. Rodríguez-Aguilar
(2022).Agent-Assisted Life-Long Education and Learning.Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems
.
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Pol Alexandra Popartan,
Toni Perello-Moragues,
Pablo Noriega,
David Sauri,
Manel Poch,
& Maria Molinos-Senante
(2022).Agent-based modelling to simulate the socio-economic effects of implementing time-of-use tariffs for domestic water.Sustainable Cities and Society, 86, 104118.https://doi.org/10.1016/j.scs.2022.104118.[BibTeX]
[PDF]
Jianglin Qiao,
Dave de Jonge,
Dongmo Zhang,
Carles Sierra,
& Simeon Simoff
(2022).A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles.Reyhan Aydogan, Natalia Criado, Jerôme Lang, Victor Sanchez-Anguix, & Marc Serramia (Eds.),{PRIMA}2022: Principles and Practice of Multi-Agent Systems - 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings(pp. 208--226).
Springer.https://doi.org/10.1007/978-3-031-21203-1\_13.[BibTeX]
Athina Georgara,
Juan A. Rodríguez-Aguilar,
& Carles Sierra
(2022).Allocating teams to tasks: an anytime heuristic competence-based approach.Dorothea Baumeister, & Jörg Rothe (Eds.),Multi-Agent Systems - 19th European Conference, {EUMAS}2022, Düsseldorf, Germany, September 14-16, 2022, Revised Selected Papers
.
Springer International Publishing.[BibTeX]
[PDF]
Dave de Jonge
(2022).An Analysis of the Linear Bilateral {ANAC}Domains Using the {M}i{CRO}Benchmark Strategy.Luc Raedt (Eds.),Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI}2022, Vienna, Austria, 23-29 July 2022(pp. 223--229).
ijcai.org.https://doi.org/10.24963/ijcai.2022/32.[BibTeX]
[PDF]
Athina Georgara,
Juan A. Rodríguez-Aguilar,
Carles Sierra,
Ornella Mich,
Raman Kazhamiakin,
Alessio P. Approsio,
& Jean-Christophe Pazzaglia
(2022).An Anytime Heuristic Algorithm for Allocating Many Teams to Many Tasks.Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems
.
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Juan C. L. Teze,
Lluís Godo,
& Gerardo I. Simari
(2022).An Approach to Improve Argumentation-Based Epistemic Planning with Contextual Preferences.International Journal of Approximate Reasoning, 151, 130-163.https://doi.org/10.1016/j.ijar.2022.09.005.[BibTeX]
[PDF]
Georgina Curto,
Nieves Montes,
Carles Sierra,
Nardine Osman,
& Flavio Comim
(2022).A norm optimisation approach to {SDGs}: tackling poverty by acting on discrimination.Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
.
International Joint Conferences on Artificial Intelligence Organization.https://doi.org/10.24963/ijcai.2022/726.[BibTeX]
Marko Djukanovic,
Dragan Matic,
Christian Blum,
& Aleksandar Kartelj
(2022).Application of A{\$}{\$}^*{\$}{\$}to the Generalized Constrained Longest Common Subsequence Problem with Many Pattern Strings.Moun{\\^i}m El Yacoubi, Eric Granger, Pong Chi Yuen, Umapada Pal, & Nicole Vincent (Eds.),Pattern Recognition and Artificial Intelligence(pp. 53--64).
Springer International Publishing.[BibTeX]
Mehmet An{\i}l Akbay,
Albert López Serrano,
& Christian Blum
(2022).A Self-Adaptive Variant of CMSA: Application to the Minimum Positive Influence Dominating Set Problem.International Journal of Computational Intelligence Systems, 15, 44.https://doi.org/10.1007/s44196-022-00098-1.[BibTeX]
[PDF]
Piotr Romashov,
Martin Gjoreski,
Kacper Sokol,
Maria Vanina Martinez,
& Marc Langheinrich
(2022).BayCon: Model-agnostic Bayesian Counterfactual Generator.Luc De Raedt (Eds.),Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI}2022, Vienna, Austria, 23-29 July 2022(pp. 740--746).
ijcai.org.https://doi.org/10.24963/ijcai.2022/104.[BibTeX]
Chu-Min Li,
Zhenxing Xu,
Jordi Coll,
Felip Manyà,
Djamal Habet,
& Kun He
(2022).Boosting branch-and-bound MaxSAT solvers with clause learning.AI Communications, 35, 131-151.https://doi.org/10.3233/AIC-210178.[BibTeX]
Athina Georgara,
Juan A. Rodríguez-Aguilar,
& Carles Sierra
(2022).Building Contrastive Explanations for Multi-Agent Team Formation.Proceedings of the 21st International Conference on Autonomous Agents and MultiAgent Systems
.
International Foundation for Autonomous Agents and Multiagent Systems.[BibTeX]
[PDF]
Tommaso Flaminio,
Angelo Gilio,
Lluís Godo,
& Giuseppe Sanfilippo
(2022).Canonical Extensions of Conditional Probabilities and Compound Conditionals.Davide Ciucci al. (Eds.),17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022)(pp. 584--597).
Springer International Publishing.https://doi.org/10.1007/978-3-031-08974-9_47.[BibTeX]
[PDF]
Tommaso Flaminio,
Angelo Gilio,
Lluís Godo,
& Giuseppe Sanfilippo
(2022).Compound Conditionals as Random Quantities and Boolean Algebras.Gabriele Kern{-}Isberner, Gerhard Lakemeyer, & Thomas Meyer (Eds.),Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, {KR}2022, Haifa, Israel. July 31 - August 5, 2022(pp. 141-151).
https://doi.org/10.24963/kr.2022/15.[BibTeX]
[PDF]
Pablo Noriega,
Harko Verhagen,
Julian Padget,
& Mark d'Inverno
(2022).Design Heuristics for Ethical Online Institutions.Nirav Ajmeri, Andreasa Morris Martin, & Bastin Tony Roy Savarimuthu (Eds.),Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XV(pp. 213--230).
Springer International Publishing.[BibTeX]
[PDF]
John Grant,
Maria Vanina Martinez,
Cristian Molinaro,
& Francesco Parisi
(2022).Dimensional Inconsistency Measures and Postulates in Spatio-Temporal Databases (Extended Abstract).Luc De Raedt (Eds.),Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI}2022, Vienna, Austria, 23-29 July 2022(pp. 5742--5746).
ijcai.org.https://doi.org/10.24963/ijcai.2022/802.[BibTeX]
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2022).Embodied Sense-Making of Diagrams as Conceptual Blending with Image Schemas.Maria M. Hedblom, & Oliver Kutz (Eds.),Proceedings of the Sixth Image Schema Day, Jönköping, Sweden, March 24-25th, 2022
.
CEUR-WS.org.[BibTeX]
[PDF]
Nieves Montes
(2022).Engineering Socially-Oriented Autonomous Agents and Multiagent Systems.Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence
.
International Joint Conferences on Artificial Intelligence Organization.https://doi.org/10.24963/ijcai.2022/833.[BibTeX]
Thiago Freitas Dos Santos,
Nardine Osman,
& Marco Schorlemmer
(2022).Ensemble and Incremental Learning for Norm Violation Detection.Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, & Matthew E. Taylor (Eds.),21st International Conference on Autonomous Agents and Multiagent Systems, {AAMAS}2022, Auckland, New Zealand, May 9-13, 2022(pp. 427--435).
International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).https://doi.org/10.5555/3535850.3535899.[BibTeX]
Dimitra Bourou,
Marco Schorlemmer,
& Enric Plaza
(2022).Euler vs Hasse Diagrams for Reasoning About Sets: A Cognitive Approach.Valeria Giardino, Sven Linker, Richard Burns, Francesco Bellucci, Jean-Michel Boucheix, & Petrucio Viana (Eds.),Diagrammatic Representation and Inference - 13th International Conference, Diagrams 2022, Rome, Italy, September 14-16, 2022, Proceedings(pp. 151--167).
Springer.https://doi.org/10.1007/978-3-031-15146-0_13.[BibTeX]
Dave de Jonge,
& Dongmo Zhang
(2022).{GDL}as a Unifying Domain Description Language for Declarative Automated Negotiation.Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, & Matthew E. Taylor (Eds.),21st International Conference on Autonomous Agents and Multiagent Systems, {AAMAS}2022, Auckland, New Zealand, May 9-13, 2022(pp. 1935--1937).
International Foundation for Autonomous Agents and Multiagent Systems {(IFAAMAS)}.https://doi.org/10.5555/3535850.3536158.[BibTeX]
[PDF]
Marko Djukanović,
Aleksandar Kartelj,
Dragan Matić,
Milana Grbić,
Christian Blum,
& Günther R. Raidl
(2022).Graph search and variable neighborhood search for finding constrained longest common subsequences in artificial and real gene sequences.Applied Soft Computing, 122, 108844.https://doi.org/10.1016/j.asoc.2022.108844.[BibTeX]
[PDF]
Thomas Lukasiewicz,
Enrico Malizia,
Maria Vanina Martinez,
Cristian Molinaro,
Andreas Pieris,
& Gerardo I. Simari
(2022).Inconsistency-tolerant query answering for existential rules.Artif. Intell., 307, 103685.https://doi.org/10.1016/j.artint.2022.103685.[BibTeX]
Borja Velasco,
Jose L Fernandez-Marquez,
Nerea Luqui,
Jesus Cerquides,
Josep Lluis Arcos,
Analia Fukelman,
& Josep Perelló
(2022).Is the phase of the menstrual cycle relevant when getting the covid-19 vaccine?.American Journal of Obstetrics & Gynecology.[BibTeX]
[PDF]
Pablo Noriega,
& Pompeu Casanovas
(2022).La Gobernanza de los Sistemas Artificiales Inteligentes.Olivia Velarde Hermida, & Manuel Martin Serrano (Eds.),Mirando hacia el futuro. Cambios sociohistoricos vinculados a la virtualizacion (pp 115-143).Centro de Investigaciones Sociologicas.[BibTeX]
[PDF]
Fabio R. Gallo,
Gerardo I. Simari,
Maria Vanina Martinez,
Natalia Abad Santos,
& Marcelo A. Falappa
(2022).Local Belief Dynamics in Network Knowledge Bases.{ACM}Trans. Comput. Log., 23, 4:1--4:36.https://doi.org/10.1145/3477394.[BibTeX]
Jerónimo Hernández-González,
Olga Valls,
Adrián Torres-Martín,
& Jesús Cerquides
(2022).Modeling three sources of uncertainty in assisted reproductive technologies with probabilistic graphical models.Computers in Biology and Medicine, 150, 106160.https://doi.org/10.1016/j.compbiomed.2022.106160.[BibTeX]
[PDF]
Guillem Rodríguez Corominas,
Christian Blum,
& Maria J. Blesa
(2022).Negative Learning Ant Colony Optimization for Network Alignment.Proceedings of the Genetic and Evolutionary Computation Conference(pp. 278–286).
Association for Computing Machinery.https://doi.org/10.1145/3512290.3528795.[BibTeX]
Manfred Schmidt-Schauss,
Temur Kutsia,
Jordi Levy,
Mateu Villaret,
& Yunus D. K. Kutz
(2022).Nominal Unification and Matching of Higher Order Expressions with Recursive Let.Fundam. Informaticae, 185, 247--283.https://doi.org/10.3233/FI-222110.[BibTeX]
[PDF]
Tommaso Flaminio,
Lluís Godo,
Paula Menchón,
& Ricardo O. Rodriguez
(2022).Rotations of Gödel Algebras with Modal Operators.Davide Ciucci al. (Eds.),17th Intl. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2022)(pp. 676--688).
Springer International Publishing.https://doi.org/10.1007/978-3-031-08971-8_55.[BibTeX]
[PDF]