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

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati finali

Progress Report on Integration of TAILOR Assets with AI4EU v.1 (si apre in una nuova finestra)

Progress Report on Integration of TAILOR Assets with AI4EU, version 1

Progress Report on the Integration of OpenML with AI4EU v.1 (si apre in una nuova finestra)

Progress Report on the Integration of OpenML with AI4EU, version 1

Foundational benchmarks and challenges v.1 (si apre in una nuova finestra)

Foundational benchmarks run and analyzed

Foundational benchmarks and challenges v.2 (si apre in una nuova finestra)

Foundational benchmarks run and analyzed

Foundations, techniques, algorithms and tools for allowing autonomous AI agents to decide and learn how to act v.1 (si apre in una nuova finestra)

Version 1 of report of the novel insights, techniques, algorithms and tools developed within the scientific challenges tasks T5.1, T5.2, T5.3, T5.4.

SRIR v.2 (si apre in una nuova finestra)

SRIR (report) V2, with analysis of impact of V1 and plans for perpetuation.

Foundations, techniques, algorithms and tools for integrating learning, reasoning and optimisation v.1 (si apre in una nuova finestra)

Report on the scientific challenges tasks T4.1 & T4.2.

Connectivity Fund call 4 (si apre in una nuova finestra)

Reports on Connectivity fund will be filed once per year from now on.

Connectivity Fund call 5 (si apre in una nuova finestra)

Reports on Connectivity fund are filed once per year.

Connectivity Fund operational (si apre in una nuova finestra)

Connectivity Fund operational first call issued review committee formed

Connectivity Fund call 1 (si apre in una nuova finestra)

Calls every 4 months with short report

Research Challenges and Technological Gaps of Trustworthy AI v.1 (si apre in una nuova finestra)
Joint SRA v 1 (si apre in una nuova finestra)

A Joint Strategic Research Agenda (SRA) of the 4 + 2 NoEs and VISION

AutoAI Benchmarks v.1 (si apre in una nuova finestra)

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

Integrated learning, reasoning and optimisation in practice v.1 (si apre in una nuova finestra)

Version 1 of report on T4.3 & T4.4.

Project quality plan (si apre in una nuova finestra)

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

Calls every 4 months with short report.

Automated AI v.1 (si apre in una nuova finestra)

Version 1 of report on novel insights, techniques, algorithms and tools developed within tasks T7.1, T7.2, T7.3, T7.4 and T7.5, and how they contribute towards trustworthy AI.

Report on Theme Development Workshops (si apre in una nuova finestra)

For each workshop, a report will be made available online after the event. A synthesis with a summary of perspectives and challenges will be this final report.

Connectivity Fund call 2 (si apre in una nuova finestra)

Calls every 4 months with short report

Foundations, techniques, algorithms and tools to for social AI v.1 (si apre in una nuova finestra)

Version 1 of report on advances developed within T6.1, T6.2, T6.3 and T6.4. V2 will be part of the final Handbook integrating the work carried out in establishing the new directions of research for Social-AI.

Handbook on Trustworthy AI v.1 (si apre in una nuova finestra)

Handbook on Trustworthy AI

Dissemination Plan, v.1 (si apre in una nuova finestra)

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

Codalab TAILOR templates tested and provided

Third TAILOR Conference (si apre in una nuova finestra)

Organize the third TAILOR conference

First TAILOR Conference (si apre in una nuova finestra)

Organize the first TAILOR conference

Communication material (flyer, poster, video, etc.) v.2 (si apre in una nuova finestra)

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.

Communication material (flyer, poster, video, etc.) v.1 (si apre in una nuova finestra)

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

Training platform beta platform

Second TAILOR Conference (si apre in una nuova finestra)

Organize the second TAILOR conference

Project website and Trustworthy AI repository (si apre in una nuova finestra)

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

Data Management Plan (si apre in una nuova finestra)

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

Pubblicazioni

Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics Plus Integer Linear Programming (si apre in una nuova finestra)

Autori: Miguel Ángel Domínguez-Ríos, Francisco Chicano, Enrique Alba
Pubblicato in: 24th International Conference, EvoApplications 2021, 2021, Pagina/e 242-257, ISBN 978-3-030-72699-7
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-72699-7_16

Quantum Computing: Present and Prospects

Autori: Rodrigo Gil-Merino, Enrique Alba, Jose Francisco Chicano, Zakaria Abdelmoiz Dahi, Gabriel Luque
Pubblicato in: 19th Conference of the Spanish Association for Artificial Intelligence (CAEPIA), 2021, Pagina/e 947-952, ISBN 978-84-09-30514-8
Editore: CAEPIA

Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots (si apre in una nuova finestra)

Autori: Daniel Habering; Till Hofmann; Gerhard Lakemeyer
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 1908-1914
Editore: IJCAI
DOI: 10.24963/ijcai.2021/263

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition (si apre in una nuova finestra)

Autori: Kin Max Gusmão; Ramon Fraga Pereira; Felipe Meneguzzi
Pubblicato in: arxiv, 2021
Editore: Cornell University
DOI: 10.48550/arxiv.2102.11791

Examining the Proximity of Adversarial Examples to Class Manifolds in Deep Networks (si apre in una nuova finestra)

Autori: Štefan Pócoš, Iveta Bečková, Igor Farkaš
Pubblicato in: 2022
Editore: arxiv
DOI: 10.48550/arxiv.2204.05764

Graph Mixture Density Networks (si apre in una nuova finestra)

Autori: Federico Errica, Davide Bacciu, Alessio Micheli
Pubblicato in: Proceedings of the 38th International Conference on Machine Learning, PMLR, 2021
Editore: PMLR
DOI: 10.48550/arxiv.2012.03085

Genetic Algorithm with Linkage Learning (si apre in una nuova finestra)

Autori: Renato Tinós, Michal Przewozniczek, Darrell Whitley, Francisco Chicano
Pubblicato in: Proceedings of the Genetic and Evolutionary Computation Conference, 2023, Pagina/e 981-989, ISBN 9798400701191
Editore: ACM
DOI: 10.1145/3583131.3590349

Approximating probabilistic explanations via supermodular minimization

Autori: Louenas Bounia, Frédéric Koriche
Pubblicato in: Proceedings of Machine Learning Research, PMLR 2023, Numero 216, 2023, Pagina/e 216-225
Editore: PMLR

On the descriptive power of LiDAR intensity images for segment-based loop closing in 3-D SLAM

Autori: Wietrzykowski, Jan and Skrzypczyński, Piotr
Pubblicato in: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Numero 2021, 2021
Editore: IEEE

Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract)

Autori: Janka Boborová, Jakub Kloc, Martin Homola, Júlia Pukancová
Pubblicato in: Proceedings of the 37th International Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024., 2024, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Efficient and Reliable Probabilistic Interactive Learning with Structured Outputs (si apre in una nuova finestra)

Autori: Teso, Stefano; Vergari, Antonio
Pubblicato in: AAAI-22 Workshop on Interactive Machine Learning, 2022
Editore: Online
DOI: 10.48550/arxiv.2202.08566

New Refinement Strategies for Cartesian Abstractions

Autori: David Speck; Jendrik Seipp
Pubblicato in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Editore: AAAI

Compositional genetic programming for symbolic regression (si apre in una nuova finestra)

Autori: Krzysztof Krawiec and Dominik Kossinski
Pubblicato in: Genetic and Evolutionary Computation Conference, Numero 2022, 2022, Pagina/e 570--573
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3520304.3529077

On the Impact of Grounding on HTN Plan Verification via Parsing (si apre in una nuova finestra)

Autori: Simona Ondrcková; Roman Barták; Pascal Bercher; Gregor Behnke
Pubblicato in: Proceedings of ICAART 2023, 2023
Editore: SciTexPress
DOI: 10.5220/0011618400003393

HyperLDLf: a Logic for Checking Properties of Finite Traces Process Logs (si apre in una nuova finestra)

Autori: Giuseppe De Giacomo; Paolo Felli; Marco Montali; Giuseppe Perelli
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 1859-1865
Editore: IJCAI
DOI: 10.24963/ijcai.2021/256

Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick

Autori: Lennert De Smet, Emanuele Sansone, Pedro Zuidberg Dos Martires
Pubblicato in: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), Numero 36, 2023, ISBN 9781713899921
Editore: NeurIPS Proceedings

Best-Effort Synthesis: Doing Your Best Is Not Harder Than Giving Up (si apre in una nuova finestra)

Autori: Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 1766-1772
Editore: IJCAI
DOI: 10.24963/ijcai.2021/243

Automatic Placer for Analog Circuits Using Integer Linear Programming Warm Started by Graph Drawing (si apre in una nuova finestra)

Autori: Josef Grus, Zdenek Hanzalek, Dalibor Barri, Patrik Vacula
Pubblicato in: ICORES, Numero vol 1, 2023, Pagina/e 106-116, ISBN 978-989-758-627-9
Editore: SCITEPRESS
DOI: 10.5220/0011789300003396

Europarl-ASR: A Large Corpus of Parliamentary Debates for Streaming ASR Benchmarking and Speech Data Filtering/Verbatimization (si apre in una nuova finestra)

Autori: 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
Pubblicato in: Proc. Interspeech 2021, 2021
Editore: Interspeech
DOI: 10.21437/interspeech.2021-1905

An API for DL Abduction Solvers (Extended Abstract)

Autori: Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová
Pubblicato in: 2022
Editore: XLoKR

On the Epistemic Logic of Incomplete Argumentation Frameworks (si apre in una nuova finestra)

Autori: Andreas Herzig, Antonio Yuste-Ginel
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, 2021
Editore: ijcai.org
DOI: 10.24963/kr.2021/69

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results

Autori: Martin Homola, Júlia Pukancová, Iveta Balintová, Janka Boborová
Pubblicato in: Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

DeepStochLog: Neural Stochastic Logic Programming (si apre in una nuova finestra)

Autori: Thomas Winters, Giuseppe Marra, Robin Manhaeve, Luc De Raedt
Pubblicato in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Editore: AAAI Press
DOI: 10.48550/arxiv.2106.12574

Gradient-assisted calibration for financial agent-based models

Autori: Dyer, Joel and Quera-Bofarull, Arnau and Chopra, Ayush and Farmer, J Doyne and Calinescu, Anisoara and Wooldridge, MJ
Pubblicato in: Proceedings of the Fourth ACM International Conference on AI in Finance, Numero 4th, 2023
Editore: ACM

Attributed Transition-Based Domain Control Knowledge for Domain-Independent Planning (Extended Abstract). (si apre in una nuova finestra)

Autori: Lukáš Chrpa; Roman Barták; Jindřich Vodrážka; Marta Vomlelová
Pubblicato in: Proceedings of IEEE 39th International Conference on Data Engineering (ICDE 2023), 2023
Editore: IEEE
DOI: 10.1109/icde55515.2023.00366

Generalized Planning as Heuristic Search

Autori: Segovia-Aguas, Javier; Jiménez, Sergio; Jonsson, Anders
Pubblicato in: Generalized Planning as Heuristic Search, Numero 57, 2021
Editore: ICAPS Arxiv

Parallel/Distributed Intelligent Hyperparameters Search for Generative Artificial Neural Networks (si apre in una nuova finestra)

Autori: Mathias Esteban, Jamal Toutouh, Sergio Nesmachnow
Pubblicato in: International Workshops ISC High Performance Digital 2021, 2021, Pagina/e 297-313, ISBN 978-3-030-90539-2
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-90539-2_20

Complexity of Minimum-Size Arc-Inconsistency Explanations (si apre in una nuova finestra)

Autori: Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
Pubblicato in: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Numero LIPIcs, volume 235, 2022, Pagina/e 9:1--9:14
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.cp.2022.9

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Autori: Leonardo Rosa Amado; Ramon Fraga Pereira; Felipe Meneguzzi
Pubblicato in: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, 2021, ISBN 9781450383073
Editore: International Foundation for Autonomous Agents and Multiagent Systems

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

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

On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm (si apre in una nuova finestra)

Autori: Songtuan Lin;Gregor Behnke; Simona Ondrcková; Roman Barták; Pascal Bercher
Pubblicato in: Proceedings of AAAI 2023, 2023
Editore: AAAI Press
DOI: 10.1609/aaai.v37i10.26420

Black-box Audit of YouTube's Video Recommendation: Investigation of Misinformation Filter Bubble Dynamics (Extended Abstract) (si apre in una nuova finestra)

Autori: Tomlein, M.; Pecher, B.; Simko, J.; Srba, I.; Moro, R.; Stefancova, E.; Kompan, M.; Hrckova, A.; Juraj Podroužek; Bielikova, M.
Pubblicato in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence Sister Conferences Best Papers, 2022
Editore: IJCAI
DOI: 10.24963/ijcai.2022/749

Dantzig-Wolfe Decomposition for Cost Partitioning (si apre in una nuova finestra)

Autori: Florian Pommerening; Thomas Keller; Valentina Halasi; Jendrik Seipp; Silvan Sievers; Malte Helmert
Pubblicato in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Pagina/e 271-280
Editore: AAAI Press
DOI: 10.5451/unibas-ep84307

Query Definability and Its Approximations in Ontology-based Data Management

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

Toward a Unified Framework for Debugging Gray-box Models

Autori: Bontempelli, Andrea; Giunchiglia, Fausto; Passerini, Andrea; Teso, Stefano
Pubblicato in: Interactive Machine Learning workshop (IML) at AAAI'22, 2022
Editore: none

Synthesizing Effective Diagnostic Models from Small Samples using Structural Machine Learning: a Case Study in Automating COVID-19 Diagnosis (si apre in una nuova finestra)

Autori: Kaszuba, Piotr and Turner, Andrew and Mikulski, Bartosz and Jumbe, Nl Shasha and Schuh, Andreas and Morimoto, Michael and Rexelius, Peter and Hafen, Ryan and Deiotte, Ron and Hammond, Kevin and Swan, Jerry and Krawiec, Krzysztof
Pubblicato in: Proceedings of the Companion Conference on Genetic and Evolutionary Computation, Numero 2023, 2023, Pagina/e 727-730, ISBN 9798400701207
Editore: Association for Computing Machinery
DOI: 10.1145/3583133.3590598

Online Saturated Cost Partitioning for Classical Planning (si apre in una nuova finestra)

Autori: Jendrik Seipp
Pubblicato in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Pagina/e 317-321
Editore: AAAI Press
DOI: 10.5451/unibas-ep84300

MEG: Generating Molecular Counterfactual Explanations for Deep Graph Networks (si apre in una nuova finestra)

Autori: Numeroso, Danilo; Bacciu, Davide
Pubblicato in: Proceedings of the International Joint Conference on Neural Networks (IJCNN 2021), Numero 48, 2021
Editore: IEEE
DOI: 10.1109/ijcnn52387.2021.9534266

Order Flow Decomposition for Price Impact Analysis in Equity Limit Order Books

Autori: Sitaru, Bogdan and Calinescu, Anisoara and Cucuringu, Mihai
Pubblicato in: Proceedings of the Fourth ACM International Conference on AI in Finance, Numero 4th, 2023
Editore: ACM

On Preferred Abductive Explanations for Decision Trees and Random Forests (si apre in una nuova finestra)

Autori: Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis
Pubblicato in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Pagina/e 643-650
Editore: IJCAI
DOI: 10.24963/ijcai.2022/91

Dominance-based Rough Set Approach to Bank Customer Satisfaction Analysis

