Skip to main content

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

Deliverables

First TAILOR Conference

Organize the first TAILOR conference

Communication material (flyer, poster, video, etc.) v.1

Material arising from the project will be regularly distributed using traditional poster flyers etc created by partners We will create an archive of these materials and pdfs for wider reproduction and display A first set of communication material will be realized at M6 presenting project concept and objectives and then a second set will be realized at M30 showing project findings and outcome

Training platform, beta platform

Training platform beta platform

Project website and Trustworthy AI repository

The structure of the project website will have to be developed in consultation with all partners The website will include links to the main social media Twitter Facebook LinkedIn and a reserved area for the partners access only that will be used to exchange information between the project partners The Trustworthy AI repository will take the form of a thematic section on the AI ondemand platform developed by the AI4EU project if that proves feasible alternatively the repository will be separate web site with crosslinks to the project web site and the AI ondemand platform

Connectivity Fund operational

Connectivity Fund operational first call issued review committee formed

Connectivity Fund call 1

Calls every 4 months with short report

AutoAI Benchmarks v.1

Version 1 of AutoAI Benchmarks Curated regular evaluations of AutoAI techniques and their contribution to trustworthiness to measure and monitor progress in the field

Project quality plan

The project quality plan the project handbook constitutes a set of project templates explanations on the project management process the review process quality checks meeting organisation which is communicated to all partners

Connectivity Fund call 2

Calls every 4 months with short report

Dissemination Plan, v.1

An initial Dissemination Plan to drive the early dissemination and to possibly adjust the project requirement towards more adequately publishable results will be realized at M6 and then a final version at M28

Codalab TAILOR templates

Codalab TAILOR templates tested and provided

Data Management Plan

A Data Management Plan will be prepared to describe which data will be generated collected and processed within the TAILOR project

Searching for OpenAIRE data...

Publications

Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics Plus Integer Linear Programming

Author(s): Miguel Ángel Domínguez-Ríos, Francisco Chicano, Enrique Alba
Published in: 24th International Conference, EvoApplications 2021, 2021, Page(s) 242-257, ISBN 978-3-030-72699-7
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-72699-7_16

Quantum Computing: Present and Prospects

Author(s): Rodrigo Gil-Merino, Enrique Alba, Jose Francisco Chicano, Zakaria Abdelmoiz Dahi, Gabriel Luque
Published in: 19th Conference of the Spanish Association for Artificial Intelligence (CAEPIA), 2021, Page(s) 947-952, ISBN 978-84-09-30514-8
Publisher: CAEPIA

Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots

Author(s): Daniel Habering; Till Hofmann; Gerhard Lakemeyer
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 1908-1914
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/263

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Author(s): Kin Max Gusmão; Ramon Fraga Pereira; Felipe Meneguzzi
Published in: arxiv, 2021
Publisher: Cornell University
DOI: 10.48550/arxiv.2102.11791

Graph Mixture Density Networks

Author(s): Federico Errica, Davide Bacciu, Alessio Micheli
Published in: Proceedings of the 38th International Conference on Machine Learning, PMLR, 2021
Publisher: PMLR
DOI: 10.48550/arxiv.2012.03085

Efficient and Reliable Probabilistic Interactive Learning with Structured Outputs

Author(s): Teso, Stefano; Vergari, Antonio
Published in: AAAI-22 Workshop on Interactive Machine Learning, 2022
Publisher: Online
DOI: 10.48550/arxiv.2202.08566

New Refinement Strategies for Cartesian Abstractions

Author(s): David Speck; Jendrik Seipp
Published in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Publisher: AAAI

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs

Author(s): Giuseppe De Giacomo; Paolo Felli; Marco Montali; Giuseppe Perelli
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 1859-1865
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/256

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up

Author(s): Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 1766-1772
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/243

Europarl-ASR: A Large Corpus of Parliamentary Debates for Streaming ASR Benchmarking and Speech Data Filtering/Verbatimization

Author(s): Garcés Díaz-Munío, Gonçal V; Silvestre-Cerdà, Joan Albert ; Jorge, Javier; Giménez, Adrià; Iranzo-Sánchez, Javier; Baquero-Arnal, Pau; Roselló, Nahuel; Pérez-González-de-Martos, Alejandro; Civera, Jorge; Sanchis, Albert; Juan, Alfons
Published in: Proc. Interspeech 2021, 2021
Publisher: Interspeech
DOI: 10.21437/interspeech.2021-1905

DeepStochLog: Neural Stochastic Logic Programming

Author(s): Thomas Winters, Giuseppe Marra, Robin Manhaeve, Luc De Raedt
Published in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Publisher: AAAI Press
DOI: 10.48550/arxiv.2106.12574

Generalized Planning as Heuristic Search

Author(s): Segovia-Aguas, Javier; Jiménez, Sergio; Jonsson, Anders
Published in: Generalized Planning as Heuristic Search, 57, 2021
Publisher: ICAPS Arxiv

Parallel/Distributed Intelligent Hyperparameters Search for Generative Artificial Neural Networks

Author(s): Mathias Esteban, Jamal Toutouh, Sergio Nesmachnow
Published in: International Workshops ISC High Performance Digital 2021, 2021, Page(s) 297-313, ISBN 978-3-030-90539-2
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-90539-2_20

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Author(s): Leonardo Rosa Amado; Ramon Fraga Pereira; Felipe Meneguzzi
Published in: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, 2021, ISBN 9781450383073
Publisher: International Foundation for Autonomous Agents and Multiagent Systems

A Compositional Atlas of Tractable Circuit Operations: From Simple Transformations to Complex Information-Theoretic Queries

Author(s): Vergari, Antonio; Choi, YooJung; Liu, Anji; Teso, Stefano; Broeck, Guy Van den
Published in: Advances in Neural Information Processing Systems, 2021
Publisher: Neural Information Processing Systems Foundation, Inc. (NIPS)

Dantzig-Wolfe Decomposition for Cost Partitioning

Author(s): Florian Pommerening; Thomas Keller; Valentina Halasi; Jendrik Seipp; Silvan Sievers; Malte Helmert
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Page(s) 271-280
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84307

Query Definability and Its Approximations in Ontology-based Data Management

Author(s): Gianluca Cima, Federico Croce, Maurizio Lenzerini
Published in: CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1 - 5, 2021, 2021
Publisher: Association for Computing Machinery, inc

Toward a Unified Framework for Debugging Gray-box Models

Author(s): Bontempelli, Andrea; Giunchiglia, Fausto; Passerini, Andrea; Teso, Stefano
Published in: Interactive Machine Learning workshop (IML) at AAAI'22, 2022
Publisher: none

Online Saturated Cost Partitioning for Classical Planning

Author(s): Jendrik Seipp
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Page(s) 317-321
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84300

MEG: Generating Molecular Counterfactual Explanations for Deep Graph Networks

Author(s): Numeroso, Danilo; Bacciu, Davide
Published in: Proceedings of the International Joint Conference on Neural Networks (IJCNN 2021), 48, 2021
Publisher: IEEE
DOI: 10.1109/ijcnn52387.2021.9534266

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

