Skip to main content

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

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

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

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

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

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

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

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

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