Autori: Marcin Szeląg and Roman Słowiński
Pubblicato in: Proceedings of the 3rd Polish Conference on Artificial Intelligence PP-RAI, April 25-27, 2022, Gdynia, Poland, 2022, Pagina/e 147-150, ISBN 978-83-7421-401-8
Editore: Gdynia Maritime University

Fourier Transform-based Surrogates for Permutation Problems (si apre in una nuova finestra)

Autori: Francisco Chicano, Bilel Derbel, Sébastien Verel
Pubblicato in: Proceedings of the Genetic and Evolutionary Computation Conference, 2023, Pagina/e 275-283, ISBN 9798400701191
Editore: ACM
DOI: 10.1145/3583131.3590425

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

Autori: Giuseppe De Giacomo; Aniello Murano; Fabio Patrizi; Giuseppe Perelli
Pubblicato in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Pagina/e 227–236
Editore: IJCAI

Multi-Model Monitoring Framework for Hybrid Process Specifications

Autori: Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin
Pubblicato in: 34th International Conference on Advanced Information Systems Engineering, 2022
Editore: Springer

Explaining Any Time Series Classifier (si apre in una nuova finestra)

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

Monant Medical Misinformation Dataset: Mapping Articles to Fact-Checked Claims (si apre in una nuova finestra)

Autori: Srba, Ivan; Pecher, Branislav; Tomlein, Matus; Moro, Robert; Stefancova, Elena; Simko, Jakub; Bielikova, Maria
Pubblicato in: SIGIR '22: Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2022, ISBN 9781450387323
Editore: ACM
DOI: 10.1145/3477495.3531726

Local Optima Markov Chain: A New Tool for Landscape-aware Analysis of Algorithm Dynamics (si apre in una nuova finestra)

Autori: Francisco Chicano, Gabriela Ochoa, Bilel Derbel, Lorenzo Canonne
Pubblicato in: Proceedings of the Genetic and Evolutionary Computation Conference, 2023, Pagina/e 284-292, ISBN 9798400701191
Editore: ACM
DOI: 10.1145/3583131.3590422

Exploiting Cyclic Dependencies in Landmark Heuristics. (si apre in una nuova finestra)

Autori: Clemens Büchner; Thomas Keller; Malte Helmert
Pubblicato in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Pagina/e 65-73
Editore: AAAI Press
DOI: 10.5451/unibas-ep84308

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

Autori: Devendra Singh Dhami, Mayukh Das and Sriraam Natarajan
Pubblicato in: International Conference on Principles of Knowledge Representation and Reasoning, Numero 18, 2021
Editore: IJCAI organization

Subset-Saturated Transition Cost Partitioning (si apre in una nuova finestra)

Autori: Dominik Drexler; Jendrik Seipp; David Speck
Pubblicato in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Pagina/e 131-139
Editore: AAAI Press
DOI: 10.5451/unibas-ep84301

Epistemic Reasoning About Rationality and Bids in Auctions (si apre in una nuova finestra)

Autori: Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
Pubblicato in: European Conference on Logics in Artificial Intelligence (JELIA 2021), Numero LNAI 12678, 2021, Pagina/e 116--130
Editore: Springer Verlag
DOI: 10.1007/978-3-030-75775-5_9

Automatic Instance Generation for Classical Planning (si apre in una nuova finestra)

Autori: Álvaro Torralba; Jendrik Seipp; Silvan Sievers
Pubblicato in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Pagina/e 376-384
Editore: AAAI Press
DOI: 10.5451/unibas-ep84291

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

Autori: Yash Mehta, Colin White, Arber Zela, Arjun Krishnakumar, Guri Zabergja, Shakiba Moradian, Mahmoud Safari, Kaicheng Yu, Frank Hutter
Pubblicato in: The Tenth International Conference on Learning Representations, 2022
Editore: International Conference on Learning Representations

A new approach for cross-silo federated learning and its privacy risks (si apre in una nuova finestra)

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

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

Autori: Devendra Singh Dhami, Siwen Yan, Gautam Kunapuli and Sriraam Natarajan
Pubblicato in: International Conference on Inductive Logic Programming, Numero 30, 2021
Editore: Springer

ULLER: A Unified Language for Learning and Reasoning (si apre in una nuova finestra)

Autori: Emile van Krieken, Samy Badreddine, Robin Manhaeve, Eleonora Giunchiglia
Pubblicato in: Lecture Notes in Computer Science, Neural-Symbolic Learning and Reasoning, 2024, Pagina/e 219-239
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71167-1_12

Calliope - A Polyphonic Music Transformer (si apre in una nuova finestra)

Autori: Andrea Valenti; Stefano Berti; Davide Bacciu
Pubblicato in: ESANN 2021 proceedings, European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Numero 58, 2021
Editore: ESANN
DOI: 10.14428/esann/2021.es2021-63

On Belief Change for Multi-Label Classifier Encodings (si apre in una nuova finestra)

Autori: Sylvie Coste-Marquis, Pierre Marquis
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI'21), 2021, Pagina/e 1829-1836
Editore: IJCAI
DOI: 10.24963/ijcai.2021/252

Exemplars and Counterexemplars Explanations for Image Classifiers, Targeting Skin Lesion Labeling (si apre in una nuova finestra)

Autori: C. Metta, R. Guidotti, S. Rinzivillo
Pubblicato in: 2021 IEEE Symposium on Computers and Communications (ISCC), 2021, 2021
Editore: IEEE
DOI: 10.1109/iscc53001.2021.9631485

2020 Merge, Explain, Iterate

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

Designing Shapelets for Interpretable Data-Agnostic Classification (si apre in una nuova finestra)

Autori: Riccardo Guidotti; Anna Monreale
Pubblicato in: AIES, Numero 34, 2021, ISBN 9781450384735
Editore: Association for Computing Machinery
DOI: 10.1145/3461702.3462553

Towards Explainable Malware Detection with Structured Machine Learning

Autori: Peter Švec, Tomáš Bisták, Martin Homola, Štefan Balogh, Ján Kľuka and Alexander Šimko
Pubblicato in: 2023
Editore: Center for Perspicuous Computing,TU Dresden

Can Poverty Be Reduced by Acting on Discrimination? An Agent-based Model for Policy Making

Autori: Aguilera, Alba and Montes, Nieves and Curto, Georgina and Sierra, Carles and Osman, Nardine
Pubblicato in: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024, Pagina/e 22-30, ISBN 9798400704864
Editore: International Foundation for Autonomous Agents and Multiagent Systems

On Semantics of Hierarchical Planning Domain Models with Decomposition Constraints and Empty Methods (si apre in una nuova finestra)

Autori: Simona Ondrcková; Roman Barták
Pubblicato in: Proceedings of IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI 2023), 2023
Editore: IEEE
DOI: 10.1109/ictai59109.2023.00057

Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width

Autori: Dominik Drexler; Jendrik Seipp; Hector Geffner
Pubblicato in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Editore: AAAI

An API for DL Abduction Solvers

Autori: Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová
Pubblicato in: Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Generalized Temporal Inference via Planning (si apre in una nuova finestra)

Autori: Diego Aineto; Sergio Jiménez; Eva Onaindia
Pubblicato in: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 2021, Pagina/e 22--31
Editore: IJCAI
DOI: 10.24963/kr.2021/3

NAS-Bench-x11 and the Power of Learning Curves

Autori: Shen Yan, Colin White, Yash Savani, Frank Hutter
Pubblicato in: Thirty-Fifth Conference on Neural Information Processing Systems, 2021
Editore: Advances in Neural Information Processing Systems

Engineering Socially-Oriented Autonomous Agents and Multiagent Systems (si apre in una nuova finestra)

Autori: Nieves Montes
Pubblicato in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Pagina/e 5861-5862
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/833

Robust Solutions for Multi-Defender Stackelberg Security Games

Autori: Mutzari Yonatan Aumann and Sarit Kraus
Pubblicato in: IJCAI 2022, 2022
Editore: IJCAI

Automated Theorem Proving for Metamath (si apre in una nuova finestra)

Autori: Carneiro, Mario and Brown, Chad E. and Urban, Josef
Pubblicato in: 14th International Conference on Interactive Theorem Proving (ITP 2023), Numero vol 268, 2023, Pagina/e 9:1-9:19, ISBN 978-3-95977-284-6
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.itp.2023.9

SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming

Autori: Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Singh Dhami and Kristian Kersting
Pubblicato in: International Conference on Principles of Knowledge Representation and Reasoning, Numero 19, 2022
Editore: IJCAI Organization

Computing Abductive Explanations for Boosted Regression Trees (si apre in una nuova finestra)

Autori: Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis
Pubblicato in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Pagina/e 3432-3441
Editore: IJCAI
DOI: 10.24963/ijcai.2023/382

Hybrid probabilistic inference with logical and algebraic constraints: a survey (si apre in una nuova finestra)

Autori: Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini
Pubblicato in: Proceedings of the 30th International Joint Conference on Artificial Intelligence, 2021, Pagina/e 4533-4542, ISBN 978-0-9992411-9-6
Editore: International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2021/617

CLEO: Continual Learning of Evolving Ontologies

Autori: Shishir Muralidhara, Syed Saqib Bukhari, Georg Schneider, Didier Stricker, René Schuster
Pubblicato in: European Conference on Computer Vision (ECCV), 2024
Editore: Springer

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

Autori: Rodriguez, Ivan D; Bonet, Blai; Romero, Javier; Geffner, Hector
Pubblicato in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Editore: IJCAI

Benchmarking Approximate Consistent Query Answering (Discussion Paper)

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

Efficient PAC Reinforcement Learning in Regular Decision Processes (si apre in una nuova finestra)

Autori: Alessandro Ronca; Giuseppe De Giacomo
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence., Numero 59, 2021
Editore: IJCAI
DOI: 10.24963/ijcai.2021/279

On Translations between ML Models for XAI Purposes (si apre in una nuova finestra)

Autori: Alexis de Colnet, Pierre Marquis
Pubblicato in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Pagina/e 3158-316
Editore: IJCAI
DOI: 10.24963/ijcai.2023/352

On-the-fly Synthesis for LTL over Finite Traces

Autori: Xiao, S.; Li, J.; Zhu, S.; Shi, Y.; Pu, G., Vardi, M.
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Pagina/e 6530-6537
Editore: AAAI

An Experimental Overview of Neural-Symbolic Systems (si apre in una nuova finestra)

Autori: Arne Vermeulen, Robin Manhaeve, Giuseppe Marra
Pubblicato in: Lecture Notes in Computer Science, Inductive Logic Programming, 2023, Pagina/e 124-138, ISBN 978-3-031-49299-0
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-49299-0_9

To Combine or not to Combine Graybox Crossover and Local Search? (si apre in una nuova finestra)

Autori: Lorenzo Canonne, Bilel Derbel, Francisco Chicano, Gabriela Ochoa
Pubblicato in: Proceedings of the Genetic and Evolutionary Computation Conference, 2023, Pagina/e 257-265, ISBN 9798400701191
Editore: ACM
DOI: 10.1145/3583131.3590466

Geometry-Aware Keypoint Network: Accurate Prediction of Point Features in Challenging Scenario (si apre in una nuova finestra)

Autori: Nowak, Tomasz and Skrzypczyński, Piotr
Pubblicato in: 17th Conference on Computer Science and Intelligence Systems (FedCSIS), Numero 2022, 2022, Pagina/e 191-200
Editore: Polish Information Processing Society
DOI: 10.15439/2022f145

Switch lists in the landscape of knowledge representation languages (si apre in una nuova finestra)

Autori: Ondřej Čepek
Pubblicato in: Proceedings of the 35th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2022), 2022
Editore: Florida Online Journals
DOI: 10.32473/flairs.v35i.130700

Mind the Gap: Measuring Generalization Performance Across Multiple Objectives (si apre in una nuova finestra)

Autori: Matthias Feurer, Katharina Eggensperger, Edward Bergman, Florian Pfisterer, Bernd Bischl & Frank Hutter
Pubblicato in: Advances in Intelligent Data Analysis, Numero 21, 2023, Pagina/e 130--142, ISBN 978-3-031-30047-9
Editore: Springer Nature
DOI: 10.1007/978-3-031-30047-9_11

Soft-Unification in Deep Probabilistic Logic

Autori: Jaron Maene, Luc De Raedt
Pubblicato in: Advances in Neural Information Processing Systems 36 (NeurIPS 2023), Numero 36, 2024, Pagina/e 60804 - 60820, ISBN 9781713899921
Editore: Curran Associates, Inc.

Negative Side Effects and AI Agent Indicators: Experiments in SafeLife

Autori: J Burden, J Hernández-Orallo
Pubblicato in: SafeAI@AAAI, 2021
Editore: CEUR-Ws

Privacy Risk Assessment of Individual Psychometric Profiles (si apre in una nuova finestra)

Autori: Giacomo Mariani, Anna Monreale, and Francesca Naretto
Pubblicato in: Discovery Science. DS 2021. Lecture Notes in Computer Science, Numero 12986, 2021, ISBN 978-3-030-88941-8
Editore: Springer
DOI: 10.1007/978-3-030-88942-5_32

Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic (si apre in una nuova finestra)

Autori: Daxin Liu; Gerhard Lakemeyer
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 1951-1958
Editore: IJCAI
DOI: 10.24963/ijcai.2021/269

Approximate Novelty Search

Autori: Singh, A.; Lipovetzky, N.; Ramirez, M.; Segovia-Aguas, J.
Pubblicato in: Proceedings of the International Conference on Automated Planning and Scheduling, 2021
Editore: AAAI

DL Abduction API v2 and GUI Interface

Autori: Jakub Kloc, Martin Homola and Júlia Pukancová
Pubblicato in: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), 2023, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Causal Abstraction with Soft Interventions (si apre in una nuova finestra)

Autori: Massidda, R.; Geiger, A.; Icard, T.; Bacciu, D.
Pubblicato in: Proceedings of the Second Conference on Causal Learning and Reasoning, Numero 53, 2023, Pagina/e 68-87
Editore: PMLR
DOI: 10.48550/arxiv.2211.12270

Efficient Generation of Structured Objects with Constrained Adversarial Networks

Autori: Di Liello, Luca; Ardino, Pierfrancesco; Gobbi, Jacopo; Morettin, Paolo; Teso, Stefano; Passerini, Andrea
Pubblicato in: Advances in Neural Information Processing Systems, 2020
Editore: Neural Information Processing Systems

Explainable Planner Selection for Classical Planning

Autori: Patrick Ferber; Jendrik Seipp
Pubblicato in: The 36th AAAI Conference on Artificial Intelligence, 2022
Editore: AAAI

Counterfactual Reasoning via Grounded Distance (si apre in una nuova finestra)

Autori: Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini
Pubblicato in: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, 2023, Pagina/e 2--11
Editore: kr.org
DOI: 10.24963/kr.2023/1

MizAR 60 for Mizar 50 (si apre in una nuova finestra)

Autori: Jakubův, Jan ; Chvalovský, Karel ; Goertzel, Zarathustra ; Kaliszyk, Cezary ; Olšák, Mirek ; Piotrowski, Bartosz ; Schulz, Stephan ; Suda, Martin ; Urban, Josef
Pubblicato in: 14th International Conference on Interactive Theorem Proving (ITP 2023), Numero vol 268, 2023, Pagina/e 19:1-19:22, ISBN 978-3-95977-284-6
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.itp.2023.19