Author(s): Giuseppe De Giacomo; Aniello Murano; Fabio Patrizi; Giuseppe Perelli
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Page(s) 227–236
Publisher: IJCAI

Multi-Model Monitoring Framework for Hybrid Process Specifications

Author(s): Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin
Published in: 34th International Conference on Advanced Information Systems Engineering, 2022
Publisher: Springer

Explaining Any Time Series Classifier

Author(s): Riccardo Guidotti, Anna Monreale, Francesco Spinnato, Dino Pedreschi, Fosca Giannotti
Published in: 2020 IEEE Second International Conference on Cognitive Machine Intelligence (CogMI), 2020
Publisher: IEEE
DOI: 10.1109/cogmi50398.2020.00029

Exploiting Cyclic Dependencies in Landmark Heuristics.

Author(s): Clemens Büchner; Thomas Keller; Malte Helmert
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Page(s) 65-73
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84308

Beyond Simple Images: Human Knowledge-Guided GANs for Clinical Data Generation,

Author(s): Devendra Singh Dhami, Mayukh Das and Sriraam Natarajan
Published in: International Conference on Principles of Knowledge Representation and Reasoning, 18, 2021
Publisher: IJCAI organization

Subset-Saturated Transition Cost Partitioning

Author(s): Dominik Drexler; Jendrik Seipp; David Speck
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Page(s) 131-139
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84301

Automatic Instance Generation for Classical Planning

Author(s): Álvaro Torralba; Jendrik Seipp; Silvan Sievers
Published in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Page(s) 376-384
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84291

NAS-Bench-Suite: NAS Evaluation is (Now) Surprisingly Easy

Author(s): Yash Mehta, Colin White, Arber Zela, Arjun Krishnakumar, Guri Zabergja, Shakiba Moradian, Mahmoud Safari, Kaicheng Yu, Frank Hutter
Published in: The Tenth International Conference on Learning Representations, 2022
Publisher: International Conference on Learning Representations

A new approach for cross-silo federated learning and its privacy risks

Author(s): Michele Fontana, Francesca Naretto, Anna Monreale
Published in: 2021 18th International Conference on Privacy, Security and Trust (PST), 2021
Publisher: IEEE
DOI: 10.1109/pst52912.2021.9647753

Non-Parametric Learning of Embeddings for Relational Data using Gaifman Locality Theorem

Author(s): Devendra Singh Dhami, Siwen Yan, Gautam Kunapuli and Sriraam Natarajan
Published in: International Conference on Inductive Logic Programming, 30, 2021
Publisher: Springer

Exemplars and Counterexemplars Explanations for Image Classifiers, Targeting Skin Lesion Labeling

Author(s): C. Metta, R. Guidotti, S. Rinzivillo
Published in: 2021 IEEE Symposium on Computers and Communications (ISCC), 2021, 2021
Publisher: IEEE
DOI: 10.1109/iscc53001.2021.9631485

2020 Merge, Explain, Iterate

Author(s): M. Homola, J. Pukancová, J. Gablíková, K. Fabianová
Published in: Proceedings of the 33rd International Workshop on Description Logics (DL 2020), 2020, ISSN 1613-0073
Publisher: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Designing Shapelets for Interpretable Data-Agnostic Classification

Author(s): Riccardo Guidotti; Anna Monreale
Published in: AIES, 34, 2021, ISBN 9781450384735
Publisher: Association for Computing Machinery
DOI: 10.1145/3461702.3462553

Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width

Author(s): Dominik Drexler; Jendrik Seipp; Hector Geffner
Published in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Publisher: AAAI

Generalized Temporal Inference via Planning

Author(s): Diego Aineto; Sergio Jiménez; Eva Onaindia
Published in: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 2021, Page(s) 22--31
Publisher: IJCAI
DOI: 10.24963/kr.2021/3

NAS-Bench-x11 and the Power of Learning Curves

Author(s): Shen Yan, Colin White, Yash Savani, Frank Hutter
Published in: Thirty-Fifth Conference on Neural Information Processing Systems, 2021
Publisher: Advances in Neural Information Processing Systems

Robust Solutions for Multi-Defender Stackelberg Security Games

Author(s): Mutzari Yonatan Aumann and Sarit Kraus
Published in: IJCAI 2022, 2022
Publisher: IJCAI

SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming

Author(s): Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Singh Dhami and Kristian Kersting
Published in: International Conference on Principles of Knowledge Representation and Reasoning, 19, 2022
Publisher: IJCAI Organization

Hybrid probabilistic inference with logical and algebraic constraints: a survey

Author(s): Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini
Published in: Proceedings of the 30th International Joint Conference on Artificial Intelligence, 2021, Page(s) 4533-4542, ISBN 978-0-9992411-9-6
Publisher: International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2021/617

Learning First-Order Representations for Planning from Black-Box States: New Results

Author(s): Rodriguez, Ivan D; Bonet, Blai; Romero, Javier; Geffner, Hector
Published in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Publisher: IJCAI

Benchmarking Approximate Consistent Query Answering (Discussion Paper)

Author(s): Marco Calautti, Marco Console, Andreas Pieris
Published in: Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021, 2021, 2021
Publisher: CEUR

Efficient PAC Reinforcement Learning in Regular Decision Processes

Author(s): Alessandro Ronca; Giuseppe De Giacomo
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence., 59, 2021
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/279

On-the-fly Synthesis for LTL over Finite Traces

Author(s): Xiao, S.; Li, J.; Zhu, S.; Shi, Y.; Pu, G., Vardi, M.
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Page(s) 6530-6537
Publisher: AAAI

Negative Side Effects and AI Agent Indicators: Experiments in SafeLife

Author(s): J Burden, J Hernández-Orallo
Published in: SafeAI@AAAI, 2021
Publisher: CEUR-Ws

Privacy Risk Assessment of Individual Psychometric Profiles

Author(s): Giacomo Mariani, Anna Monreale, and Francesca Naretto
Published in: Discovery Science. DS 2021. Lecture Notes in Computer Science, 12986, 2021, ISBN 978-3-030-88941-8
Publisher: Springer
DOI: 10.1007/978-3-030-88942-5_32

Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic

Author(s): Daxin Liu; Gerhard Lakemeyer
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 1951-1958
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/269

Approximate Novelty Search

Author(s): Singh, A.; Lipovetzky, N.; Ramirez, M.; Segovia-Aguas, J.
Published in: Proceedings of the International Conference on Automated Planning and Scheduling, 2021
Publisher: AAAI

Efficient Generation of Structured Objects with Constrained Adversarial Networks

Author(s): Di Liello, Luca; Ardino, Pierfrancesco; Gobbi, Jacopo; Morettin, Paolo; Teso, Stefano; Passerini, Andrea
Published in: Advances in Neural Information Processing Systems, 2020
Publisher: Neural Information Processing Systems

Explainable Planner Selection for Classical Planning

Author(s): Patrick Ferber; Jendrik Seipp
Published in: The 36th AAAI Conference on Artificial Intelligence, 2022
Publisher: AAAI

Delete-Relaxation Heuristics for Lifted Classical Planning

Author(s): Corrêa, A. B.; Francès, G.; Pommerening, F.; Helmert, M.
Published in: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021
Publisher: AAAI

Graphgen-redux: a Fast and Lightweight Recurrent Model for labeled Graph Generation

Author(s): Davide Bacciu; Marco Podda
Published in: IJCNN, 42, 2021, ISBN 978-1-6654-3900-8
Publisher: IEEE
DOI: 10.1109/ijcnn52387.2021.9533743

On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces

Author(s): Lamanna, L.; Gerevini, A. E.; Saetti, A.; Serafini, L.; Traverso, P.
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Page(s) 11862-11869
Publisher: AAAI

Explaining Any Time Series Classifier

Author(s): Riccardo Guidotti and Anna Monreale and Francesco Spinnato and Dino Pedreschi and Fosca Giannotti
Published in: 2nd IEEE International Conference on Cognitive Machine Intelligence, CogMI 2020, 2020, Page(s) 167-176, ISBN 978-1-7281-4144-2
Publisher: IEEE
DOI: 10.1109/cogmi50398.2020.00029

Interpretable Next Basket Prediction Boosted with Representative Recipes

Author(s): R. Guidtotti, S. Viotto
Published in: 2020 IEEE Second International Conference on Cognitive Machine Intelligence (CogMI), 2021
Publisher: IEEE
DOI: 10.1109/cogmi50398.2020.00018

A neuro-symbolic approach to structured event recognition

Author(s): Apriceno, Gianluca ; Passerini, Andrea ; Serafini, Luciano
Published in: 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)., 2021
Publisher: Dagstuhl Publishing

Modeling Edge Features with Deep Bayesian Graph Networks

Author(s): Daniele Atzeni; Davide Bacciu; Federico Errica; Alessio Micheli
Published in: IJCNN, 6, 2021
Publisher: IEEE
DOI: 10.1109/ijcnn52387.2021.9533430

Co-creating Platformer Levels with Constrained Adversarial Networks

Author(s): Paolo Morettin, Andrea Passerini, Stefano Teso
Published in: Proceedings of the 2nd Workshop on Human-AI Co-Creation with Generative Models, 2021
Publisher: CEUR Workshop Proceedings

General Policies, Representations, and Planning Width

Author(s): Bonet, Blai; Geffner, Hector
Published in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021, Page(s) 11764--11773
Publisher: AAAI

A Survey on Goal Recognition as Planning

Author(s): Felipe Meneguzzi; Ramon Fraga Pereira
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, Survey Track, 2021, Page(s) 4524-4532
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/616

On Weak Stubborn Sets in Classical Planning

Author(s): Silvan Sievers; Martin Wehrle
Published in: Proceedings of the 30th International Joint Conference on Artificial Intelligence, 2021, Page(s) 4167-4174
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/573

Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches

Author(s): Drexler, Dominik; Seipp, Jendrik; Geffner, Hector
Published in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Publisher: IJCAI

Learning Generalized Unsolvability Heuristics for Classical Planning

Author(s): Simon Ståhlberg; Guillem Francès; Jendrik Seipp
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 4175-4181
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/574

The FF Heuristic for Lifted Classical Planning

Author(s): Augusto B. Corrêa; Florian Pommerening; Malte Helmert; Guillem Francès
Published in: Proceedings of the 36th AAAI Conference on Artificial Intelligence, 2022
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84309

Citizen Centric Optimal Electric Vehicle Charging Stations Locations in a Full City: Case of Malaga

Author(s): Christian Cintrano; Jamal Toutouh; Jamal Toutouh; Enrique Alba
Published in: 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA, 68, 2021, Page(s) 247-257, ISBN 978-3-030-85713-4
Publisher: Springer
DOI: 10.1007/978-3-030-85713-4_24

Identifying Privacy Risks raised by Utility Queries

Author(s): Asghar, Hira and Bobineau, Christophe and Rousset, Marie-Christine
Published in: 23rd International conference on Web Information Systems Engineering (WISE 2022), 2022, ISBN 978-3-031-20891-1
Publisher: SPRINGER

Multi-Objective Reinforcement Learning for Designing Ethical Environments

Author(s): Manel Rodriguez-Soto, Maite Lopez-Sanchez, Juan A. Rodriguez Aguilar
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI-21}, 2021
Publisher: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2021/76

Contextual Conditional Reasoning

Author(s): Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 35 (7), 2021, Page(s) 6254-6261
Publisher: AAAI Press

Learning from Non-Binary Constituency Trees via Tensor Decomposition

Author(s): Daniele Castellana; Davide Bacciu
Published in: COLING, 37, 2021, ISSN 2161-4407
Publisher: International Committee on Computational Linguistics
DOI: 10.18653/v1/2020.coling-main.346

Flexible FOND Planning with Explicit Fairness Assumptions

Author(s): Rodriguez, Ivan D.; Bonet, Blai; Sardina, Sebastian; Geffner, Hector
Published in: The 31st International Conference on Automated Planning and Scheduling, 2021, Page(s) 290--298
Publisher: AAAI

Hybridization of Racing Methods with Evolutionary Operators for Simulation Optimization of Traffic Lights Programs

Author(s): Christian Cintrano, Javier Ferrer, Manuel López-Ibáñez, Enrique Alba
Published in: Proceedings of the 21st European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP 2021), Held as Part of EvoStar 2021, 2021, Page(s) 17-33, ISBN 978-3-030-72904-2
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-72904-2_2

An Audit of Misinformation Filter Bubbles on YouTube: Bubble Bursting and Recent Behavior Changes

Author(s): M. Tomlein, M. Kompan, M. Bielikova et al
Published in: Fifteenth ACM Conference on Recommender Systems, 2021, ISBN 978-1-4503-8458-2
Publisher: RecSys '22: Sixteenth ACM Conference on Recommender Systems
DOI: 10.1145/3460231.3474241

Model-theoretic Characterizations of Rule-based Ontologies

Author(s): Marco Console, Phokion Kolaitis, Andreas Pieris
Published in: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021, 2021, 2021
Publisher: Association for Computer Machinery, inc.

A Machine Learning-Based Approach for Economics-Tailored Applications: The Spanish Case Study

Author(s): Zakaria Abdelmoiz Dahi , Gabriel Luque, Enrique Alba
Published in: 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, 2022, Page(s) xx-xx, ISSN 0302-9743
Publisher: Springer
DOI: 10.1007/978-3-031-02462-7_36

Learning General Planning Policies from Small Examples Without Supervision

Author(s): Francès, Guillem; Bonet, Blai; Geffner, Hector
Published in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021, Page(s) 11801--11808
Publisher: AAAI

Think Big, Teach Small:Do Language Models Distil Occam’s Razor?