Delete-Relaxation Heuristics for Lifted Classical Planning

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

Using Earley Parser for Recognizing Totally Ordered Hierarchical Plans (si apre in una nuova finestra)

Autori: Kristýna Pantůčková; Roman Barták
Pubblicato in: Proceedings of ECAI 2023, 2023
Editore: IOS Press
DOI: 10.3233/faia230469

Intelligent agents for auction-based federated learning: A survey

Autori: Xiaoli Tang, Han Yu, Xiaoxiao Li, and Sarit Kraus
Pubblicato in: IJCAI 2024, 2024
Editore: IJCAI 2024

Graphgen-redux: a Fast and Lightweight Recurrent Model for labeled Graph Generation (si apre in una nuova finestra)

Autori: Davide Bacciu; Marco Podda
Pubblicato in: IJCNN, Numero 42, 2021, ISBN 978-1-6654-3900-8
Editore: IEEE
DOI: 10.1109/ijcnn52387.2021.9533743

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic (si apre in una nuova finestra)

Autori: Andreas Herzig, Antonio Yuste-Ginel
Pubblicato in: Logic and Argumentation - 4th International Conference (CLAR 2021), Numero LNCS 13040, 2021, Pagina/e 190--208
Editore: Springer Verlag
DOI: 10.1007/978-3-030-89391-0_11

On the Computation of Example-Based Abductive Explanations for Random Forests (si apre in una nuova finestra)

Autori: Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
Pubblicato in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Pagina/e 3679-3687
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/407

Radar-Based Volumetric Precipitation Nowcasting: A 3D Convolutional Neural Network with U-Net Architecture

Autori: Peter Pavlík, Viera Rozinajová, Anna Bou Ezzeddine
Pubblicato in: CDCEO 2022, 2022, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Trading Complexity for Sparsity in Random Forest Explanations (si apre in una nuova finestra)

Autori: Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, 2022, Pagina/e 5461-5469
Editore: AAAI
DOI: 10.1609/aaai.v36i5.20484

Editing Boolean Classifiers: A Belief Change Perspective (si apre in una nuova finestra)

Autori: Nicolas Schwind, Katsumi Inoue, Pierre Marquis
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, 2023, Pagina/e 6516-6524
Editore: AAAI
DOI: 10.1609/aaai.v37i5.25801

Reconciling Training and Evaluation Objectives in Location Agnostic Surrogate Explainers (si apre in una nuova finestra)

Autori: Matt Clifford, Jonathan Erskine, Alexander Hepburn, Peter Flach, Raúl Santos-Rodríguez
Pubblicato in: Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023, Pagina/e 3833-3837
Editore: ACM
DOI: 10.1145/3583780.3615284

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

Autori: Lamanna, L.; Gerevini, A. E.; Saetti, A.; Serafini, L.; Traverso, P.
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Pagina/e 11862-11869
Editore: AAAI

You Only Write Thrice: Creating Documents, Computational Notebooks and Presentations From a Single Source

Autori: Kacper Sokol, Peter Flach
Pubblicato in: Beyond static papers: Rethinking how we share scientific understanding in ML (ICLR 2021 workshop), 2021
Editore: OpenReview

Using Earley Parser for Verification of Totally Ordered Hierarchical Plans (si apre in una nuova finestra)

Autori: Kristýna Pantucková; Simona Ondrcková; Roman Barták
Pubblicato in: Proceedings of FLAIRS-37, 2024
Editore: Florida Online Journals
DOI: 10.32473/flairs.37.1.135306

Fostering Ethical Sensitivity in AI Practitioners Throught Ethics-based Assessments

Autori: Adrián Gavorník, Juraj Podroužek
Pubblicato in: 2024
Editore: University of Twente

ADESSE: Advice Explanations in Complex Repeated Decision-Making Environments

Autori: Soren Schleibaum, Lu Feng, Jorg P. Muller and Sarit Kraus
Pubblicato in: IJCAI 2024, 2024
Editore: IJCAI 2024

Relatively Rational: Learning Utilities and Rationalities Jointly from Pairwise Preferences

Autori: Taku Yamagat, Tobias Oberkofle, Timo Kaufman, Viktor Beng, Eyke Hüllermeier, Raul Santos-Rodriguez 
Pubblicato in: ICML 2024 Workshop on Models of Human Feedback for AI Alignment, 2024
Editore: OpenReview

On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits (si apre in una nuova finestra)

Autori: Alexis de Colnet, Pierre Marquis
Pubblicato in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Pagina/e 2583-2590
Editore: IJCAI
DOI: 10.24963/ijcai.2022/358

Interpretable Next Basket Prediction Boosted with Representative Recipes (si apre in una nuova finestra)

Autori: R. Guidtotti, S. Viotto
Pubblicato in: 2020 IEEE Second International Conference on Cognitive Machine Intelligence (CogMI), 2021
Editore: IEEE
DOI: 10.1109/cogmi50398.2020.00018

A neuro-symbolic approach to structured event recognition

Autori: Apriceno, Gianluca ; Passerini, Andrea ; Serafini, Luciano
Pubblicato in: 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)., 2021
Editore: Dagstuhl Publishing

JAX-LOB: A GPU-Accelerated limit order book simulator to unlock large scale reinforcement learning for trading

Autori: Frey, Sascha and Li, Kang and Nagy, Peer and Sapora, Silvia and Lu, Chris and Zohren, Stefan and Foerster, Jakob and Calinescu, Anisoara
Pubblicato in: Proceedings of the Fourth ACM International Conference on AI in Finance, Numero 4th, 2023
Editore: ACM

PyXAI: An XAI Library for Tree-Based Models (si apre in una nuova finestra)

Autori: Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
Pubblicato in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Pagina/e 8601-8605
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/989

A Mathematical Benchmark for Inductive Theorem Provers (si apre in una nuova finestra)

Autori: Thibault Gauthier, Chad Brown, Mikolas Janota and Josef Urban
Pubblicato in: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Numero vol 94, 2023, Pagina/e pages 224--237
Editore: EasyChair
DOI: 10.29007/jr72

Modeling Edge Features with Deep Bayesian Graph Networks (si apre in una nuova finestra)

Autori: Daniele Atzeni; Davide Bacciu; Federico Errica; Alessio Micheli
Pubblicato in: IJCNN, Numero 6, 2021
Editore: IEEE
DOI: 10.1109/ijcnn52387.2021.9533430

Fully Differentiable Lagrangian Convolutional Neural Network for Continuity-Consistent Physics-Informed Precipitation Nowcasting (si apre in una nuova finestra)

Autori: Pavlík, Peter; Výboh, Martin; Ezzeddine, Anna Bou; Rozinajová, Viera
Pubblicato in: 2024
Editore: ICOML
DOI: 10.48550/arxiv.2402.10747

Co-creating Platformer Levels with Constrained Adversarial Networks

Autori: Paolo Morettin, Andrea Passerini, Stefano Teso
Pubblicato in: Proceedings of the 2nd Workshop on Human-AI Co-Creation with Generative Models, 2021
Editore: CEUR Workshop Proceedings

Cognitive effects in large language models.

Autori: Jonathan Shaki, Sarit Kraus, Michael Wooldridge.
Pubblicato in: ECAI 2023, 2023
Editore: IOS Press

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation (si apre in una nuova finestra)

Autori: Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 38, 2024, Pagina/e 20567-20576, ISSN 2374-3468
Editore: AAAI Press
DOI: 10.1609/aaai.v38i18.30042

On Redundancy in Constraint Satisfaction Problems, July 31 to August 8, 2022, Haifa, Israel}, (si apre in una nuova finestra)

Autori: Clément Carbonnel
Pubblicato in: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Numero LIPIcs, volume 235, 2022, Pagina/e 11:1--11:15
Editore: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.cp.2022.11

General Policies, Representations, and Planning Width

Autori: Bonet, Blai; Geffner, Hector
Pubblicato in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021, Pagina/e 11764--11773
Editore: AAAI

A Survey on Goal Recognition as Planning (si apre in una nuova finestra)

Autori: Felipe Meneguzzi; Ramon Fraga Pereira
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, Survey Track, 2021, Pagina/e 4524-4532
Editore: IJCAI
DOI: 10.24963/ijcai.2021/616

ProMap: Product Mapping Datasets (si apre in una nuova finestra)

Autori: Kateřina Macková; Martin Pilát
Pubblicato in: Advances in Information Retrieval. ECIR 2024, 2024
Editore: Springer
DOI: 10.1007/978-3-031-56060-6_11

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness

Autori: Vincent Derkinderen
Pubblicato in: 36th IEEE International Conference on Tools with Artificial Intelligence, 2024
Editore: IEEE Xplore

Neural probabilistic logic programming in discrete-continuous domains

Autori: Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Readt
Pubblicato in: Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence, Numero vol.216, 2023, Pagina/e 529-538
Editore: ML Research Press

Improving DL-Learner on a Malware Detection Use Case

Autori: Tomáš Bisták, Peter Švec, Ján Kľuka, Alexander Šimko, Štefan Balogh, Martin Homola
Pubblicato in: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), 2023, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

On Weak Stubborn Sets in Classical Planning (si apre in una nuova finestra)

Autori: Silvan Sievers; Martin Wehrle
Pubblicato in: Proceedings of the 30th International Joint Conference on Artificial Intelligence, 2021, Pagina/e 4167-4174
Editore: IJCAI
DOI: 10.24963/ijcai.2021/573

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

Autori: Drexler, Dominik; Seipp, Jendrik; Geffner, Hector
Pubblicato in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Editore: IJCAI

Learning Generalized Unsolvability Heuristics for Classical Planning (si apre in una nuova finestra)

Autori: Simon Ståhlberg; Guillem Francès; Jendrik Seipp
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 4175-4181
Editore: IJCAI
DOI: 10.24963/ijcai.2021/574

Assistive Robot Teleoperation Using Behavior Trees

Autori: Behery, Mohamed; Trinh, Minh; Brecher, Christian; Lakemeyer, Gerhard
Pubblicato in: Variable Autonomy for human-robot Teaming (VAT) workshop @ ACM/IEEE HRI, VAT-HRI, Stockholm, Sweden, 2023-03-13 - 2023-03-13, Numero 47, 2023
Editore: VAT-HRI

Learning Program Synthesis for Integer Sequences from Scratch (si apre in una nuova finestra)

Autori: Thibault Gauthier, Josef Urban
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 37(6), 2023, Pagina/e 7670-7677, ISBN 978-1-57735-880-0
Editore: AAAI Press
DOI: 10.1609/aaai.v37i6.25930

TabPFN: A Transformer That Solves Small Tabular Classification Problems in a Second

Autori: Noah Hollmann, Samuel Müller, Katharina Eggensperger, Frank Hutter
Pubblicato in: The Eleventh International Conference on Learning Representations, 2023
Editore: OpenReview.net

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (si apre in una nuova finestra)

Autori: Homola M., Pukancová J., Boborová J., Balintová I.
Pubblicato in: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings, 2023, ISBN 978-3-031-43618-5
Editore: Springer
DOI: 10.1007/978-3-031-43619-2_24

The FF Heuristic for Lifted Classical Planning (si apre in una nuova finestra)

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

Don't Simulate Twice: One-Shot Sensitivity Analyses via Automatic Differentiation

Autori: Quera-Bofarull, Arnau and Chopra, Ayush and Aylett-Bullock, Joseph and Cuesta-Lazaro, Carolina and Calinescu, Anisoara and Raskar, Ramesh and Wooldridge, Michael}
Pubblicato in: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023, Pagina/e 1867-1876, ISBN 978-1-4503-9432-1
Editore: IFAAMAS

ChemAlgebra: Algebraic Reasoning on Chemical Reactions (si apre in una nuova finestra)

Autori: Andrea Valenti, Davide Bacciu, Antonio Vergari
Pubblicato in: 2024 International Joint Conference on Neural Networks (IJCNN), Numero 33, 2024, Pagina/e 1-8
Editore: IEEE
DOI: 10.1109/ijcnn60899.2024.10650037

Citizen Centric Optimal Electric Vehicle Charging Stations Locations in a Full City: Case of Malaga (si apre in una nuova finestra)

Autori: Christian Cintrano; Jamal Toutouh; Jamal Toutouh; Enrique Alba
Pubblicato in: 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA, Numero 68, 2021, Pagina/e 247-257, ISBN 978-3-030-85713-4
Editore: Springer
DOI: 10.1007/978-3-030-85713-4_24

Identifying Privacy Risks raised by Utility Queries

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

Multi-Objective Reinforcement Learning for Designing Ethical Environments (si apre in una nuova finestra)

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

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine

Autori: Pedro Zuidberg Dos Martires, Vincent Derkinderen, Luc De Raedt, Marcus Krantz
Pubblicato in: Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Editore: AAAI Press

Contextual Conditional Reasoning

Autori: Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 35 (7), 2021, Pagina/e 6254-6261
Editore: AAAI Press

Learning from Non-Binary Constituency Trees via Tensor Decomposition (si apre in una nuova finestra)

Autori: Daniele Castellana; Davide Bacciu
Pubblicato in: COLING, Numero 37, 2021, ISSN 2161-4407
Editore: International Committee on Computational Linguistics
DOI: 10.18653/v1/2020.coling-main.346

Flexible FOND Planning with Explicit Fairness Assumptions

Autori: Rodriguez, Ivan D.; Bonet, Blai; Sardina, Sebastian; Geffner, Hector
Pubblicato in: The 31st International Conference on Automated Planning and Scheduling, 2021, Pagina/e 290--298
Editore: AAAI

A norm optimisation approach to SDGs: tackling poverty by acting on discrimination (si apre in una nuova finestra)

Autori: Georgina Curto, Nieves Montes, Carles Sierra, Nardine Osman, Flavio Comim
Pubblicato in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Pagina/e 5228-5235
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/726

Hybridization of Racing Methods with Evolutionary Operators for Simulation Optimization of Traffic Lights Programs (si apre in una nuova finestra)

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

Learning Causal Abstractions of Linear Structural Causal Models

Autori: Riccardo Massidda, Sara Magliacane, Davide Bacciu
Pubblicato in: The 40th Conference on Uncertainty in Artificial Intelligence, 2024
Editore: UAI Proceedings

An Audit of Misinformation Filter Bubbles on YouTube: Bubble Bursting and Recent Behavior Changes (si apre in una nuova finestra)

Autori: M. Tomlein, M. Kompan, M. Bielikova et al
Pubblicato in: Fifteenth ACM Conference on Recommender Systems, 2021, ISBN 978-1-4503-8458-2
Editore: RecSys '22: Sixteenth ACM Conference on Recommender Systems
DOI: 10.1145/3460231.3474241

Model-theoretic Characterizations of Rule-based Ontologies

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

A Machine Learning-Based Approach for Economics-Tailored Applications: The Spanish Case Study (si apre in una nuova finestra)

Autori: Zakaria Abdelmoiz Dahi , Gabriel Luque, Enrique Alba
Pubblicato in: 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, 2022, Pagina/e xx-xx, ISSN 0302-9743
Editore: Springer
DOI: 10.1007/978-3-031-02462-7_36

Enforcing Natural Properties of Choice Functions, with Application for Combination (si apre in una nuova finestra)

Autori: Nic Wilson
Pubblicato in: Proceedings ECAI 2023, Numero 2023, 2023
Editore: IOS Press
DOI: 10.3233/faia230572

Learning General Planning Policies from Small Examples Without Supervision