Author(s): G Jaimovitch, DC Falcon, C Ferri, JH Orallo
Published in: (NeurIPS 2021, 2021
Publisher: Neurips

Iterative Depth-First Search for Fully Observable Non-Deterministic Planning

Author(s): Ramon Fraga Pereira; Frederico Messa; Andre Grahl Pereira; Giuseppe De Giacomo
Published in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Publisher: AAAI

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints

Author(s): Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 2083-2089
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/287

Human-in-the-loop Learning for Safe Exploration through Anomaly Prediction and Intervention

Author(s): Prajit T. Rajendran, Huascar Espinoza, Agnes Delaborde, Chokri Mraidha
Published in: 2022
Publisher: CEUR-WS.org

Benchmarking Approximate Consistent Query Answering

Author(s): Marco Calautti, Marco Console, Andreas Pieris
Published in: PODS'21: Proceedings of the 40th {ACM} SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021, 2021, 2021
Publisher: ACM
DOI: 10.1145/3452021.3458309

Abstraction in Data Integration

Author(s): Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi
Published in: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, 2021, 2021
Publisher: IEEE

Generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits

Author(s): Fabrizio Ventola, Devendra Singh Dhami and Kristian Kersting
Published in: International Conference on Inductive Logic Programming, 30, 2021
Publisher: Springer

Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning

Author(s): Micheli, A.; Valentini, A.
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Page(s) 11895-11902
Publisher: AAAI

Assessment of Manifold Unfolding in Trained Deep Neural Network Classifiers

Author(s): Š̌. Pócoš, I. Bečková, T. Kuzma, I. Farkaš
Published in: 1st TAILOR workshop, LNCS Springer, 2021, ISBN 978-3-030-73959-1
Publisher: Springer
DOI: 10.1007/978-3-030-73959-1_9

HPOBench: A Collection of Reproducible Multi-Fidelity Benchmark Problems for HPO

Author(s): Katharina Eggensperger, Philipp Müller, Neeratyoy Mallik, Matthias Feurer, Rene Sass, Aaron Klein, Noor Awad, Marius Lindauer, Frank Hutter
Published in: Thirty-fifth Conference on Neural Information Processing Systems Datasets and Benchmarks Track (Round 2), 2021
Publisher: Advances in Neural Information Processing Systems

Best-First Width Search for Lifted Classical Planning

Author(s): ‪Augusto B. Corrêa‬; Jendrik Seipp
Published in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Publisher: AAAI

Safe Learning and Optimization Techniques: Towards a Survey of the State of the Art

Author(s): Youngmin Kim, Richard Allmendinger, Manuel López-Ibáñez
Published in: Trustworthy AI - Integrating Learning, Optimization and Reasoning - First International Workshop, TAILOR, 2021, Page(s) 123-139, ISBN 978-3-030-73959-1
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-73959-1_12

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Author(s): Giuseppe De Giacomo; Marco Favorito
Published in: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021, Page(s) 122-130
Publisher: AAAI

A Boolean Extension of KLM-Style Conditional Reasoning

Author(s): Paterson-Jones, Guy and Casini, Giovanni and Meyer, Thomas
Published in: Artificial Intelligence Research. Communications in Computer and Information Science, 1342, 2020, Page(s) 236-252, ISBN 978-3-030-66151-9
Publisher: Springer

The Nondeterministic Situation Calculus

Author(s): Giuseppe De Giacomo; Yves Lespérance
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Page(s) 216–226
Publisher: IJCAI

Model-theoretic Characterizations of Rule-based Ontologies

Author(s): Marco Console, Phookion Kolaitis, Andreas Pieris
Published in: Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021, 2021, 2021
Publisher: CEUR-WS.org

Deriving a Single Interpretable Model by Merging Tree-Based Classifiers

Author(s): Valerio Bonsignori, Riccardo Guidotti, Anna Monreale
Published in: Discovery Science. DS 2021. Lecture Notes in Computer Science, 12986, 2021, ISBN 978-3-030-88942-5
Publisher: Springer
DOI: 10.1007/978-3-030-88942-5_27

On the Power of Automata Minimization in Temporal Synthesis

Author(s): Shufang Zhu; Lucas M. Tabajara; Geguang Pu; Moshe Y. Vardi
Published in: The Twelfth International Symposium on Games, Automata, Logics, and Formal Verification, 2021, Page(s) 117--134
Publisher: EPTCS

Learning Aggregation Functions

Author(s): Pellegrini, Giovanni ; Frasconi, Paolo ; Passerini, Andrea; Jaeger, Manfred
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Publisher: International Joint Conferences on Artificial Intelligence

A Reinforcement Learning Environment for Multi-Service UAV-enabled Wireless Systems

Author(s): Damiano Brunori; Stefania Colonnese; Francesca Cuomo; Luca Iocchi
Published in: arxiv, 2021
Publisher: Cornell University
DOI: 10.48550/arxiv.2105.05094

Robust Malware Classification via Deep Graph Networks on Call Graph Topologies

Author(s): Federico Errica, Giacomo Iadarola, Fabio Martinelli, Francesco Mercaldo, Alessio Micheli
Published in: ESANN 2021 proceedings, European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learnin, 2021, ISBN 97828758708
Publisher: ESANN
DOI: 10.14428/esann/2021.es2021-82

Saturated Post-hoc Optimization for Classical Planning.

Author(s): Jendrik Seipp; Thomas Keller; Malte Helmert
Published in: Proceedings of the 35th AAAI Conference on Artificial Intelligence, 2021, Page(s) 11947-11953
Publisher: AAAI Press
DOI: 10.5451/unibas-ep84299

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Author(s): Kin Max Gusmão; Ramon Fraga Pereira; Felipe Meneguzzi
Published in: SPARK Workshop (ICAPS), 2021
Publisher: AAAI

A Rational Entailment for Expressive Description Logics via Description Logic Programs

Author(s): Giovanni Casini and Umberto Straccia
Published in: Artificial Intelligence Research. Communications in Computer and Information Science, 1551, 2022, Page(s) 177-191, ISBN 978-3-030-95070-5
Publisher: Springer
DOI: 10.1007/978-3-030-95070-5_12

A Survey on Quantum Computer Simulators

Author(s): Zakaria Abdelmoiz Dahi, Enrique Alba, Rodrigo Gil-Merino, Francisco Chicano, Gabriel Luque
Published in: 19th Conference of the Spanish Association for Artificial Intelligence (CAEPIA), 2021, Page(s) 941-946, ISBN 978-84-09-30514-8
Publisher: CAEPIA

Synthesis with Mandatory Stop Actions

Author(s): Giuseppe De Giacomo; Antonio Di Stasio; Giuseppe Perelli; Shufang Zhu
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Page(s) 237–246
Publisher: IJCAI

Sum-Product Loop Programming: From Probabilistic Circuits to Loop Programming

Author(s): Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami and Kristian Kersting
Published in: International Conference on Principles of Knowledge Representation and Reasoning, 19, 2022
Publisher: IJCAI organization

Loopless Top-k Planning

Author(s): Julian von Tschammer; Robert Mattmüller; David Speck
Published in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Publisher: AAAI

Intensional and Extensional Views in DL-Lite Ontologies

Author(s): Marco Console; Giuseppe De Giacomo; Maurizio Lenzerini; Manuel Namici
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 1822-1828
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/251

Synthesizing Best-Effort Strategies under Multiple Environment Specifications

Author(s): Benjamin Aminof and Giuseppe De Giacomo and Alessio Lomuscio and Aniello Murano and Sasha Rubin
Published in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Publisher: IJCAI

Can language models automate data wrangling?

Author(s): Gonzalo Jaimovitch-Lopez, Cesar Ferri, Jose Hernandez-Orallo, Fernando Martínez-Plumed and María José Ramírez-Quintana
Published in: ECMLPKDD Workshop on Automating Data Science (ADS 2021), 2021
Publisher: Automating Data Science

Discovering Declarative Process Model Behavior from Event Logs via Model Learning

Author(s): Simone Agostinelli, Giacomo Bergami, Alessio Fiorenza, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi
Published in: 3rd International Conference on Process Mining, {ICPM} 2021, Eindhoven, The Netherlands, October 31 - Nov. 4, 2021, 2021, 2021
Publisher: IEEE
DOI: 10.1109/icpm53251.2021.9576870

Online Learning of Action Models for PDDL Planning

Author(s): Leonardo Lamanna; Alessandro Saetti; Luciano Serafini; Alfonso Gerevini; Paolo Traverso
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 4112-4118
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/566

Neuro-Symbolic Constraint Programming for Structured Prediction

Author(s): Dragone, Paolo; Teso, Stefano; Passerini, Andrea
Published in: NeSy’21: 15th International Workshop on Neural-Symbolic Learning and Reasoning, 2021
Publisher: ISSN 1613-0073 CEUR Workshop Proceedings

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

Author(s): Giuseppe De Giacomo; Antonio Di Stasio; Lucas M. Tabajara; Moshe Vardi; Shufang Zhu
Published in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Page(s) 1852-1858
Publisher: IJCAI
DOI: 10.24963/ijcai.2021/255

Online Action Recognition

Author(s): Suárez-Hernández, A.; Segovia-Aguas, J.; Torras, C.; Alenyà, G.
Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Page(s) 11981-11989
Publisher: AAAI

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

Author(s): Andreas Herzig; Frédéric Maris; Elise Perrotin
Published in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Page(s) 676–680
Publisher: IJCAI
DOI: 10.24963/kr.2021/68

Stream-level Latency Evaluation for Simultaneous Machine Translation

Author(s): Iranzo-Sánchez, Javier ; Civera, Jorge ; Juan, Alfons
Published in: EMNLP 2021, 2021
Publisher: Cornel University
DOI: 10.48550/arxiv.2104.08817

ASP-Based Declarative Process Mining

Author(s): Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi
Published in: The 36th AAAI Conference on Artificial Intelligence, 2022
Publisher: AAAI

OpenML Benchmarking Suites

Author(s): Bernd Bischl, Bernd Bischl, Giuseppe Casalicchio, Matthias Feurer, Pieter Gijsbers, Frank Hutter, Michel Lang, Rafael Gomes Mantovani, Jan van Rijn, Joaquin Vanschoren
Published in: Thirty-fifth Conference on Neural Information Processing Systems Datasets and Benchmarks Track (Round 2), 2021
Publisher: Advances in Neural Information Processing Systems

DP-CTGAN: Differentially Private Medical Data Generation using CTGANs

Author(s): Mei Ling Fang, Devendra Singh Dhami and Kristian Kersting,
Published in: Artificial Intelligence in Medicine, 20, 2022
Publisher: Springer

Landmark-Based Approaches for Goal Recognition as Planning

Author(s): Ramon Fraga Pereira; Nir Oren; Felipe Meneguzzi
Published in: The 31st International Conference on Automated Planning and Scheduling, 2021
Publisher: AAAI

piBO: Augmenting Acquisition Functions with User Beliefs for Bayesian Optimization

Author(s): Carl Hvarfner, Danny Stoll, Artur Souza, Marius Lindauer, Frank Hutter, Luigi Nardi
Published in: The Tenth International Conference on Learning Representations, 2022
Publisher: International Conference on Learning Representations

OPTION : optimization algorithm benchmarking ontology.

Author(s): Ana Kostovska, Diederick Vermetten, Carola Doerr, Sašo Džeroski, Panče Panov, Tome Eftimov
Published in: GECCO '21: Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2021, Page(s) 239-240, ISBN 978-1-4503-8350-9
Publisher: ACM = Association for Computing Machinery
DOI: 10.1145/3449726.3459579

Machine Learning for Utility Prediction in Argument-Based Computational Persuasion

Author(s): Donadello, Ivan; Hunter, Anthony; Teso, Stefano; Dragoni, Mauro
Published in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Publisher: AAAI Press
DOI: 10.48550/arxiv.2112.04953

Interventional Sum-Product Networks: Causal Inference with Tractable Probabilistic Models

Author(s): Matej Zecevic, Devendra Singh Dhami, Athresh Karanam, Sriraam Natarajan and Kristian Kersting
Published in: Advances in Neural Information Processing Systems, 34, 2021
Publisher: Neural Information Processing Systems

Interactive Label Cleaning with Example-based Explanations

Author(s): Teso, Stefano; Bontempelli, Andrea; Giunchiglia, Fausto; Passerini, Andrea
Published in: Advances in Neural Information Processing Systems, 2021
Publisher: Neural Information Processing Systems Foundation, Inc. (NIPS)

Optimising Communication Overhead in Federated Learning Using NSGA-II

Author(s): José Ángel Morell , Zakaria Abdelmoiz Dahi, Francisco Chicano, Gabriel Luque, Enrique Alba
Published in: 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, 2022, Page(s) xx-xx, ISSN 0302-9743
Publisher: Springer
DOI: 10.1007/978-3-031-02462-7_21

Finding Structure and Causality in Linear Programs

Author(s): Matej Zečević, Florian Peter Busch, Devendra Singh Dhami and Kristian Kersting
Published in: ICLR Workshop on the Elements of Reasoning: Objects, Structure and Causality, 1, 2022
Publisher: openreview

An LP-Based Approach for Goal Recognition as Planning

Author(s): Luisa R. de A. Santos; Felipe Meneguzzi; Ramon Fraga Pereira; Andre G. Pereira
Published in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Publisher: AAAI

Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review

Author(s): Prajit T. Rajendran, Huascar Espinoza, Agnes Delaborde, Chokri Mraidha
Published in: 2021
Publisher: Springer
DOI: 10.1007/978-3-030-83906-2\_20

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models

Author(s): Pereira, Ramon Fraga; Fuggitti, Francesco; De Giacomo, Giuseppe
Published in: arxiv, 51, 2021
Publisher: Cornell University
DOI: 10.48550/arxiv.2103.11692

AutoML Adoption in ML Software

Author(s): van der Blom, Koen and Serban, Alex and Hoos, Holger and Visser, Joost
Published in: 8th ICML Workshop on Automated Machine Learning, 2021
Publisher: Openreview.net

Behavioral QLTL

Author(s): De Giacomo, Giuseppe; Perelli, Giuseppe
Published in: arxiv, 53, 2021
Publisher: Cornell University
DOI: 10.48550/arxiv.2102.11184

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning

Author(s): Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti
Published in: arxiv, 2022
Publisher: Cornell University
DOI: 10.48550/arxiv.2204.09960

Maximal and minimal dynamic Petri net slicing

Author(s): Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
Published in: Arxiv, 13, 2021
Publisher: Arxiv

Advances in MetaDL: AAAI 2021 Challenge and Workshop

Author(s): El Baz, Adrian and Guyon, Isabelle and Liu, Zhengying and van Rijn, Jan N. and Treguer, Sebastien and Vanschoren, Joaquin
Published in: Proceedings of Machine Learning Research, 2021
Publisher: Proceedings of Machine Learning Research

Conditional Teaching Size

Author(s): Garcia-Piqueras, Manuel; Hernández-Orallo, José
Published in: Conditional Teaching Size, 24, 2021
Publisher: Arxiv

GLocalX - From Local to Global Explanations of Black Box AI Models

Author(s): Mattia Setzu and Riccardo Guidotti and Anna Monreale and Franco Turini and Dino Pedreschi and Fosca Giannotti
Published in: Artificial Intelligence Journal, 294, 2021, Page(s) 103457, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2021.103457

K-plex cover pooling for graph neural networks

Author(s): Davide Bacciu; Alessio Conte; Roberto Grossi; Francesco Landolfi; Andrea Marino
Published in: Data Mining and Knowledge Discovery, 5, 2021, ISSN 1384-5810
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10618-021-00779-z

Hierarchical Task Assignment and Path Finding with Limited Communication for Robot Swarms

Author(s): "Dario Albani and Wolfgang {H\""onig} and Daniele Nardi and Nora Ayanian and Vito Trianni"
Published in: Applied Sciences, 2021, ISSN 2076-3417
Publisher: MDPI
DOI: 10.3390/app11073115