Autori: Francès, Guillem; Bonet, Blai; Geffner, Hector
Pubblicato in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021, Pagina/e 11801--11808
Editore: AAAI

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

Autori: G Jaimovitch, DC Falcon, C Ferri, JH Orallo
Pubblicato in: (NeurIPS 2021, 2021
Editore: Neurips

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

Autori: Ramon Fraga Pereira; Frederico Messa; Andre Grahl Pereira; Giuseppe De Giacomo
Pubblicato in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Editore: AAAI

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints (si apre in una nuova finestra)

Autori: Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 2083-2089
Editore: IJCAI
DOI: 10.24963/ijcai.2021/287

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

Autori: Prajit T. Rajendran, Huascar Espinoza, Agnes Delaborde, Chokri Mraidha
Pubblicato in: 2022
Editore: CEUR-WS.org

Learning Proof Transformations and Its Applications in Interactive Theorem Proving (si apre in una nuova finestra)

Autori: Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk & Josef Urban
Pubblicato in: Frontiers of Combining Systems. FroCoS 2023. Lecture Notes in Computer Science, Numero vol 14279, 2023, Pagina/e 236-254, ISBN 978-3-031-43368-9
Editore: Springer
DOI: 10.1007/978-3-031-43369-6_13

Benchmarking Approximate Consistent Query Answering (si apre in una nuova finestra)

Autori: Marco Calautti, Marco Console, Andreas Pieris
Pubblicato in: PODS'21: Proceedings of the 40th {ACM} SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021, Numero 2021, 2021
Editore: ACM
DOI: 10.1145/3452021.3458309

Translating SUMO-K to Higher-Order Set Theory (si apre in una nuova finestra)

Autori: Chad E. Brown, Adam Pease & Josef Urban
Pubblicato in: Frontiers of Combining Systems. FroCoS 2023. Lecture Notes in Computer Science, Numero vol 14279, 2023, Pagina/e 255-274, ISBN 978-3-031-43368-9
Editore: Springer
DOI: 10.1007/978-3-031-43369-6_14

Abstraction in Data Integration

Autori: Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi
Pubblicato in: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, Numero 2021, 2021
Editore: IEEE

Generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits

Autori: Fabrizio Ventola, Devendra Singh Dhami and Kristian Kersting
Pubblicato in: International Conference on Inductive Logic Programming, Numero 30, 2021
Editore: Springer

Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning

Autori: Micheli, A.; Valentini, A.
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Pagina/e 11895-11902
Editore: AAAI

Assessment of Manifold Unfolding in Trained Deep Neural Network Classifiers (si apre in una nuova finestra)

Autori: Š̌. Pócoš, I. Bečková, T. Kuzma, I. Farkaš
Pubblicato in: 1st TAILOR workshop, LNCS Springer, 2021, ISBN 978-3-030-73959-1
Editore: Springer
DOI: 10.1007/978-3-030-73959-1_9

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

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

Best-First Width Search for Lifted Classical Planning

Autori: ‪Augusto B. Corrêa‬; Jendrik Seipp
Pubblicato in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Editore: AAAI

Design a Win-Win Strategy That Is Fair to Both Service Providers and Tasks When Rejection is Not an Option

Autori: Yohai Trabelsi, Pan Xu, and Sarit Kraus
Pubblicato in: IJCAI 2024, 2024
Editore: IJCAI 2024

Learning Constraint Networks over Unknown Constraint Languages (si apre in una nuova finestra)

Autori: Christian Bessiere, Clément Carbonnel, Areski Himeur
Pubblicato in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 2023, Pagina/e 1876--1883
Editore: ijcai.org
DOI: 10.24963/ijcai.2023/208

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract)

Autori: Janka Boborová, Iveta Balintová, Júlia Pukancová and Martin Homola
Pubblicato in: Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), 2023, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Safe Learning and Optimization Techniques: Towards a Survey of the State of the Art (si apre in una nuova finestra)

Autori: Youngmin Kim, Richard Allmendinger, Manuel López-Ibáñez
Pubblicato in: Trustworthy AI - Integrating Learning, Optimization and Reasoning - First International Workshop, TAILOR, 2021, Pagina/e 123-139, ISBN 978-3-030-73959-1
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-73959-1_12

The impact of using constraints on counterfactual explanations

Autori: Maciej Falbogowski, Jerzy Stefanowski, Zuzanna Trafas, Adam Wojciechowski
Pubblicato in: Proceedings of the 3rd Polish Conference on Artificial Intelligence PP-RAI, April 25-27, 2022, Gdynia, Poland, Numero 2022, 2022, Pagina/e 81-84
Editore: Gdynia Maritime University

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Autori: Giuseppe De Giacomo; Marco Favorito
Pubblicato in: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021, Pagina/e 122-130
Editore: AAAI

A Boolean Extension of KLM-Style Conditional Reasoning

Autori: Paterson-Jones, Guy and Casini, Giovanni and Meyer, Thomas
Pubblicato in: Artificial Intelligence Research. Communications in Computer and Information Science, Numero 1342, 2020, Pagina/e 236-252, ISBN 978-3-030-66151-9
Editore: Springer

On the Hardness of Probabilistic Neurosymbolic Learning

Autori: Jaron Maene, Vincent Derkinderen, Luc De Raedt
Pubblicato in: Proceedings of the 41th International Conference on Machine Learning;, 2024
Editore: ML Research Press

The Nondeterministic Situation Calculus

Autori: Giuseppe De Giacomo; Yves Lespérance
Pubblicato in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Pagina/e 216–226
Editore: IJCAI

Resource Sharing Through Multi-Round Matchings

Autori: Yohai Trabelsi, Abhijin Adiga, Sarit Kraus, S.S. Ravi, Daniel J. Rosenkrantz.
Pubblicato in: AAAI 2023, 2023
Editore: AAAI

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract) (si apre in una nuova finestra)

Autori: Adnan Darwiche, Pierre Marquis
Pubblicato in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Pagina/e 5718-5721
Editore: IJCAI
DOI: 10.24963/ijcai.2022/797

Model-theoretic Characterizations of Rule-based Ontologies

Autori: Marco Console, Phookion Kolaitis, Andreas Pieris
Pubblicato 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, Numero 2021, 2021
Editore: CEUR-WS.org

A Computationally Grounded Logic of 'Seeing-to-it-that' (si apre in una nuova finestra)

Autori: Andreas Herzig, Emiliano Lorini, Elise Perrotin
Pubblicato in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, 2022, Pagina/e 2648--2654
Editore: ijca.org
DOI: 10.24963/ijcai.2022/367

Deriving a Single Interpretable Model by Merging Tree-Based Classifiers (si apre in una nuova finestra)

Autori: Valerio Bonsignori, Riccardo Guidotti, Anna Monreale
Pubblicato in: Discovery Science. DS 2021. Lecture Notes in Computer Science, Numero 12986, 2021, ISBN 978-3-030-88942-5
Editore: Springer
DOI: 10.1007/978-3-030-88942-5_27

On the Power of Automata Minimization in Temporal Synthesis

Autori: Shufang Zhu; Lucas M. Tabajara; Geguang Pu; Moshe Y. Vardi
Pubblicato in: The Twelfth International Symposium on Games, Automata, Logics, and Formal Verification, 2021, Pagina/e 117--134
Editore: EPTCS

A Direct Equivalence-Testing Algorithm for SLRs

Autori: Ondřej Čepek; James Weigle
Pubblicato in: Proceedings of the International Symposium on Artificial Intelligence and Mathematics (ISAIM 2022), 2022
Editore: ISAIM

Learning Aggregation Functions

Autori: Pellegrini, Giovanni ; Frasconi, Paolo ; Passerini, Andrea; Jaeger, Manfred
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Editore: International Joint Conferences on Artificial Intelligence

A New Approach to Design Symmetry Invariant Neural Networks

Autori: Piotr Kicki; Piotr Skrzypczyński; Mete Ozay
Pubblicato in: IEEE International Joint Conference on Neural Networks (IJCNN), Numero 2021, 2021, Pagina/e 1-8
Editore: IEEE

A Reinforcement Learning Environment for Multi-Service UAV-enabled Wireless Systems (si apre in una nuova finestra)

Autori: Damiano Brunori; Stefania Colonnese; Francesca Cuomo; Luca Iocchi
Pubblicato in: arxiv, 2021
Editore: Cornell University
DOI: 10.48550/arxiv.2105.05094

Deriving Provably Correct Explanations for Decision Trees: The Impact of Domain Theories (si apre in una nuova finestra)

Autori: Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
Pubblicato in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Pagina/e 3688-3696
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/408

Robust Malware Classification via Deep Graph Networks on Call Graph Topologies (si apre in una nuova finestra)

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

Saturated Post-hoc Optimization for Classical Planning. (si apre in una nuova finestra)

Autori: Jendrik Seipp; Thomas Keller; Malte Helmert
Pubblicato in: Proceedings of the 35th AAAI Conference on Artificial Intelligence, 2021, Pagina/e 11947-11953
Editore: AAAI Press
DOI: 10.5451/unibas-ep84299

Designing an XAI Interface for Tree-Based ML Models (si apre in una nuova finestra)

Autori: Gilles Audemard, Sylvie Coste-Marquis, Pierre Marquis, Mehdi Sabiri, Nicolas Szczepanski
Pubblicato in: Frontiers in Artificial Intelligence and Applications, ECAI 2024, 2024
Editore: IOS Press
DOI: 10.3233/faia240599

Safe Reinforcement Learning via Probabilistic Logic Shields (si apre in una nuova finestra)

Autori: Wen-Chi Yang, Giuseppe Marra, Gavin Rens, Luc De Raedt
Pubblicato in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Pagina/e 5739-5749, ISBN 978-1-956792-03-4
Editore: International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2023/637

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Autori: Kin Max Gusmão; Ramon Fraga Pereira; Felipe Meneguzzi
Pubblicato in: SPARK Workshop (ICAPS), 2021
Editore: AAAI

A Survey on Quantum Computer Simulators

Autori: Zakaria Abdelmoiz Dahi, Enrique Alba, Rodrigo Gil-Merino, Francisco Chicano, Gabriel Luque
Pubblicato in: 19th Conference of the Spanish Association for Artificial Intelligence (CAEPIA), 2021, Pagina/e 941-946, ISBN 978-84-09-30514-8
Editore: CAEPIA

Synthesis with Mandatory Stop Actions

Autori: Giuseppe De Giacomo; Antonio Di Stasio; Giuseppe Perelli; Shufang Zhu
Pubblicato in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Pagina/e 237–246
Editore: IJCAI

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

Autori: Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami and Kristian Kersting
Pubblicato in: International Conference on Principles of Knowledge Representation and Reasoning, Numero 19, 2022
Editore: IJCAI organization

Towards Continuous Automatic Audits of Social Media Adaptive Behavior and its Role in Misinformation Spreading (si apre in una nuova finestra)

Autori: J. Simko, M. Kompan, M. Bielikova et al
Pubblicato in: UMAP, 2022, ISBN 978-1-4503-8367-7
Editore: Association for Computing Machinery
DOI: 10.1145/3450614.3463353

Guiding an Instantiation Prover with Graph Neural Networks (si apre in una nuova finestra)

Autori: Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock and Josef Urban
Pubblicato in: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Numero vol 94, 2023, Pagina/e pages 112--123
Editore: EasyChair
DOI: 10.29007/tp23

Loopless Top-k Planning

Autori: Julian von Tschammer; Robert Mattmüller; David Speck
Pubblicato in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Editore: AAAI

Intensional and Extensional Views in DL-Lite Ontologies (si apre in una nuova finestra)

Autori: Marco Console; Giuseppe De Giacomo; Maurizio Lenzerini; Manuel Namici
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 1822-1828
Editore: IJCAI
DOI: 10.24963/ijcai.2021/251

Synthesizing Best-Effort Strategies under Multiple Environment Specifications

Autori: Benjamin Aminof and Giuseppe De Giacomo and Alessio Lomuscio and Aniello Murano and Sasha Rubin
Pubblicato in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Editore: IJCAI

Can language models automate data wrangling?

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

An Agent-Based Model for Poverty and Discrimination Policy-Making (si apre in una nuova finestra)

Autori: Nieves Montes, Georgina Curto, Nardine Osman & Carles Sierra
Pubblicato in: AMPM 2022: 2nd Workshop in Agent-based Modeling & Policy-Making, 2022
Editore: CEUR Workshop Proceedings
DOI: 10.48550/arxiv.2303.13994

Allocation Problem in Remote Teleoperation: Online Matching with Offline Reusable Resources and Delayed Assignments

Autori: Osnat Ackerman Viden, Yohai Trabelsi, Pan Xu, Karthik Abinav Sankararaman, Oleg Maksimov and Sarit Kraus
Pubblicato in: AAMAS 2023, 2023
Editore: IFAAMAS

Utilizing Assessment List for Trustworthy AI: three areas of improvement for ethics-based assessments and audits

Autori: Adrian Gavornik, Juraj Podroužek, Matus Mesarcik, Sara Solarova, Stefan Oresko and Maria Bielikova
Pubblicato in: Proceedings of the 2nd Workshop on Adverse Impacts and Collateral Effects of Artificial Intelligence Technologies - AIofAI 2022, 2022, ISSN 1613-0073
Editore: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Discovering Declarative Process Model Behavior from Event Logs via Model Learning (si apre in una nuova finestra)

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

Complexity of Inconsistency-Tolerant Query Answering in Datalog+/--under Preferred Repairs

Autori: Lukasiewicz, Thomas and Malizia, Enrico and Molinaro, Cristian
Pubblicato in: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning}, Numero Volume 19, number 1, 2023, Pagina/e 472-481, ISBN 978-1-956792-02-7
Editore: IJCAI Organization

On the Computation of Contrastive Explanations for Boosted Regression Trees (si apre in una nuova finestra)

Autori: Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis
Pubblicato in: Frontiers in Artificial Intelligence and Applications, ECAI 2024, 2024
Editore: IOS Press
DOI: 10.3233/faia240600

Online Learning of Action Models for PDDL Planning (si apre in una nuova finestra)

Autori: Leonardo Lamanna; Alessandro Saetti; Luciano Serafini; Alfonso Gerevini; Paolo Traverso
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 4112-4118
Editore: IJCAI
DOI: 10.24963/ijcai.2021/566

Neuro-Symbolic Constraint Programming for Structured Prediction

Autori: Dragone, Paolo; Teso, Stefano; Passerini, Andrea
Pubblicato in: NeSy’21: 15th International Workshop on Neural-Symbolic Learning and Reasoning, 2021
Editore: ISSN 1613-0073 CEUR Workshop Proceedings

Explainable Multi-Agent Reinforcement Learning for Temporal Queries, I

Autori: Kayla Boggess, Sarit Kraus and Lu Feng.
Pubblicato in: IJCAI 2023, 2023
Editore: IJCAI

Toward Policy Explanations for Multi-Agent Reinforcement Learning, I

Autori: Kayla Boggess, Sarit Kraus and Lu Feng.
Pubblicato in: JCAI 2022., 2022
Editore: IJCAI

A Compiler for Weak Decomposable Negation Normal Form (si apre in una nuova finestra)

Autori: Petr Illner; Petr Kučera
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, 2024, 2024
Editore: AAAI
DOI: 10.1609/aaai.v38i9.28926

Parsing-Based Recognition of Hierarchical Plans Using the Grammar Constraint (si apre in una nuova finestra)