P systems in the time of COVID-19

Author(s): Fernando Baquero; Marcelino Campos; Carlos Llorens; José M. Sempere
Published in: P systems in the time of COVID-19, 18, 2021, ISSN 2523-8914
Publisher: Springer
DOI: 10.1007/s41965-021-00083-1

Embedding reactive behavior into artifact-centric business process models

Author(s): Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente
Published in: Future Generation Computer Systems, 2021, ISSN 0167-739X
Publisher: Elsevier BV
DOI: 10.1016/j.future.2020.11.018

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

Author(s): Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati; Domenico Fabio Savo
Published in: Journal of Artificial Intelligence Research, 2021, Page(s) 1335--1371, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12414

Dynastic Potential Crossover Operator

Author(s): Chicano Francisco, Ochoa Gabriela, Whitley L. Darrell, Tinós, Renato
Published in: Evolutionary Computation, 2021, Page(s) 1-35, ISSN 1063-6560
Publisher: MIT Press
DOI: 10.1162/evco_a_00305

A Lightweight Epistemic Logic and its Application to Planning

Author(s): Martin C. Cooper; Andreas Herzig; Faustine Maffre; Frédéric Maris; Elise Perrotin; Pierre Régnier
Published in: Artificial Intelligence, 2020, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2020.103437

Instilling moral value alignment by means of multi-objective reinforcement learning

Author(s): Rodriguez-Soto, M., Serramia, M., Lopez-Sanchez, M. et al
Published in: Ethics and Information Technology, 2022, ISSN 1388-1957
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10676-022-09635-0

ReliefE : feature ranking in high dimensional spaces via manifold embeddings

Author(s): Blaž Škrlj, Sašo Džeroski, Nada Lavrač and Matej Petković
Published in: Machine learning, 111, 2022, Page(s) 273-317, ISSN 0885-6125
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10994-021-05998-5

ACVIZ: A tool for the visual analysis of the configuration of algorithms with irace

Author(s): Marcelo de Souza, Marcus Ritt, Manuel Lopez-Ibanez, Leslie Pérez Cáceres
Published in: Operations Research Perspectives, 2021, Page(s) 100186, ISSN 2214-7160
Publisher: Elsevier BV
DOI: 10.1016/j.orp.2021.100186

Resource separation in dynamic logic of propositional assignments

Author(s): Joseph Boudou; Andreas Herzig; Nicolas Troquard
Published in: Journal of Logical and Algebraic Methods in Programming, 2021, ISSN 2352-2208
Publisher: Elsevier BV
DOI: 10.1016/j.jlamp.2021.100683

Metaheuristics on quantum computers: Inspiration, simulation and real execution

Author(s): Zakaria Abdelmoiz Dahi, Enrique Alba
Published in: Future Generation Computer Systems, 2022, Page(s) 164-180, ISSN 0167-739X
Publisher: Elsevier BV
DOI: 10.1016/j.future.2021.12.015

A multidimensional culturally adapted representation of emotions for affective computational simulation and recognition

Author(s): Joaquín Taverner; Emilio Vivancos; Vicente Botti
Published in: IEEE Transaction on Affective Computing, 12, 2022, ISSN 1949-3045
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/taffc.2020.3030586

Explaining the performance of multilabel classification methods with data set properties

Author(s): Jasmin Bogatinovski,Ljupčo Todorovski,Sašo Džeroski,Dragi Kocev
Published in: International journal of intelligent systems, 2022, ISSN 0884-8173
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/int.22840

FairLens: Auditing black-box clinical decision support systems

Author(s): Cecilia Panigutti, Alan Perotti, André Panisson, Paolo Bajardi, Dino Pedreschi
Published in: Information Processing & Management, 58, 2021, ISSN 0306-4573
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.ipm.2021.102657

General intelligence disentangled via a generality metric for natural and artificial intelligence.

Author(s): José Hernández-Orallo; José Hernández-Orallo; Bao Sheng Loe; Lucy G. Cheke; Fernando Martínez-Plumed; Seán Ó hÉigeartaigh
Published in: Scientific Reports, Vol 11, Iss 1, Pp 1-16 (2021), 41, 2021, ISSN 2045-2322
Publisher: Nature Publishing Group
DOI: 10.17863/cam.78481

Signalling boosts the evolution of cooperation in repeated group interactions

Author(s): Luis A. Martinez-Vaquero; Francisco C. Santos; Vito Trianni
Published in: Journal of the Royal Society Interface, 58, 2020, ISSN 1742-5662
Publisher: The Royal Society Publishing
DOI: 10.1098/rsif.2020.0635

SAMBA: AGeneric Framework for Secure Federated Multi-Armed Bandits

Author(s): Radu Ciucanu and Pascal Lafourcade and Gael Marcadet and Marta Soare
Published in: Journal of Artificial Intelligence Research, 2022, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.13163

Evaluating local explanation methods on ground truth

Author(s): Riccardo Guidotti; Riccardo Guidotti
Published in: Artificial Intelligence, 89, 2021, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2020.103428

Improvement of Contact Tracing with Citizen's Distributed Risk Maps.

Author(s): Miguel Rebollo; Rosa M. Benito; Juan Carlos Losada; Javier Galeano
Published in: Entropy, 7, 2021, ISSN 1099-4300
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e23050638

Effective anytime algorithm for multiobjective combinatorial optimization problems

Author(s): Miguel Ángel Domínguez-Ríos, Francisco Chicano, Enrique Alba
Published in: Information Sciences, 2021, Page(s) 210-228, ISSN 0020-0255
Publisher: Elsevier BV
DOI: 10.1016/j.ins.2021.02.074

Automating data science

Author(s): Tijl De Bie, Luc De Raedt, José Hernández-Orallo, Holger H. Hoos, Padhraic Smyth, Christopher K. I. Williams
Published in: Communications of the ACM, vol. 65, issue 3, 2022, Page(s) 76–87, ISSN 0001-0782
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3495256