Autori: Kristýna Pantucková; Simona Ondrcková; Roman Barták
Pubblicato in: Proceedings of FLAIRS-36, 2023
Editore: Florida Online Journals
DOI: 10.32473/flairs.36.133367

To Promote Full Cooperation in Social Dilemmas, Agents Need to Unlearn Loyalty (si apre in una nuova finestra)

Autori: Chin-wing Leung, Tom Lenaerts, Paolo Turrini
Pubblicato in: Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence, 2024, Pagina/e 111-119
Editore: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2024/13

Towards Compact and Explainable Deep Belief Networks (si apre in una nuova finestra)

Autori: Jan Bronec; Iveta Mrázová
Pubblicato in: Proceedings of International Joint Conference on Neural Networks (IJCNN 2024),, 2024
Editore: IEEE
DOI: 10.1109/ijcnn60899.2024.10650547

On the Variation of Max Regret with respect to the Scaling of the Objectives (si apre in una nuova finestra)

Autori: Nic Wilson
Pubblicato in: Proceedings ECAI 2023, Numero 2023, 2023
Editore: IOS Press
DOI: 10.3233/faia230571

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis (si apre in una nuova finestra)

Autori: Giuseppe De Giacomo; Antonio Di Stasio; Lucas M. Tabajara; Moshe Vardi; Shufang Zhu
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Pagina/e 1852-1858
Editore: IJCAI
DOI: 10.24963/ijcai.2021/255

Learning Confidence Bounds for Classification with Imbalanced Data

Autori: Matt Clifford, Jonathan Erskine, Alexander Hepburn, Raúl Santos-Rodríguez, Dario Garcia-Garcia
Pubblicato in: 27th European Conference on Artificial Intelligence (ECAI-2024) , 2024
Editore: IOS Press

Online Action Recognition

Autori: Suárez-Hernández, A.; Segovia-Aguas, J.; Torras, C.; Alenyà, G.
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Pagina/e 11981-11989
Editore: AAAI

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition (si apre in una nuova finestra)

Autori: Andreas Herzig; Frédéric Maris; Elise Perrotin
Pubblicato in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Pagina/e 676–680
Editore: kr.org
DOI: 10.24963/kr.2021/68

Stream-level Latency Evaluation for Simultaneous Machine Translation (si apre in una nuova finestra)

Autori: Iranzo-Sánchez, Javier ; Civera, Jorge ; Juan, Alfons
Pubblicato in: EMNLP 2021, 2021
Editore: Cornel University
DOI: 10.48550/arxiv.2104.08817

ASP-Based Declarative Process Mining

Autori: Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi
Pubblicato in: The 36th AAAI Conference on Artificial Intelligence, 2022
Editore: AAAI

OpenML Benchmarking Suites

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

DP-CTGAN: Differentially Private Medical Data Generation using CTGANs

Autori: Mei Ling Fang, Devendra Singh Dhami and Kristian Kersting,
Pubblicato in: Artificial Intelligence in Medicine, Numero 20, 2022
Editore: Springer

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans (si apre in una nuova finestra)

Autori: Simona Ondrcková; Roman Barták; Pascal Bercher;, Gregor Behnke
Pubblicato in: Proceedings of FLAIRS-36, 2023
Editore: Florida Online Journals
DOI: 10.32473/flairs.36.133196

Optimizing Post-hoc Explainability Algorithm for Finding Faithful and Understandable Explanations for a Combination of Model, Task and Data

Autori: Martin Tamajka, Marcel Vesely, Marian Simko
Pubblicato in: XAI at IJCAI 2022, 2022
Editore: IJCAI

Guiding Genetic Programming with Graph Neural Networks (si apre in una nuova finestra)

Autori: Piotr Wyrwiński, Krzysztof Krawiec
Pubblicato in: Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024, Pagina/e 551-554
Editore: ACM
DOI: 10.1145/3638530.3654277

Landmark-Based Approaches for Goal Recognition as Planning

Autori: Ramon Fraga Pereira; Nir Oren; Felipe Meneguzzi
Pubblicato in: The 31st International Conference on Automated Planning and Scheduling, 2021
Editore: AAAI

piBO: Augmenting Acquisition Functions with User Beliefs for Bayesian Optimization

Autori: Carl Hvarfner, Danny Stoll, Artur Souza, Marius Lindauer, Frank Hutter, Luigi Nardi
Pubblicato in: The Tenth International Conference on Learning Representations, 2022
Editore: International Conference on Learning Representations

OPTION : optimization algorithm benchmarking ontology. (si apre in una nuova finestra)

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

Explaining a probabilistic prediction on the simplex with Shapley compositions

Autori: Paul-Gauthier Noé, Miquel Perelló-Nieto, Jean-François Bonastre, Peter Flach
Pubblicato in: 27th European Conference on Artificial Intelligence (ECAI-2024), 2024
Editore: IOS Press

Constraint-Free Structure Learning with Smooth Acyclic Orientations

Autori: Riccardo Massidda, Francesco Landolfi, Martina Cinquini, Davide Bacciu
Pubblicato in: The Twelfth International Conference on Learning Representations, 2024
Editore: ICLR Proceedings

Computing Abductive Explanations for Boosted Trees

Autori: Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
Pubblicato in: Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, 2023, Pagina/e PMLR 206:4699-4711
Editore: MLResearchPress

Machine Learning for Utility Prediction in Argument-Based Computational Persuasion (si apre in una nuova finestra)

Autori: Donadello, Ivan; Hunter, Anthony; Teso, Stefano; Dragoni, Mauro
Pubblicato in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Editore: AAAI Press
DOI: 10.48550/arxiv.2112.04953

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

Autori: Matej Zecevic, Devendra Singh Dhami, Athresh Karanam, Sriraam Natarajan and Kristian Kersting
Pubblicato in: Advances in Neural Information Processing Systems, Numero 34, 2021
Editore: Neural Information Processing Systems

An Efficient QAOA via a Polynomial QPU-Needless Approach (si apre in una nuova finestra)

Autori: Francisco Chicano, Zakaria Dahi, Gabriel Luque
Pubblicato in: Proceedings of the Companion Conference on Genetic and Evolutionary Computation, Numero 400, 2023, Pagina/e 2187-2194, ISBN 9798400701207
Editore: ACM
DOI: 10.1145/3583133.3596409

Interactive Label Cleaning with Example-based Explanations

Autori: Teso, Stefano; Bontempelli, Andrea; Giunchiglia, Fausto; Passerini, Andrea
Pubblicato in: Advances in Neural Information Processing Systems, 2021
Editore: Neural Information Processing Systems Foundation, Inc. (NIPS)

Optimising Communication Overhead in Federated Learning Using NSGA-II (si apre in una nuova finestra)

Autori: José Ángel Morell , Zakaria Abdelmoiz Dahi, Francisco Chicano, Gabriel Luque, Enrique Alba
Pubblicato in: 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, 2022, Pagina/e xx-xx, ISSN 0302-9743
Editore: Springer
DOI: 10.48550/arxiv.2204.02183

Finding Structure and Causality in Linear Programs

Autori: Matej Zečević, Florian Peter Busch, Devendra Singh Dhami and Kristian Kersting
Pubblicato in: ICLR Workshop on the Elements of Reasoning: Objects, Structure and Causality, Numero 1, 2022
Editore: openreview

Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks (si apre in una nuova finestra)

Autori: Andreas Herzig, Antonio Yuste-Ginel
Pubblicato in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, 2021, Pagina/e 1922--1928
Editore: ijca.org
DOI: 10.24963/ijcai.2021/265

An LP-Based Approach for Goal Recognition as Planning

Autori: Luisa R. de A. Santos; Felipe Meneguzzi; Ramon Fraga Pereira; Andre G. Pereira
Pubblicato in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Editore: AAAI

Human-in-the-Loop Learning Methods Toward Safe DL-Based Autonomous Systems: A Review (si apre in una nuova finestra)

Autori: Prajit T. Rajendran, Huascar Espinoza, Agnes Delaborde, Chokri Mraidha
Pubblicato in: 2021
Editore: Springer
DOI: 10.1007/978-3-030-83906-2\_20

Robust Solutions for Multi-Defender Stackelberg Security Games,

Autori: Mutzari Yonatan Aumann and Sarit Kraus
Pubblicato in: IJCAI 2022, 2022
Editore: IJCAI

Quick-Tune: Quickly Learning Which Pretrained Model to Finetune and How (si apre in una nuova finestra)

Autori: Sebastian Pineda Arango, Fabio Ferreira, Arlind Kadra, Frank Hutter, Josif Grabocka
Pubblicato in: arxiv, 2023
Editore: arxiv
DOI: 10.48550/arxiv.2306.03828

Recognizing LTLf/PLTLf Goals in Fully Observable Non-Deterministic Domain Models (si apre in una nuova finestra)

Autori: Pereira, Ramon Fraga; Fuggitti, Francesco; De Giacomo, Giuseppe
Pubblicato in: arxiv, Numero 51, 2021
Editore: Cornell University
DOI: 10.48550/arxiv.2103.11692

AutoML Adoption in ML Software

Autori: van der Blom, Koen and Serban, Alex and Hoos, Holger and Visser, Joost
Pubblicato in: 8th ICML Workshop on Automated Machine Learning, 2021
Editore: Openreview.net

EXPLAIN, AGREE and LEARN: A Recipe for Scalable Neural-Symbolic Learning

Autori: Victor Verreet, Lennert De Smet, Emanuele Sansone
Pubblicato in: ICML Workshop: Knowledge and Logical Reasoning in the Era of Data-driven Learning, Location, 2023
Editore: ICML workshop website

Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML (si apre in una nuova finestra)

Autori: Hilde Weerts, Florian Pfisterer, Matthias Feurer, Katharina Eggensperger, Edward Bergman, Noor Awad, Joaquin Vanschoren, Mykola Pechenizkiy, Bernd Bischl, Frank Hutter
Pubblicato in: arxiv, 2023
Editore: arxiv
DOI: 10.48550/arxiv.2303.08485

Behavioral QLTL (si apre in una nuova finestra)

Autori: De Giacomo, Giuseppe; Perelli, Giuseppe
Pubblicato in: arxiv, Numero 53, 2021
Editore: Cornell University
DOI: 10.48550/arxiv.2102.11184

Reproducibility of Machine Learning: Terminology, Recommendations and Open Issues (si apre in una nuova finestra)

Autori: Albertoni, Riccardo and Colantonio, Sara and Skrzypczynski, Piotr and Stefanowski, Jerzy
Pubblicato in: Computing Research Repository (CoRR), 2023, ISSN 2331-8422
Editore: arXiv.org e-Print Archive
DOI: 10.48550/arxiv.2302.12691

Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic: A Polynomial Reduction to Standard Planning (si apre in una nuova finestra)

Autori: Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti
Pubblicato in: arxiv, 2022
Editore: Cornell University
DOI: 10.48550/arxiv.2204.09960

Maximal and minimal dynamic Petri net slicing

Autori: Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
Pubblicato in: Arxiv, Numero 13, 2021
Editore: Arxiv

Self-Correcting Bayesian Optimization through Bayesian Active Learning (si apre in una nuova finestra)

Autori: Carl Hvarfner, Erik Hellsten, Frank Hutter, Luigi Nardi
Pubblicato in: 2023
Editore: arxiv
DOI: 10.48550/arxiv.2304.11005

Advances in MetaDL: AAAI 2021 Challenge and Workshop

Autori: El Baz, Adrian and Guyon, Isabelle and Liu, Zhengying and van Rijn, Jan N. and Treguer, Sebastien and Vanschoren, Joaquin
Pubblicato in: Proceedings of Machine Learning Research, 2021
Editore: Proceedings of Machine Learning Research

Conditional Teaching Size

Autori: Garcia-Piqueras, Manuel; Hernández-Orallo, José
Pubblicato in: Conditional Teaching Size, Numero 24, 2021
Editore: Arxiv

Evaluating Perceptual Distance Models by Fitting Binomial Distributions to Two-Alternative Forced Choice Data

Autori: Alexander Hepburn, Raul Santos-Rodriguez , Javier Portilla
Pubblicato in: 2024
Editore: arXiv

Learning constraints through partial queries (si apre in una nuova finestra)

Autori: Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Pubblicato in: Artif. Intell., Numero volume 319, 2023, Pagina/e 103896, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2023.103896

GLocalX - From Local to Global Explanations of Black Box AI Models (si apre in una nuova finestra)

Autori: Mattia Setzu and Riccardo Guidotti and Anna Monreale and Franco Turini and Dino Pedreschi and Fosca Giannotti
Pubblicato in: Artificial Intelligence Journal, Numero 294, 2021, Pagina/e 103457, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2021.103457

Classifier calibration: a survey on how to assess and improve predicted class probabilities (si apre in una nuova finestra)

Autori: Telmo Silva Filho, Hao Song, Miquel Perello-Nieto, Raul Santos-Rodriguez, Meelis Kull, Peter Flach
Pubblicato in: Machine Learning, Numero 112, 2023, Pagina/e 3211-3260, ISSN 0885-6125
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10994-023-06336-7

Climate Variability Indices—A Guided Tour (si apre in una nuova finestra)

Autori: Mateusz Norel; Michał Kałczyński; Iwona Pińskwar; Krzysztof Krawiec; Zbigniew W. Kundzewicz
Pubblicato in: Geosciences, Numero 1, 2021, ISSN 2076-3263
Editore: MDPI
DOI: 10.3390/geosciences11030128

Reason-able embeddings: Learning concept embeddings with a transferable neural reasoner (si apre in una nuova finestra)

Autori: Dariusz Max Adamski, Jędrzej Potoniec
Pubblicato in: Semantic Web, 2023, Pagina/e 1-33, ISSN 1570-0844
Editore: IOS Press
DOI: 10.3233/sw-233355

The art of compensation: How hybrid teams solve collective-risk dilemmas (si apre in una nuova finestra)

Autori: Inês Terrucha, Elias Fernández Domingos, Francisco C. Santos, Pieter Simoens, Tom Lenaerts
Pubblicato in: PLOS ONE, Numero 19, 2024, Pagina/e e0297213, ISSN 1932-6203
Editore: Public Library of Science
DOI: 10.1371/journal.pone.0297213

Machine Learning Modeling of Climate Variability Impact on River Runoff (si apre in una nuova finestra)

Autori: Norel, Mateusz and Krawiec, Krzysztof and Kundzewicz, Zbigniew W
Pubblicato in: Water, Numero 9, 2021, ISSN 2073-4441
Editore: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/w13091177

K-plex cover pooling for graph neural networks (si apre in una nuova finestra)

Autori: Davide Bacciu; Alessio Conte; Roberto Grossi; Francesco Landolfi; Andrea Marino
Pubblicato in: Data Mining and Knowledge Discovery, Numero 5, 2021, ISSN 1384-5810
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10618-021-00779-z

Auditing YouTube’s Recommendation Algorithm for Misinformation Filter Bubbles (si apre in una nuova finestra)

Autori: Ivan Srba, Robert Moro, Matus Tomlein, Branislav Pecher, Jakub Simko, Elena Stefancova, Michal Kompan, Andrea Hrckova, Juraj Podrouzek, Adrian Gavornik, and Maria Bielikova
Pubblicato in: ACM Transactions on Recommender Systems Volume 1 Numero 1 Article No.: 6 pp 1–33, 2022, ISSN 2770-6699
Editore: Association for Computing Machinery
DOI: 10.1145/3568392