The Delay and Window Size Problems in Rule-Based Stream Reasoning

Author(s): Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks
Published in: Artificial Intelligence, 2022, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2022.103668

Capping Methods for the Automatic Configuration of Optimization Algorithms

Author(s): Marcelo De Souza, Marcus Ritt, Manuel Lopez-Ibanez
Published in: Computers and Operations Research, 2022, Page(s) 105615, ISSN 0305-0548
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.cor.2021.105615

MLLP-VRAIN Spanish ASR Systems for the Albayzín-RTVE 2020 Speech-to-Text Challenge: Extension

Author(s): Baquero-Arnal, Pau; Jorge, Javier; Giménez, Adrià; Iranzo-Sánchez, Javier; Pérez-González-de-Martos, Alejandro; Garcés Díaz-Munío, Gonçal V; Silvestre-Cerdà, Joan Albert; Civera, Jorge; Sanchis, Albert; Juan, Alfons
Published in: Applies Sciences, 2022, ISSN 2076-3417
Publisher: MDPI
DOI: 10.3390/app12020804

Feature ranking for semi-supervised learning

Author(s): Matej Petković, Sašo Džeroski & Dragi Kocev
Published in: Machine Learning Journal, vol. 111, 2022, ISSN 0885-6125
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10994-022-06181-0

Exact stochastic constraint optimisation with applications in network analysis

Author(s): Latour, Anna L.D. and Babaki, Behrouz and Fokkinga, Daniel and Anastacio, Marie and Hoos, Holger H. and Nijssen, Siegfried
Published in: Artificial Intelligence, 2022, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2021.103650

Experimental Evaluation of Description Logic Concept Learning Algorithms for Static Malware Detection

Author(s): P. Švec, Š. Balogh, M. Homola
Published in: Proceedings of the 7th International Conference on Information Systems Security and Privacy - Volume 1: ForSE, 2021, ISSN 2184-4356
Publisher: SciTePress
DOI: 10.5220/0010429707920799

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI

Author(s): Adnan Darwiche, Pierre Marquis
Published in: Journal of Artificial Intelligence Research, 72(1), 2021, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12756

Order-sorted equational generalization algorithm revisited

Author(s): Maria Alpuente, ·Santiago Escobar, Jose ́ Meseguer, Julia Sapiña
Published in: Annals of Mathematics and Artificial Intelligence, 2021, ISSN 1573-7470
Publisher: Spring Nature
DOI: 10.1007/s10472-021-09771-1

Situation calculus for controller synthesis in manufacturing systems with first-order state representation

Author(s): Giuseppe De Giacomo; Paolo Felli; Brian Logan; Fabio Patrizi; Sebastian Sardiña
Published in: Artificial Intelligence, 2021, ISSN 0004-3702
Publisher: Elsevier BV
DOI: 10.1016/j.artint.2021.103598

Enhancing Lattice-Based Motion Planning With Introspective Learning and Reasoning

Author(s): Mattias Tiger; David Bergström; Andreas Norrstig; Fredrik Heintz
Published in: IEEE Robotics and Automation Letters, 2021, Page(s) 4385--4392, ISSN 2377-3766
Publisher: IEEE
DOI: 10.1109/lra.2021.3068550

Exploring Customer Price Preference and Product Profit Role in Recommender Systems

Author(s): M. Kompan, P. Gaspar, J. Macina, M. Cimerman, M. Bielikova
Published in: IEEE Intelligent Systems, 2021, ISSN 1541-1672
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/mis.2021.3092768

Enabling Game-Theoretical Analysis of Social Rules

Author(s): Nieves Montes, Nardine Osman, Carles Sierra
Published in: Volume 339: Artificial Intelligence Research and Development, 2021, ISSN 1879-8314
Publisher: IOS Press
DOI: 10.3233/faia210120

autoBOT: evolving neuro-symbolic representations for explainable low resource text classification

Author(s): Blaž Škrlj, Matej Martinc, Nada Lavrač & Senja Pollak
Published in: Machine learning, vol. 110, iss. 4, 2021, Page(s) 989–1028, ISSN 0885-6125
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10994-021-05968-x

Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting

Author(s): Franco Alberto Cardillo and Umberto Straccia
Published in: Fuzzy Sets and Systems, 2021, ISSN 0165-0114
Publisher: Elsevier BV
DOI: 10.1016/j.fss.2021.07.002

A Fresh Approach to Evaluate Performance in Distributed Parallel Genetic Algorithms

Author(s): Harada, Tomohiro; Alba, Enrique; Luque, Gabriel
Published in: Applied Soft Computing, 10, 2022, Page(s) 108540, ISSN 1568-4946
Publisher: Elsevier BV
DOI: 10.1016/j.asoc.2022.108540

Knowledge-Driven Data Ecosystems Toward Data Transparency

Author(s): Sandra Geisler, Maria-Esther Vidal, Cinzia Cappiello, Farias Loscio, Avigdor Gal, Matthias Jarke, Maurizio Lenzerini, Paolo Missier, Boris Otto, Elda Paja, Barbara Pernici, Jakob Rehof
Published in: ACM Journal of Data and Information Quality, 14, 2022, ISSN 1936-1955
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3467022

A tensor framework for learning in structured domains

Author(s): Daniele Castellana, Davide Bacciu
Published in: Neurocomputing, 470, 2022, Page(s) 405-426, ISSN 0925-2312
Publisher: Elsevier BV
DOI: 10.1016/j.neucom.2021.05.110

Occlusion-Based Explanations in Deep Recurrent Models for Biomedical Signals

Author(s): Michele Resta; Anna Monreale; Davide Bacciu
Published in: Issue 8, 68, 2020, ISSN 1099-4300
Publisher: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e23081064

Live Streaming Speech Recognition Using DeepBidirectional LSTM Acoustic Models andInterpolated Language Models

Author(s): Javier Jorge Adrià Giménez, Joan Albert Silvestre-Cerdà Jorge Civera Albert Sanchis Alfons Juan
Published in: IEEE/ACM TRANSACTIONS ON AUDIO, SPEECH, AND LANGUAGE PROCESSING, 2022, ISSN 1558-7916
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/taslp.2021.3133216

From Statistical Relational to Neural Symbolic Artificial Intelligence: a Survey

Author(s): Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, Luc De Raedt
Published in: arXiv, 2022, ISSN 2331-8422
Publisher: Cornell University
DOI: 10.48550/arxiv.2108.11451

Expressiveness and Nash Equilibrium in Iterated Boolean Games

Author(s): Julian Gutierrez; Paul Harrenstein; Giuseppe Perelli; Michael Wooldridge
Published in: ACM Transactions on Computational Logic, 2021, ISSN 1529-3785
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3439900

MultiETSC: automated machine learning for early time series classification

Author(s): Ottervanger, Gilles and Baratchi, Mitra and Hoos, Holger H
Published in: Data Mining and Knowledge Discovery, 2021, ISSN 1384-5810
Publisher: Kluwer Academic Publishers
DOI: 10.1007/s10618-021-00781-5

Supportive consensus