A Comparative Study of Two Rule-Based Explanation Methods for Diabetic Retinopathy Risk Assessment (si apre in una nuova finestra)

Autori: Maaroof, Najlaa and Moreno, Antonio and Valls, Aida and Jabreel, Mohammed and Szeląg, Marcin
Pubblicato in: Applied Sciences, Numero 7, 2022, ISSN 2076-3417
Editore: MDPI
DOI: 10.3390/app12073358

Hierarchical Task Assignment and Path Finding with Limited Communication for Robot Swarms (si apre in una nuova finestra)

Autori: "Dario Albani and Wolfgang {H\""onig} and Daniele Nardi and Nora Ayanian and Vito Trianni"
Pubblicato in: Applied Sciences, 2021, ISSN 2076-3417
Editore: MDPI
DOI: 10.3390/app11073115

P systems in the time of COVID-19 (si apre in una nuova finestra)

Autori: Fernando Baquero; Marcelino Campos; Carlos Llorens; José M. Sempere
Pubblicato in: P systems in the time of COVID-19, Numero 18, 2021, ISSN 2523-8914
Editore: Springer
DOI: 10.1007/s41965-021-00083-1

Embedding reactive behavior into artifact-centric business process models (si apre in una nuova finestra)

Autori: Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente
Pubblicato in: Future Generation Computer Systems, 2021, ISSN 0167-739X
Editore: Elsevier BV
DOI: 10.1016/j.future.2020.11.018

The impact of data difficulty factors on classification of imbalanced and concept drifting data streams (si apre in una nuova finestra)

Autori: Dariusz Brzezinski and Leandro L. Minku and Tomasz Pewinski and Jerzy Stefanowski and Artur Szumaczuk
Pubblicato in: Knowledge Information Systems, Numero 63, 2021, Pagina/e 1429-1469, ISSN 0219-1377
Editore: Springer Verlag
DOI: 10.1007/s10115-021-01560-w

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting (si apre in una nuova finestra)

Autori: Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati; Domenico Fabio Savo
Pubblicato in: Journal of Artificial Intelligence Research, 2021, Pagina/e 1335--1371, ISSN 1076-9757
Editore: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12414

Synthesis and Properties of Optimally Value-Aligned Normative Systems (si apre in una nuova finestra)

Autori: Nieves Montes, Carles Sierra
Pubblicato in: Journal of Artificial Intelligence Research, Numero 74, 2022, Pagina/e 1739-1774, ISSN 1076-9757
Editore: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.13487

Learning MAX-SAT from contextual examples for combinatorial optimisation (si apre in una nuova finestra)

Autori: Mohit Kumar, Samuel Kolb, Stefano Teso, Luc De Raedt
Pubblicato in: Artificial Intelligence, Numero 314, 2024, Pagina/e 103794, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2022.103794

Generalizing Downsampling from Regular Data to Graphs (si apre in una nuova finestra)

Autori: Davide Bacciu, Alessio Conte, Francesco Landolfi
Pubblicato in: Proceedings of the AAAI Conference on Artificial Intelligence, Numero 37, 2023, Pagina/e 6718-6727, ISSN 2374-3468
Editore: AAAI press
DOI: 10.1609/aaai.v37i6.25824

Dynastic Potential Crossover Operator (si apre in una nuova finestra)

Autori: Chicano Francisco, Ochoa Gabriela, Whitley L. Darrell, Tinós, Renato
Pubblicato in: Evolutionary Computation, 2021, Pagina/e 1-35, ISSN 1063-6560
Editore: MIT Press
DOI: 10.1162/evco_a_00305

A Lightweight Epistemic Logic and its Application to Planning (si apre in una nuova finestra)

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

Instilling moral value alignment by means of multi-objective reinforcement learning (si apre in una nuova finestra)

Autori: Rodriguez-Soto, M., Serramia, M., Lopez-Sanchez, M. et al
Pubblicato in: Ethics and Information Technology, 2022, ISSN 1388-1957
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10676-022-09635-0

Enhancing and Evaluating the Product Fuzzy DPLL Solver (si apre in una nuova finestra)

Autori: Ivor Uhliarik
Pubblicato in: SN Comput. Sci. 3(5): 388, 2022, ISSN 2661-8907
Editore: Springer
DOI: 10.1007/s42979-022-01192-z

ReliefE : feature ranking in high dimensional spaces via manifold embeddings (si apre in una nuova finestra)

Autori: Blaž Škrlj, Sašo Džeroski, Nada Lavrač and Matej Petković
Pubblicato in: Machine learning, Numero 111, 2022, Pagina/e 273-317, ISSN 0885-6125
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10994-021-05998-5

ACVIZ: A tool for the visual analysis of the configuration of algorithms with irace (si apre in una nuova finestra)

Autori: Marcelo de Souza, Marcus Ritt, Manuel Lopez-Ibanez, Leslie Pérez Cáceres
Pubblicato in: Operations Research Perspectives, 2021, Pagina/e 100186, ISSN 2214-7160
Editore: Elsevier BV
DOI: 10.1016/j.orp.2021.100186

Resource separation in dynamic logic of propositional assignments (si apre in una nuova finestra)

Autori: Joseph Boudou; Andreas Herzig; Nicolas Troquard
Pubblicato in: Journal of Logical and Algebraic Methods in Programming, 2021, ISSN 2352-2208
Editore: Elsevier BV
DOI: 10.1016/j.jlamp.2021.100683

What makes multi-class imbalanced problems difficult? An experimental study (si apre in una nuova finestra)

Autori: Mateusz Lango, Jerzy Stefanowski
Pubblicato in: Expert Systems with Applications, Numero 199, 2022, ISSN 0957-4174
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.eswa.2022.116962

Metamodeling and metaquerying in OWL 2 QL

Autori: Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
Pubblicato in: Artificial Intelligence, Numero 292, 2021, ISSN 0004-3702
Editore: Elsevier BV

A computational model of Ostrom's Institutional Analysis and Development framework (si apre in una nuova finestra)

Autori: Nieves Montes, Nardine Osman, Carles Sierra
Pubblicato in: Artificial Intelligence, Numero 311, 2024, Pagina/e 103756, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2022.103756

Inferring strategies from observations in long iterated Prisoner’s dilemma experiments (si apre in una nuova finestra)

Autori: Eladio Montero-Porras, Jelena Grujić, Elias Fernández Domingos, Tom Lenaerts
Pubblicato in: Scientific Reports, Numero 12, 2022, ISSN 2045-2322
Editore: Nature Publishing Group
DOI: 10.1038/s41598-022-11654-2

Metaheuristics on quantum computers: Inspiration, simulation and real execution (si apre in una nuova finestra)

Autori: Zakaria Abdelmoiz Dahi, Enrique Alba
Pubblicato in: Future Generation Computer Systems, 2022, Pagina/e 164-180, ISSN 0167-739X
Editore: Elsevier BV
DOI: 10.1016/j.future.2021.12.015

A multidimensional culturally adapted representation of emotions for affective computational simulation and recognition (si apre in una nuova finestra)

Autori: Joaquín Taverner; Emilio Vivancos; Vicente Botti
Pubblicato in: IEEE Transaction on Affective Computing, Numero 12, 2022, ISSN 1949-3045
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/taffc.2020.3030586

Explaining the performance of multilabel classification methods with data set properties (si apre in una nuova finestra)

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

FairLens: Auditing black-box clinical decision support systems (si apre in una nuova finestra)

Autori: Cecilia Panigutti, Alan Perotti, André Panisson, Paolo Bajardi, Dino Pedreschi
Pubblicato in: Information Processing & Management, Numero 58, 2021, ISSN 0306-4573
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.ipm.2021.102657

Hybridization of Evolutionary Operators with Elitist Iterated Racing for the Simulation Optimization of Traffic Lights Programs (si apre in una nuova finestra)

Autori: Christian Cintrano, Javier Ferrer, Manuel López-Ibáñez, Enrique Alba
Pubblicato in: Evolutionary Computation, Numero 31, 2023, Pagina/e 31-51, ISSN 1530-9304
Editore: MIT Press
DOI: 10.1162/evco_a_00314

General intelligence disentangled via a generality metric for natural and artificial intelligence. (si apre in una nuova finestra)

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

Signalling boosts the evolution of cooperation in repeated group interactions (si apre in una nuova finestra)

Autori: Luis A. Martinez-Vaquero; Francisco C. Santos; Vito Trianni
Pubblicato in: Journal of the Royal Society Interface, Numero 58, 2020, ISSN 1742-5662
Editore: The Royal Society Publishing
DOI: 10.1098/rsif.2020.0635

SAMBA: AGeneric Framework for Secure Federated Multi-Armed Bandits (si apre in una nuova finestra)

Autori: Radu Ciucanu and Pascal Lafourcade and Gael Marcadet and Marta Soare
Pubblicato in: Journal of Artificial Intelligence Research, 2022, ISSN 1076-9757
Editore: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.13163

Explaining and predicting customer churn by monotonic rules induced from ordinal data (si apre in una nuova finestra)

Autori: Marcin Szeląg and Roman Słowiński
Pubblicato in: European Journal of Operational Research, Numero 2023, 2023, ISSN 0377-2217
Editore: Elsevier BV
DOI: 10.1016/j.ejor.2023.09.028

Combining theory of mind and abductive reasoning in agent-oriented programming (si apre in una nuova finestra)

Autori: Nieves Montes, Michael Luck, Nardine Osman, Odinaldo Rodrigues, Carles Sierra
Pubblicato in: Autonomous Agents and Multi-Agent Systems, Numero 37, 2023, ISSN 1387-2532
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10458-023-09613-w

Evaluating local explanation methods on ground truth (si apre in una nuova finestra)

Autori: Riccardo Guidotti; Riccardo Guidotti
Pubblicato in: Artificial Intelligence, Numero 89, 2021, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2020.103428

Improvement of Contact Tracing with Citizen's Distributed Risk Maps. (si apre in una nuova finestra)

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

Optimal training of integer-valued neural networks with mixed integer programming (si apre in una nuova finestra)

Autori: Tómas Thorbjarnarson; Neil Yorke-Smith
Pubblicato in: urn:issn:1932-6203, Numero 57, 2023, ISSN 1932-6203
Editore: Public Library of Science
DOI: 10.1371/journal.pone.0261029

Effective anytime algorithm for multiobjective combinatorial optimization problems (si apre in una nuova finestra)

Autori: Miguel Ángel Domínguez-Ríos, Francisco Chicano, Enrique Alba
Pubblicato in: Information Sciences, 2021, Pagina/e 210-228, ISSN 0020-0255
Editore: Elsevier BV
DOI: 10.1016/j.ins.2021.02.074

Reasoning about causality in games

Autori: Hammond, Lewis, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, and Michael Wooldridge
Pubblicato in: Artificial Intelligence, Numero Volume 320, 2023, Pagina/e 103919, ISSN 1872-7921
Editore: Elsevier

Automating data science (si apre in una nuova finestra)

Autori: Tijl De Bie, Luc De Raedt, José Hernández-Orallo, Holger H. Hoos, Padhraic Smyth, Christopher K. I. Williams
Pubblicato in: Communications of the ACM, Numero vol. 65, issue 3, 2022, Pagina/e 76–87, ISSN 0001-0782
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3495256

Towards a Framework for Certification of Reliable Autonomous Systems (si apre in una nuova finestra)

Autori: Michael Fisher; Viviana Mascardi; Kristin Yvonne Rozier; Bernd-Holger Schlingloff; Michael Winikoff; Neil Yorke-Smith
Pubblicato in: Fisher , M , Mascardi , V , Rozier , K , Schlingloff , B-H , Winikoff , M & Yorke-Smith , N 2020 , ' Towards a framework for certification of reliable autonomous systems ' , Autonomous Agents and Multi-Agent Systems . https://doi.org/10.1007/s10458-020-09487-2, Numero 11, 2021, ISSN 1387-2532
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10458-020-09487-2

The Delay and Window Size Problems in Rule-Based Stream Reasoning (si apre in una nuova finestra)

Autori: Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks
Pubblicato in: Artificial Intelligence, 2022, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2022.103668

Focused categorization power of ontologies: General framework and study on simple existential concept expressions (si apre in una nuova finestra)

Autori: Vojtěch Svátek, Ondřej Zamazal, Viet Bach Nguyen, Jiří Ivánek, Ján Kľuka, Miroslav Vacura
Pubblicato in: Semantic Web, Numero 14, 2023, Pagina/e 1209-1253, ISSN 1570-0844
Editore: IOS Press
DOI: 10.3233/sw-233401

Capping Methods for the Automatic Configuration of Optimization Algorithms (si apre in una nuova finestra)

Autori: Marcelo De Souza, Marcus Ritt, Manuel Lopez-Ibanez
Pubblicato in: Computers and Operations Research, 2022, Pagina/e 105615, ISSN 0305-0548
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.cor.2021.105615

What and How of Machine Learning Transparency:Building Bespoke Explainability Tools withInteroperable Algorithmic Components (si apre in una nuova finestra)

Autori: Kacper Sokol, Alexander Hepburn, Raul Santos-Rodriguez, Peter Flach
Pubblicato in: Journal of Open Source Education, Numero 5, 2022, Pagina/e 175, ISSN 2577-3569
Editore: Journal of Open Source Education
DOI: 10.21105/jose.00175

Benchmarking and survey of explanation methods for black box models (si apre in una nuova finestra)

Autori: Francesco Bodria, Fosca Giannotti, Riccardo Guidotti, Francesca Naretto, Dino Pedreschi, Salvatore Rinzivillo
Pubblicato in: Data Mining and Knowledge Discovery, Numero 37, 2024, Pagina/e 1719-1778, ISSN 1384-5810
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10618-023-00933-9

A multi-objective approach for communication reduction in federated learning under devices heterogeneity constraints (si apre in una nuova finestra)

Autori: José Ángel Morell, Zakaria Abdelmoiz Dahi, Francisco Chicano, Gabriel Luque, Enrique Alba
Pubblicato in: Future Generation Computer Systems, Numero 155, 2024, Pagina/e 367-383, ISSN 0167-739X
Editore: Elsevier BV
DOI: 10.1016/j.future.2024.02.022

FAT Forensics: A Python toolbox for algorithmic fairness, accountability and transparency (si apre in una nuova finestra)

Autori: Kacper Sokol, Raul Santos-Rodriguez, Peter Flach
Pubblicato in: Software Impacts, Numero 14, 2023, Pagina/e 100406, ISSN 2665-9638
Editore: Elsevier
DOI: 10.1016/j.simpa.2022.100406

MLLP-VRAIN Spanish ASR Systems for the Albayzín-RTVE 2020 Speech-to-Text Challenge: Extension (si apre in una nuova finestra)

Autori: 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
Pubblicato in: Applies Sciences, 2022, ISSN 2076-3417
Editore: MDPI
DOI: 10.3390/app12020804

Feature ranking for semi-supervised learning (si apre in una nuova finestra)

Autori: Matej Petković, Sašo Džeroski & Dragi Kocev
Pubblicato in: Machine Learning Journal, Numero vol. 111, 2022, ISSN 0885-6125
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10994-022-06181-0

Qualitative uncertainty and dynamics of argumentation through dynamic logic (si apre in una nuova finestra)

Autori: Antonio Yuste-Ginel and Andreas Herzig
Pubblicato in: J. Log. Comput., Numero volume 33, number 2, 2022, Pagina/e 370--405, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exac098

Exact stochastic constraint optimisation with applications in network analysis (si apre in una nuova finestra)

Autori: Latour, Anna L.D. and Babaki, Behrouz and Fokkinga, Daniel and Anastacio, Marie and Hoos, Holger H. and Nijssen, Siegfried
Pubblicato in: Artificial Intelligence, 2022, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2021.103650

Experimental Evaluation of Description Logic Concept Learning Algorithms for Static Malware Detection (si apre in una nuova finestra)

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

Evolution of a theory of mind (si apre in una nuova finestra)

Autori: Tom Lenaerts, Marco Saponara, Jorge M. Pacheco, Francisco C. Santos
Pubblicato in: iScience, Numero 27, 2024, Pagina/e 108862, ISSN 2589-0042
Editore: Cell Press (Elsevier)
DOI: 10.1016/j.isci.2024.108862

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (si apre in una nuova finestra)

Autori: Adnan Darwiche, Pierre Marquis
Pubblicato in: Journal of Artificial Intelligence Research, Numero 72(1), 2021, ISSN 1076-9757
Editore: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12756

Interpretable representations in explainable AI: from theory to practice (si apre in una nuova finestra)

Autori: Kacper Sokol, Peter Flach
Pubblicato in: Data Mining and Knowledge Discovery, Numero 38, 2024, Pagina/e 3102-3140, ISSN 1384-5810
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10618-024-01010-5

Order-sorted equational generalization algorithm revisited (si apre in una nuova finestra)

Autori: Maria Alpuente, ·Santiago Escobar, Jose ́ Meseguer, Julia Sapiña
Pubblicato in: Annals of Mathematics and Artificial Intelligence, 2021, ISSN 1573-7470
Editore: Spring Nature
DOI: 10.1007/s10472-021-09771-1

Secure Protocols for Cumulative Reward Maximization in Stochastic Multi-Armed Bandits

Autori: Ciucanu, R. and Lafourcade, P. Lombard-Platet, M. and Soare, M.
Pubblicato in: Journal of Computer Security, 2022, ISSN 0926-227X
Editore: IOS Press

Situation calculus for controller synthesis in manufacturing systems with first-order state representation (si apre in una nuova finestra)

Autori: Giuseppe De Giacomo; Paolo Felli; Brian Logan; Fabio Patrizi; Sebastian Sardiña
Pubblicato in: Artificial Intelligence, 2021, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2021.103598

On the complexity of rational verification

Autori: Gutierrez, Julian and Najib, Muhammad and Perelli, Giuseppe and Wooldridge, Michael
Pubblicato in: Annals of Mathematics and Artificial Intelligence, Numero Volume 91, number 4, 2023, Pagina/e 409-430, ISSN 1012-2443
Editore: Kluwer Academic Publishers

Enhancing Lattice-Based Motion Planning With Introspective Learning and Reasoning (si apre in una nuova finestra)

Autori: Mattias Tiger; David Bergström; Andreas Norrstig; Fredrik Heintz
Pubblicato in: IEEE Robotics and Automation Letters, 2021, Pagina/e 4385--4392, ISSN 2377-3766
Editore: IEEE
DOI: 10.1109/lra.2021.3068550

Online learning of variable ordering heuristics for constraint optimisation problems (si apre in una nuova finestra)

Autori: Floris Doolaard; Neil Yorke-Smith
Pubblicato in: Crossref, Numero 30, 2022, ISSN 1012-2443
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10472-022-09816-z

Digital twins: State of the art theory and practice, challenges, and open research questions (si apre in una nuova finestra)

Autori: Sharma, Angira and Kosasih, Edward and Zhang, Jie and Brintrup, Alexandra and Calinescu, Anisoara
Pubblicato in: Journal of Industrial Information Integration, 2022, Pagina/e 100383, ISSN 2452-414X
Editore: Elsevier
DOI: 10.1016/j.jii.2022.100383

Lifted Model Checking for Relational MDPs

Autori: Wen-Chi Yang, Jean-Francois Raskin, Luc De Raedt
Pubblicato in: Machine Learning, 2021, ISSN 0885-6125
Editore: Kluwer Academic Publishers

Enabling Game-Theoretical Analysis of Social Rules (si apre in una nuova finestra)

Autori: Nieves Montes, Nardine Osman, Carles Sierra
Pubblicato in: Volume 339: Artificial Intelligence Research and Development, 2021, ISSN 1879-8314
Editore: IOS Press
DOI: 10.3233/faia210120

Automating Data Science: Prospects and Challenges

Autori: De Bie, Tijl and De Raedt, Luc and Hernandez-Orallo, Jose and Hoos, Holger H and Smyth, Padhraic and Williams, Christopher KI
Pubblicato in: Communications of the ACM, 2021, ISSN 0001-0782
Editore: Association for Computing Machinary, Inc.

Dynamic and adaptive fault-tolerant asynchronous federated learning using volunteer edge devices (si apre in una nuova finestra)

Autori: José Ángel Morell, Enrique Alba
Pubblicato in: Future Generation Computer Systems, Numero 133, 2024, Pagina/e 53-67, ISSN 0167-739X
Editore: Elsevier BV
DOI: 10.1016/j.future.2022.02.024

autoBOT: evolving neuro-symbolic representations for explainable low resource text classification (si apre in una nuova finestra)

Autori: Blaž Škrlj, Matej Martinc, Nada Lavrač & Senja Pollak
Pubblicato in: Machine learning, Numero vol. 110, iss. 4, 2021, Pagina/e 989–1028, ISSN 0885-6125
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10994-021-05968-x

Fuzzy OWL-BOOST: Learning Fuzzy Concept Inclusions via Real-Valued Boosting (si apre in una nuova finestra)

Autori: Franco Alberto Cardillo and Umberto Straccia
Pubblicato in: Fuzzy Sets and Systems, 2021, ISSN 0165-0114
Editore: Elsevier BV
DOI: 10.1016/j.fss.2021.07.002

A Fresh Approach to Evaluate Performance in Distributed Parallel Genetic Algorithms (si apre in una nuova finestra)

Autori: Harada, Tomohiro; Alba, Enrique; Luque, Gabriel
Pubblicato in: Applied Soft Computing, Numero 10, 2022, Pagina/e 108540, ISSN 1568-4946
Editore: Elsevier BV
DOI: 10.1016/j.asoc.2022.108540

On the handling of inconsistent systems of max-min fuzzy relational equations (si apre in una nuova finestra)

Autori: Ismaïl Baaj
Pubblicato in: Fuzzy Sets and Systems, Numero 482, 2024, Pagina/e 108912, ISSN 0165-0114
Editore: Elsevier BV
DOI: 10.1016/j.fss.2024.108912

Cooperative concurrent games

Autori: Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, and Michael J. Wooldridge
Pubblicato in: Artificial Intelligence, Numero Volume 314, 2023, Pagina/e 103806, ISSN 1872-7921
Editore: Elsevier

Knowledge-Driven Data Ecosystems Toward Data Transparency (si apre in una nuova finestra)

Autori: 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
Pubblicato in: ACM Journal of Data and Information Quality, Numero 14, 2022, ISSN 1936-1955
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3467022

A tensor framework for learning in structured domains (si apre in una nuova finestra)

Autori: Daniele Castellana, Davide Bacciu
Pubblicato in: Neurocomputing, Numero 470, 2022, Pagina/e 405-426, ISSN 0925-2312
Editore: Elsevier BV
DOI: 10.1016/j.neucom.2021.05.110

Explaining Deep Graph Networks via Input Perturbation (si apre in una nuova finestra)

Autori: Davide Bacciu, Danilo Numeroso
Pubblicato in: IEEE Transactions on Neural Networks and Learning Systems, Numero 34, 2024, Pagina/e 10334-10345, ISSN 2162-237X
Editore: IEEE Computational Intelligence Society
DOI: 10.1109/tnnls.2022.3165618

Occlusion-Based Explanations in Deep Recurrent Models for Biomedical Signals (si apre in una nuova finestra)

Autori: Michele Resta; Anna Monreale; Davide Bacciu
Pubblicato in: Numero 8, Numero 68, 2020, ISSN 1099-4300
Editore: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e23081064

Defense coordination in security games: Equilibrium analysis and mechanism design

Autori: Jiarui Gan, Edith Elkind, Sarit Kraus, and Michael J. Wooldridge
Pubblicato in: Artificial Intelligence, Numero Volume 313, 2022, Pagina/e 103791, ISSN 1872-7921
Editore: Elsevier

Deep Graph Networks for Drug Repurposing With Multi-Protein Targets (si apre in una nuova finestra)

Autori: Davide Bacciu, Federico Errica, Alessio Gravina, Lorenzo Madeddu, Marco Podda, Giovanni Stilo
Pubblicato in: IEEE Transactions on Emerging Topics in Computing, Numero 12, 2024, Pagina/e 177-189, ISSN 2168-6750
Editore: IEEE Computer Society
DOI: 10.1109/tetc.2023.3238963

Live Streaming Speech Recognition Using DeepBidirectional LSTM Acoustic Models andInterpolated Language Models (si apre in una nuova finestra)

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

From Statistical Relational to Neural Symbolic Artificial Intelligence: a Survey (si apre in una nuova finestra)

Autori: Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, Luc De Raedt
Pubblicato in: arXiv, 2022, ISSN 2331-8422
Editore: Cornell University
DOI: 10.48550/arxiv.2108.11451

Expressiveness and Nash Equilibrium in Iterated Boolean Games (si apre in una nuova finestra)

Autori: Julian Gutierrez; Paul Harrenstein; Giuseppe Perelli; Michael Wooldridge
Pubblicato in: ACM Transactions on Computational Logic, 2021, ISSN 1529-3785
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3439900

Learning abstract visual reasoning via task decomposition: A case study in Raven progressive matrices (si apre in una nuova finestra)

Autori: Jakub Kwiatkowski, Krzysztof Krawiec
Pubblicato in: International Journal of Applied Mathematics and Computer Science, Numero 34, 2024, ISSN 1641-876X
Editore: Technical University Press
DOI: 10.61822/amcs-2024-0022

EVALUATION OF MODERN HERITAGE ASSETS IN POZNAN USING MONOTONIC DECISION RULES

Autori: A. Rumież, M. Szeląg, B. Świt-Jankowska, and P. Marciniak
Pubblicato in: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2023, Pagina/e 1373--1378, ISSN 2194-9034
Editore: International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences

Counterexample-Driven Genetic Programming for Symbolic Regression with Formal Constraints (si apre in una nuova finestra)

Autori: Iwo Błądek; Krzysztof Krawiec
Pubblicato in: IEEE Transactions on Evolutionary Computation, Numero 27, 2023, Pagina/e 1327-1339, ISSN 1941-0026
Editore: IEEE
DOI: 10.1109/tevc.2022.3205286

A Survey on Stability of Learning with Limited Labelled Data and its Sensitivity to the Effects of Randomness (si apre in una nuova finestra)

Autori: Branislav Pecher, Ivan Srba, Maria Bielikova
Pubblicato in: ACM Computing Surveys, Numero 57, 2024, Pagina/e 1-40, ISSN 0360-0300
Editore: Association for Computing Machinary, Inc.
DOI: 10.1145/3691339

MultiETSC: automated machine learning for early time series classification (si apre in una nuova finestra)

Autori: Ottervanger, Gilles and Baratchi, Mitra and Hoos, Holger H
Pubblicato in: Data Mining and Knowledge Discovery, 2021, ISSN 1384-5810
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10618-021-00781-5

BlackBIRDS: Black-Box Inference foR Differentiable Simulators (si apre in una nuova finestra)

Autori: Quera-Bofarull, Arnau and Dyer, Joel and Calinescu, Anisoara and Farmer, J Doyne and Wooldridge, Michael
Pubblicato in: Journal of Open Source Software, Numero Volume 8, Number 89, 2023, Pagina/e 5776, ISSN 2475-9066
Editore: Journal of Open Source Software
DOI: 10.21105/joss.05776

A multi-criteria approach for selecting an explanation from the set of counterfactuals produced by an ensemble of explainers (si apre in una nuova finestra)

Autori: Ignacy Stepka, Mateusz Lango, Jerzy Stefanowski
Pubblicato in: International Journal of Applied Mathematics and Computer Science, Numero 34, 2024, ISSN 1641-876X
Editore: Technical University Press
DOI: 10.61822/amcs-2024-0009

MDP Playground: An Analysis and Debug Testbed for Reinforcement Learning (si apre in una nuova finestra)

Autori: Raghu Rajan, Jessica Lizeth Borja Diaz, Suresh Guttikonda, Fabio Ferreira, André Biedenkapp, Jan Ole von Hartz, Frank Hutter
Pubblicato in: Jorunal Artificial Intelligence Research, Numero Vol. 77, 2023, Pagina/e 821--890, ISSN 1076-9757
Editore: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.14314

T-norms driven loss functions for machine learning (si apre in una nuova finestra)

Autori: Francesco Giannini, Michelangelo Diligenti, Marco Maggini, Marco Gori, Giuseppe Marra
Pubblicato in: Applied Intelligence, Numero 53, 2023, Pagina/e 18775-18789, ISSN 0924-669X
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10489-022-04383-6

From statistical relational to neurosymbolic artificial intelligence: A survey (si apre in una nuova finestra)

Autori: Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, Luc De Raedt
Pubblicato in: Artificial Intelligence, Numero 328, 2024, Pagina/e 104062, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2023.104062

Explainable AI for Operational Research: A defining framework, methods, applications, and a research agenda (si apre in una nuova finestra)

Autori: Koen W. De Bock, Kristof Coussement, Arno De Caigny, Roman Słowiński, Bart Baesens, Robert N. Boute, Tsan-Ming Choi, Dursun Delen, Mathias Kraus, Stefan Lessmann, Sebastián Maldonado, David Martens, María Óskarsdóttir, Carla Vairetti, Wouter Verbeke, Richard Weber
Pubblicato in: European Journal of Operational Research, Numero 317, 2024, Pagina/e 249-272, ISSN 0377-2217
Editore: Elsevier BV
DOI: 10.1016/j.ejor.2023.09.026

Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits

Autori: Ciucanu, R. and Delabrouille, A. and Lafourcade, P. and Soare, M
Pubblicato in: IEEE Transactions on Dependable and Secure Computing, 2022, ISSN 1545-5971
Editore: IEEE Computer Society

Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis (si apre in una nuova finestra)

Autori: Giovanni De Toni; Bruno Lepri; Andrea Passerini
Pubblicato in: MACHINE LEARNING, Numero 20, 2023, ISSN 1573-0565
Editore: Springer
DOI: 10.1007/s10994-022-06293-7

Supportive consensus (si apre in una nuova finestra)

Autori: Alberto Palomares; Miguel Rebollo; Carlos Carrascosa
Pubblicato in: PLoS ONE, Numero 31, 2020, ISSN 1932-6203
Editore: Public Library of Science
DOI: 10.1371/journal.pone.0243215

Fast Kinodynamic Planning on the Constraint Manifold With Deep Neural Networks (si apre in una nuova finestra)

Autori: Piotr Kicki, Puze Liu, Davide Tateo, Haitham Bou-Ammar, Krzysztof Walas, Piotr Skrzypczyński, Jan Peters
Pubblicato in: IEEE Transactions on Robotics, Numero 40, 2024, Pagina/e 277-297, ISSN 1552-3098
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tro.2023.3326922