Author(s): Alberto Palomares; Miguel Rebollo; Carlos Carrascosa
Published in: PLoS ONE, 31, 2020, ISSN 1932-6203
Publisher: Public Library of Science
DOI: 10.1371/journal.pone.0243215

Streaming cascade-based speech translation leveraged by a direct segmentation model

Author(s): Iranzo-Sánchez, Javier; Jorge, Javier; Baquero-Arnal, Pau; Silvestre-Cerdà, Joan Albert ; Giménez, Adrià; Civera, Jorge; Sanchis, Albert; Juan, Alfons
Published in: Neural Networks, 2021, ISSN 0893-6080
Publisher: Pergamon Press Ltd.
DOI: 10.1016/j.neunet.2021.05.013

Ultimate Grounding of Abstract Concepts: A Graded Account

Author(s): T. Reinboth, I. Farkaš
Published in: Journal of Cognition, 2022, ISSN 2514-4820
Publisher: Ubiquity Press
DOI: 10.5334/joc.214

Generating networks of genetic processors

Author(s): Marcelino Campos; José M. Sempere
Published in: Generating networks of genetic processors, 30, 2021, ISSN 1573-7632
Publisher: Springer Nature
DOI: 10.1007/s10710-021-09423-7

Exploring Customer Price Preference and Product Profit Role in Recommender Systems

Author(s): M. Kompan, P. Gaspar, J. Macina, M. Cimerman, M. Bielikova
Published in: IEEE Intelligent Systems, 2021, ISSN 1541-1672
Publisher: Institute of Electrical and Electronics Engineers
DOI: 10.1109/mis.2021.3092768

Semiautomatic generation and assessment of Java exercises in engineering education

Author(s): David Insa; Sergio Pérez; Josep Silva; Salvador Tamarit
Published in: Computer Applications in Engineering Education, 24, 2020, ISSN 1099-0542
Publisher: Wiley Online Library
DOI: 10.1002/cae.22356

Towards Visual Semantics

Author(s): Fausto Giunchiglia; Luca Erculiani; Andrea Passerini
Published in: SN COMPUTER SCIENCE, 69, 2021, ISSN 2661-8907
Publisher: Springer Nature
DOI: 10.1007/s42979-021-00839-7

A takeover time-driven adaptive evolutionary algorithm for mobile user tracking in pre-5G cellular networks

Author(s): Zakaria Abdelmoiz Dahi, Enrique Alba, Gabriel Luque
Published in: Applied Soft Computing, 2022, Page(s) 107992, ISSN 1568-4946
Publisher: Elsevier BV
DOI: 10.1016/j.asoc.2021.107992

Automatic Question Generation Based on Sentence Structure Analysis using Machine Learning Approach

Author(s): M.Blšták, V. Rozinajová
Published in: Natural Language Engineering - journal, 2021, ISSN 1351-3249
Publisher: Cambridge University Press
DOI: 10.1017/s1351324921000139

On the Languages Accepted by Watson-Crick Finite Automata with Delays

Author(s): José M. Sempere
Published in: Issue 8, 9, 2021, ISSN 2227-7390
Publisher: MDPI Academic Open Access Publishing
DOI: 10.3390/math9080813

Error curves for evaluating the quality of feature rankings.

Author(s): Ivica Slavkov; Matej Petković; Pierre Geurts; Dragi Kocev; Sašo Džeroski
Published in: PeerJ computer science, 12, 2020, Page(s) e310-1-e310-39, ISSN 2376-5992
Publisher: PeerJ, Inc.
DOI: 10.7717/peerj-cs.310

Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems

Author(s): Silvan Sievers; Malte Helmert
Published in: Journal of Artificial Intelligence Research, 71, 2021, Page(s) 781-883, ISSN 1076-9757
Publisher: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12557

Ensemble- and distance-based feature ranking for unsupervised learning

Author(s): Matej Petković; Dragi Kocev; Blaž Škrlj; Sašo Džeroski
Published in: International Journal of Intelligent Systems, vol. 36, no. 7, 2021, Page(s) 3068-3086, ISSN 0884-8173
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/int.22390

Dynamic Algorithm Configuration: Foundation of a New Meta-Algorithmic Framework

Author(s): André Biedenkapp, H. Furkan Bozkurt, Theresa Eimer, Frank Hutter, Marius Lindauer
Published in: ECAI: Frontiers in Artificial Intelligence and Applications, 325, 2020, Page(s) 427 - 434, ISSN 0922-6389
Publisher: IOS Press
DOI: 10.3233/faia200122

Matrix Profile-Based Interpretable Time Series Classifier

Author(s): Riccardo Guidotti, Matteo D’Onofrio
Published in: Frontiers in Artificial Intelligence, 4, 2021, ISSN 2624-8212
Publisher: Frontiers Media SA
DOI: 10.3389/frai.2021.699448

Ensemble of Counterfactual Explainers

Author(s): Riccardo Guidotti; Salvatore Ruggieri
Published in: DS, 51, 2021, ISBN 978-3-030-88941-8
Publisher: SPRINGER
DOI: 10.1007/978-3-030-88942-5_28

Using Distributed Risk Maps by Consensus as a Complement to Contact Tracing Apps

Author(s): Rebollo, M., Benito, R.M., Losada, J.C., Galeano, J.
Published in: Complex Networks & Their Applications IX., 2020, ISBN 978-3-030-65346-0
Publisher: Sprienger
DOI: 10.1007/978-3-030-65347-7_41

Towards Symbolic Time Series Representation Improved by Kernel Density Estimators.

Author(s): M. Kloska, V. Rozinajova
Published in: Transactions on Large-Scale Data- and Knowledge-Centered Systems L. Lecture Notes in Computer Science(), vol 12930. Springer, Berlin, Heidelberg, 2021, ISBN 978-3-662-64552-9
Publisher: Springer
DOI: 10.1007/978-3-662-64553-6_2

Consensus for Collaborative Creation of Risk Maps for COVID-19

Author(s): M. Rebollo, C. Carrascosa, and A. Palomares
Published in: Trustworthy AI - Integrating Learning, Optimization and Reasoning., 2020, ISBN 978-3-030-73958-4
Publisher: Springer
DOI: 10.1007/978-3-030-73959-1_3

Principles of Explainable Artificial Intelligence

Author(s): Riccardo Guidotti, Anna Monreale, Dino Pedreschi, Fosca Giannotti
Published in: Explainable AI Within the Digital Transformation and Cyber Physical Systems, 2021, ISBN 978-3-030-76408-1
Publisher: Springer
DOI: 10.1007/978-3-030-76409-8_2

Optimal Teaching Curricula with Compositional Simplicity Priors

Author(s): M Garcia-Piqueras, J Hernández-Orallo
Published in: Machine Learning and Knowledge Discovery in Databases., 2021, ISBN 978-3-030-86485-9
Publisher: Springer Nature Switzerland
DOI: 10.1007/978-3-030-86486-6

Value-Alignment Equilibrium in Multiagent Systems

Author(s): Nieves Montes; Carles Sierra
Published in: isbn: 978-3-030-73958-4, 73, 2020
Publisher: Springer International Publishing
DOI: 10.1007/978-3-030-73959-1_17