Streaming cascade-based speech translation leveraged by a direct segmentation model (si apre in una nuova finestra)

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

Ultimate Grounding of Abstract Concepts: A Graded Account (si apre in una nuova finestra)

Autori: T. Reinboth, I. Farkaš
Pubblicato in: Journal of Cognition, 2022, ISSN 2514-4820
Editore: Ubiquity Press
DOI: 10.5334/joc.214

Generating networks of genetic processors (si apre in una nuova finestra)

Autori: Marcelino Campos; José M. Sempere
Pubblicato in: Generating networks of genetic processors, Numero 30, 2021, ISSN 1573-7632
Editore: Springer Nature
DOI: 10.1007/s10710-021-09423-7

Exploring Customer Price Preference and Product Profit Role in Recommender Systems (si apre in una nuova finestra)

Autori: M. Kompan, P. Gaspar, J. Macina, M. Cimerman, M. Bielikova
Pubblicato in: IEEE Intelligent Systems, 2021, ISSN 1541-1672
Editore: Institute of Electrical and Electronics Engineers
DOI: 10.1109/mis.2021.3092768

Deep Learning for Dynamic Graphs: Models and Benchmarks (si apre in una nuova finestra)

Autori: Alessio Gravina, Davide Bacciu
Pubblicato in: IEEE Transactions on Neural Networks and Learning Systems, Numero 35, 2024, Pagina/e 11788-11801, ISSN 2162-237X
Editore: IEEE Computational Intelligence Society
DOI: 10.1109/tnnls.2024.3379735

Semiautomatic generation and assessment of Java exercises in engineering education (si apre in una nuova finestra)

Autori: David Insa; Sergio Pérez; Josep Silva; Salvador Tamarit
Pubblicato in: Computer Applications in Engineering Education, Numero 24, 2020, ISSN 1099-0542
Editore: Wiley Online Library
DOI: 10.1002/cae.22356

Understanding, Explanation, and Active Inference

Autori: Parr, Thomas and Pezzulo, Giovanni
Pubblicato in: Frontiers in Systems Neuroscience, 2021, ISSN 1662-5137
Editore: Frontiers Research Foundation

Expert enhanced dynamic time warping based anomaly detection (si apre in una nuova finestra)

Autori: Kloska M., Grmanova G., Rozinajova V.
Pubblicato in: Expert Systems with Applications, 2023, ISSN 0957-4174
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.eswa.2023.120030

Towards Visual Semantics (si apre in una nuova finestra)

Autori: Fausto Giunchiglia; Luca Erculiani; Andrea Passerini
Pubblicato in: SN COMPUTER SCIENCE, Numero 69, 2021, ISSN 2661-8907
Editore: 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 (si apre in una nuova finestra)

Autori: Zakaria Abdelmoiz Dahi, Enrique Alba, Gabriel Luque
Pubblicato in: Applied Soft Computing, 2022, Pagina/e 107992, ISSN 1568-4946
Editore: Elsevier BV
DOI: 10.1016/j.asoc.2021.107992

A Study of Fake News Reading and Annotating in Social Media Context (si apre in una nuova finestra)

Autori: Jakub Simko, Patrik Racsko, Matus Tomlein, Martin Hanakova, Robert Moro, Maria Bielikova
Pubblicato in: New Review of Hypermedia and Multimedia, 2021, ISSN 1740-7842
Editore: Taylor & Francis
DOI: 10.1080/13614568.2021.1889691

On the explanatory power of Boolean decision trees (si apre in una nuova finestra)

Autori: Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
Pubblicato in: Data & Knowledge Engineering, Numero 142, 2022, Pagina/e 102088, ISSN 1872-6933
Editore: Science Direct
DOI: 10.1016/j.datak.2022.102088

Automatic Question Generation Based on Sentence Structure Analysis using Machine Learning Approach (si apre in una nuova finestra)

Autori: M.Blšták, V. Rozinajová
Pubblicato in: Natural Language Engineering - journal, 2021, ISSN 1351-3249
Editore: Cambridge University Press
DOI: 10.1017/s1351324921000139

On the Languages Accepted by Watson-Crick Finite Automata with Delays (si apre in una nuova finestra)

Autori: José M. Sempere
Pubblicato in: Numero 8, Numero 9, 2021, ISSN 2227-7390
Editore: MDPI Academic Open Access Publishing
DOI: 10.3390/math9080813

Error curves for evaluating the quality of feature rankings. (si apre in una nuova finestra)

Autori: Ivica Slavkov; Matej Petković; Pierre Geurts; Dragi Kocev; Sašo Džeroski
Pubblicato in: PeerJ computer science, Numero 12, 2020, Pagina/e e310-1-e310-39, ISSN 2376-5992
Editore: PeerJ, Inc.
DOI: 10.7717/peerj-cs.310

Merge-and-Shrink: A Compositional Theory of Transformations of Factored Transition Systems (si apre in una nuova finestra)

Autori: Silvan Sievers; Malte Helmert
Pubblicato in: Journal of Artificial Intelligence Research, Numero 71, 2021, Pagina/e 781-883, ISSN 1076-9757
Editore: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12557

Stable and actionable explanations of black-box models through factual and counterfactual rules (si apre in una nuova finestra)

Autori: Riccardo Guidotti, Anna Monreale, Salvatore Ruggieri, Francesca Naretto, Franco Turini, Dino Pedreschi, Fosca Giannotti
Pubblicato in: Data Mining and Knowledge Discovery, Numero 38, 2024, Pagina/e 2825-2862, ISSN 1384-5810
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10618-022-00878-5

Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study (si apre in una nuova finestra)

Autori: Noam Hazon, Sefi Erlich, Ariel Rosenfeld, Sarit Kraus
Pubblicato in: Artificial Intelligence, Numero 327, 2024, Pagina/e 104050, ISSN 0004-3702
Editore: Elsevier BV
DOI: 10.1016/j.artint.2023.104050

Ensemble- and distance-based feature ranking for unsupervised learning (si apre in una nuova finestra)

Autori: Matej Petković; Dragi Kocev; Blaž Škrlj; Sašo Džeroski
Pubblicato in: International Journal of Intelligent Systems, Numero vol. 36, no. 7, 2021, Pagina/e 3068-3086, ISSN 0884-8173
Editore: John Wiley & Sons Inc.
DOI: 10.1002/int.22390

Dynamic Algorithm Configuration: Foundation of a New Meta-Algorithmic Framework (si apre in una nuova finestra)

Autori: André Biedenkapp, H. Furkan Bozkurt, Theresa Eimer, Frank Hutter, Marius Lindauer
Pubblicato in: ECAI: Frontiers in Artificial Intelligence and Applications, Numero 325, 2020, Pagina/e 427 - 434, ISSN 0922-6389
Editore: IOS Press
DOI: 10.3233/faia200122

Learning from experience for rapid generation of local car maneuvers (si apre in una nuova finestra)

Autori: Kicki, Piotr and Gawron, Tomasz and Cwian, Krzysztof and Ozay, Mete and Skrzypczyński, Piotr
Pubblicato in: Engineering Applications of Artificial Intelligence, Numero 105, 2021, ISSN 0952-1976
Editore: Pergamon Press Ltd.
DOI: 10.1016/j.engappai.2021.104399

How market ecology explains market malfunction (si apre in una nuova finestra)

Autori: Scholl, Maarten P and Calinescu, Anisoara and Farmer, J Doyne
Pubblicato in: Proceedings of the National Academy of Sciences, Numero Volume 118, Number 26, 2021, Pagina/e e2015574118, ISSN 0027-8424
Editore: National Academy of Sciences
DOI: 10.1073/pnas.2015574118

Improving trust and confidence in medical skin lesion diagnosis through explainable deep learning (si apre in una nuova finestra)

Autori: Carlo Metta, Andrea Beretta, Riccardo Guidotti, Yuan Yin, Patrick Gallinari, Salvatore Rinzivillo, Fosca Giannotti
Pubblicato in: International Journal of Data Science and Analytics, 2023, ISSN 2364-415X
Editore: Springer Nature
DOI: 10.1007/s41060-023-00401-z

Matrix Profile-Based Interpretable Time Series Classifier (si apre in una nuova finestra)

Autori: Riccardo Guidotti, Matteo D’Onofrio
Pubblicato in: Frontiers in Artificial Intelligence, Numero 4, 2021, ISSN 2624-8212
Editore: Frontiers Media SA
DOI: 10.3389/frai.2021.699448

Explanatory machine learning for sequential human teaching (si apre in una nuova finestra)

Autori: Lun Ai, Johannes Langer, Stephen H. Muggleton, Ute Schmid
Pubblicato in: Machine Learning, 2023, ISSN 0885-6125
Editore: Kluwer Academic Publishers
DOI: 10.1007/s10994-023-06351-8

Value engineering for autonomous agents (si apre in una nuova finestra)

Autori: null null, Nieves Montes Gómez
Pubblicato in: 2024
Editore: Universitat Politècnica de Catalunya
DOI: 10.5821/dissertation-2117-410409

Explainable AI techniques in Trustworthy Object detection

Autori: Raili Virtanen
Pubblicato in: 2023
Editore: Aalto university, Espoo, Finland

Are Quantified Boolean Formulas Hard for Reason-Able Embeddings? (si apre in una nuova finestra)

Autori: Jędrzej Potoniec
Pubblicato in: Progress in Polish Artificial Intelligence Research 4, 2023, Pagina/e 343-348, ISBN 978-83-66741-92-8
Editore: Wydawnictwo Politechniki Łódzkiej
DOI: 10.34658/9788366741928.54

On Usefulness of Dominance Relation for Selecting Counterfactuals from the Ensemble of Explainers (si apre in una nuova finestra)

Autori: Stępka, Ignacy Lango, Mateusz Stefanowski, Jerzy
Pubblicato in: Progress in Polish Artificial Intelligence Research 4, 2023, Pagina/e 125-130, ISBN 978-83-66741-92-8
Editore: Wydawnictwo Politechniki Łódzkiej
DOI: 10.34658/9788366741928.18

Simply Logical – The First Three Decades (si apre in una nuova finestra)

Autori: Peter Flach, Kacper Sokol, Jan Wielemaker
Pubblicato in: Lecture Notes in Computer Science, Prolog: The Next 50 Years, 2023, Pagina/e 184-193
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-35254-6_15

Ensemble of Counterfactual Explainers (si apre in una nuova finestra)

Autori: Riccardo Guidotti; Salvatore Ruggieri
Pubblicato in: DS, Numero 51, 2021, ISBN 978-3-030-88941-8
Editore: SPRINGER
DOI: 10.1007/978-3-030-88942-5_28

Geolet: An Interpretable Model for Trajectory Classification (si apre in una nuova finestra)

Autori: Cristiano Landi, Francesco Spinnato, Riccardo Guidotti, Anna Monreale, Mirco Nanni
Pubblicato in: Lecture Notes in Computer Science, Advances in Intelligent Data Analysis XXI, 2024, Pagina/e 236-248
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-30047-9_19

Learning Action Embeddings for Off-Policy Evaluation (si apre in una nuova finestra)

Autori: Matej Cief, Jacek Golebiowski, Philipp Schmidt, Ziawasch Abedjan, Artur Bekasov
Pubblicato in: Lecture Notes in Computer Science, Advances in Information Retrieval, 2024, Pagina/e 108-122, ISBN 978-3-031-56026-2
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-56027-9_7

Using Distributed Risk Maps by Consensus as a Complement to Contact Tracing Apps (si apre in una nuova finestra)

Autori: Rebollo, M., Benito, R.M., Losada, J.C., Galeano, J.
Pubblicato in: Complex Networks & Their Applications IX., 2020, ISBN 978-3-030-65346-0
Editore: Sprienger
DOI: 10.1007/978-3-030-65347-7_41

Customer churn analytics using monotonic rules

Autori: Marcin Szeląg and Roman Słowiński
Pubblicato in: Progress in Polish Artificial Intelligence Research 4, Numero 2023, 2023, Pagina/e 287-292, ISBN 978-83-66741-92-8
Editore: Wydawnictwo Politechniki Łódzkiej

Learning Model Agnostic Explanations via Constraint Programming (si apre in una nuova finestra)

Autori: Frederic Koriche, Jean-Marie Lagniez, Stefan Mengel, Chi Tran
Pubblicato in: Lecture Notes in Computer Science, Machine Learning and Knowledge Discovery in Databases. Research Track, 2024, Pagina/e 437-453
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-70359-1_26

Towards Symbolic Time Series Representation Improved by Kernel Density Estimators. (si apre in una nuova finestra)

Autori: M. Kloska, V. Rozinajova
Pubblicato 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
Editore: Springer
DOI: 10.1007/978-3-662-64553-6_2

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation (si apre in una nuova finestra)

Autori: Jakub Bednarek, Krzysztof Krawiec
Pubblicato in: Lecture Notes in Computer Science, Neural-Symbolic Learning and Reasoning, 2024, Pagina/e 386-402
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71167-1_21

Consensus for Collaborative Creation of Risk Maps for COVID-19 (si apre in una nuova finestra)

Autori: M. Rebollo, C. Carrascosa, and A. Palomares
Pubblicato in: Trustworthy AI - Integrating Learning, Optimization and Reasoning., 2020, ISBN 978-3-030-73958-4
Editore: Springer
DOI: 10.1007/978-3-030-73959-1_3

Dominance-based Rough Set Approach, basic ideas and main trends (si apre in una nuova finestra)

Autori: Błaszczyński, Jerzy and Greco, Salvatore and Matarazzo, Benedetto and Szeląg, Marcin
Pubblicato in: I}ntelligent {D}ecision {S}upport {S}ystems: Combining Operations Research and Artificial Intelligence – Essays in Honor of Roman Słowiński, 2022, ISBN 978-3-030-96317-0
Editore: Springer
DOI: 10.1007/978-3-030-96318-7_18

Principles of Explainable Artificial Intelligence (si apre in una nuova finestra)

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

Optimal Teaching Curricula with Compositional Simplicity Priors (si apre in una nuova finestra)

Autori: M Garcia-Piqueras, J Hernández-Orallo
Pubblicato in: Machine Learning and Knowledge Discovery in Databases., 2021, ISBN 978-3-030-86485-9
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-030-86486-6

Value-Alignment Equilibrium in Multiagent Systems (si apre in una nuova finestra)

Autori: Nieves Montes; Carles Sierra
Pubblicato in: isbn: 978-3-030-73958-4, Numero 73, 2020
Editore: Springer International Publishing
DOI: 10.1007/978-3-030-73959-1_17

Disentangling Visual Priors: Unsupervised Learning of Scene Interpretations with Compositional Autoencoder (si apre in una nuova finestra)

Autori: Krzysztof Krawiec, Antoni Nowinowski
Pubblicato in: Lecture Notes in Computer Science, Neural-Symbolic Learning and Reasoning, 2024, Pagina/e 240-256
Editore: Springer Nature Switzerland
DOI: 10.1007/978-3-031-71167-1_13

Simply Logical - Intelligent Reasoning by Example (Fully Interactive Online Edition) (si apre in una nuova finestra)

Autori: Peter Flach, Kacper Sokol
Pubblicato in: 2022
Editore: Online
DOI: 10.5281/zenodo.1156977

È in corso la ricerca di dati su OpenAIRE...

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

Nessun risultato disponibile

Il mio fascicolo 0 0