Skip to main content
European Commission logo
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS
CORDIS Web 30th anniversary CORDIS Web 30th anniversary

Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization

Leistungen

Progress Report on Integration of TAILOR Assets with AI4EU v.1

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

Progress Report on the Integration of OpenML with AI4EU v.1

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

Foundational benchmarks and challenges v.1

Foundational benchmarks run and analyzed

Foundational benchmarks and challenges v.2

Foundational benchmarks run and analyzed

Foundations, techniques, algorithms and tools for allowing autonomous AI agents to decide and learn how to act v.1

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

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

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

Connectivity Fund call 4

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

Connectivity Fund call 5

Reports on Connectivity fund are filed once per year.

Connectivity Fund operational

Connectivity Fund operational first call issued review committee formed

Connectivity Fund call 1

Calls every 4 months with short report

Research Challenges and Technological Gaps of Trustworthy AI v.1
Joint SRA v 1

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

AutoAI Benchmarks v.1

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

Integrated learning, reasoning and optimisation in practice v.1

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

Project quality plan

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

Connectivity Fund call 3

Calls every 4 months with short report.

Automated AI v.1

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

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

Calls every 4 months with short report

Foundations, techniques, algorithms and tools to for social AI v.1

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

Handbook on Trustworthy AI

Dissemination Plan, v.1

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

Codalab TAILOR templates

Codalab TAILOR templates tested and provided

Third TAILOR Conference

Organize the third TAILOR conference

First TAILOR Conference

Organize the first TAILOR conference

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

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

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

Training platform, beta platform

Training platform beta platform

Second TAILOR Conference

Organize the second TAILOR conference

Project website and Trustworthy AI repository

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

Data Management Plan

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

Veröffentlichungen

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

Autoren: Miguel Ángel Domínguez-Ríos, Francisco Chicano, Enrique Alba
Veröffentlicht in: 24th International Conference, EvoApplications 2021, 2021, Seite(n) 242-257, ISBN 978-3-030-72699-7
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-72699-7_16

Quantum Computing: Present and Prospects

Autoren: Rodrigo Gil-Merino, Enrique Alba, Jose Francisco Chicano, Zakaria Abdelmoiz Dahi, Gabriel Luque
Veröffentlicht in: 19th Conference of the Spanish Association for Artificial Intelligence (CAEPIA), 2021, Seite(n) 947-952, ISBN 978-84-09-30514-8
Herausgeber: CAEPIA

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

Autoren: Daniel Habering; Till Hofmann; Gerhard Lakemeyer
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 1908-1914
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/263

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Autoren: Kin Max Gusmão; Ramon Fraga Pereira; Felipe Meneguzzi
Veröffentlicht in: arxiv, 2021
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2102.11791

Examining the Proximity of Adversarial Examples to Class Manifolds in Deep Networks

Autoren: Štefan Pócoš, Iveta Bečková, Igor Farkaš
Veröffentlicht in: 2022
Herausgeber: arxiv
DOI: 10.48550/arxiv.2204.05764

Graph Mixture Density Networks

Autoren: Federico Errica, Davide Bacciu, Alessio Micheli
Veröffentlicht in: Proceedings of the 38th International Conference on Machine Learning, PMLR, 2021
Herausgeber: PMLR
DOI: 10.48550/arxiv.2012.03085

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

Autoren: Wietrzykowski, Jan and Skrzypczyński, Piotr
Veröffentlicht in: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Ausgabe 2021, 2021
Herausgeber: IEEE

Efficient and Reliable Probabilistic Interactive Learning with Structured Outputs

Autoren: Teso, Stefano; Vergari, Antonio
Veröffentlicht in: AAAI-22 Workshop on Interactive Machine Learning, 2022
Herausgeber: Online
DOI: 10.48550/arxiv.2202.08566

New Refinement Strategies for Cartesian Abstractions

Autoren: David Speck; Jendrik Seipp
Veröffentlicht in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Herausgeber: AAAI

Compositional genetic programming for symbolic regression

Autoren: Krzysztof Krawiec and Dominik Kossinski
Veröffentlicht in: Genetic and Evolutionary Computation Conference, Ausgabe 2022, 2022, Seite(n) 570--573
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3520304.3529077

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

Autoren: Giuseppe De Giacomo; Paolo Felli; Marco Montali; Giuseppe Perelli
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 1859-1865
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/256

Differentiable Sampling of Categorical Distributions Using the CatLog-Derivative Trick

Autoren: Lennert De Smet, Emanuele Sansone, Pedro Zuidberg Dos Martires
Veröffentlicht in: ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), Ausgabe 36, 2023, ISBN 9781713899921
Herausgeber: NeurIPS Proceedings

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

Autoren: Benjamin Aminof; Giuseppe De Giacomo; Sasha Rubin
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 1766-1772
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/243

Automatic Placer for Analog Circuits Using Integer Linear Programming Warm Started by Graph Drawing

Autoren: Josef Grus, Zdenek Hanzalek, Dalibor Barri, Patrik Vacula
Veröffentlicht in: ICORES, Ausgabe vol 1, 2023, Seite(n) 106-116, ISBN 978-989-758-627-9
Herausgeber: SCITEPRESS
DOI: 10.5220/0011789300003396

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

Autoren: 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
Veröffentlicht in: Proc. Interspeech 2021, 2021
Herausgeber: Interspeech
DOI: 10.21437/interspeech.2021-1905

An API for DL Abduction Solvers (Extended Abstract)

Autoren: Zuzana Hlávková, Martin Homola, Patrick Koopmann and Júlia Pukancová
Veröffentlicht in: 2022
Herausgeber: XLoKR

On the Epistemic Logic of Incomplete Argumentation Frameworks

Autoren: Andreas Herzig, Antonio Yuste-Ginel
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, 2021
Herausgeber: ijcai.org
DOI: 10.24963/kr.2021/69

Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results

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

DeepStochLog: Neural Stochastic Logic Programming

Autoren: Thomas Winters, Giuseppe Marra, Robin Manhaeve, Luc De Raedt
Veröffentlicht in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Herausgeber: AAAI Press
DOI: 10.48550/arxiv.2106.12574

Gradient-assisted calibration for financial agent-based models

Autoren: Dyer, Joel and Quera-Bofarull, Arnau and Chopra, Ayush and Farmer, J Doyne and Calinescu, Anisoara and Wooldridge, MJ
Veröffentlicht in: Proceedings of the Fourth ACM International Conference on AI in Finance, Ausgabe 4th, 2023
Herausgeber: ACM

Generalized Planning as Heuristic Search

Autoren: Segovia-Aguas, Javier; Jiménez, Sergio; Jonsson, Anders
Veröffentlicht in: Generalized Planning as Heuristic Search, Ausgabe 57, 2021
Herausgeber: ICAPS Arxiv

Parallel/Distributed Intelligent Hyperparameters Search for Generative Artificial Neural Networks

Autoren: Mathias Esteban, Jamal Toutouh, Sergio Nesmachnow
Veröffentlicht in: International Workshops ISC High Performance Digital 2021, 2021, Seite(n) 297-313, ISBN 978-3-030-90539-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-90539-2_20

Complexity of Minimum-Size Arc-Inconsistency Explanations

Autoren: Christian Bessiere, Clément Carbonnel, Martin C. Cooper, Emmanuel Hebrard
Veröffentlicht in: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Ausgabe LIPIcs, volume 235, 2022, Seite(n) 9:1--9:14
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.cp.2022.9

Combining LSTMs and Symbolic Approaches for Robust Plan Recognition

Autoren: Leonardo Rosa Amado; Ramon Fraga Pereira; Felipe Meneguzzi
Veröffentlicht in: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems, 2021, ISBN 9781450383073
Herausgeber: International Foundation for Autonomous Agents and Multiagent Systems

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

Autoren: Vergari, Antonio; Choi, YooJung; Liu, Anji; Teso, Stefano; Broeck, Guy Van den
Veröffentlicht in: Advances in Neural Information Processing Systems, 2021
Herausgeber: Neural Information Processing Systems Foundation, Inc. (NIPS)

Black-box Audit of YouTube's Video Recommendation: Investigation of Misinformation Filter Bubble Dynamics (Extended Abstract)

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

Dantzig-Wolfe Decomposition for Cost Partitioning

Autoren: Florian Pommerening; Thomas Keller; Valentina Halasi; Jendrik Seipp; Silvan Sievers; Malte Helmert
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Seite(n) 271-280
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84307

Query Definability and Its Approximations in Ontology-based Data Management

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

Toward a Unified Framework for Debugging Gray-box Models

Autoren: Bontempelli, Andrea; Giunchiglia, Fausto; Passerini, Andrea; Teso, Stefano
Veröffentlicht in: Interactive Machine Learning workshop (IML) at AAAI'22, 2022
Herausgeber: none

Synthesizing Effective Diagnostic Models from Small Samples using Structural Machine Learning: a Case Study in Automating COVID-19 Diagnosis

Autoren: 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
Veröffentlicht in: Proceedings of the Companion Conference on Genetic and Evolutionary Computation, Ausgabe 2023, 2023, Seite(n) 727-730, ISBN 9798400701207
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3583133.3590598

Online Saturated Cost Partitioning for Classical Planning

Autoren: Jendrik Seipp
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Seite(n) 317-321
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84300

MEG: Generating Molecular Counterfactual Explanations for Deep Graph Networks

Autoren: Numeroso, Danilo; Bacciu, Davide
Veröffentlicht in: Proceedings of the International Joint Conference on Neural Networks (IJCNN 2021), Ausgabe 48, 2021
Herausgeber: IEEE
DOI: 10.1109/ijcnn52387.2021.9534266

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

Autoren: Sitaru, Bogdan and Calinescu, Anisoara and Cucuringu, Mihai
Veröffentlicht in: Proceedings of the Fourth ACM International Conference on AI in Finance, Ausgabe 4th, 2023
Herausgeber: ACM

On Preferred Abductive Explanations for Decision Trees and Random Forests

Autoren: Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Seite(n) 643-650
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2022/91

Dominance-based Rough Set Approach to Bank Customer Satisfaction Analysis

Autoren: Marcin Szeląg and Roman Słowiński
Veröffentlicht in: Proceedings of the 3rd Polish Conference on Artificial Intelligence PP-RAI, April 25-27, 2022, Gdynia, Poland, 2022, Seite(n) 147-150, ISBN 978-83-7421-401-8
Herausgeber: Gdynia Maritime University

Timed Trace Alignment with Metric Temporal Logic over Finite Traces

Autoren: Giuseppe De Giacomo; Aniello Murano; Fabio Patrizi; Giuseppe Perelli
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 227–236
Herausgeber: IJCAI

Multi-Model Monitoring Framework for Hybrid Process Specifications

Autoren: Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin
Veröffentlicht in: 34th International Conference on Advanced Information Systems Engineering, 2022
Herausgeber: Springer

Explaining Any Time Series Classifier

Autoren: Riccardo Guidotti, Anna Monreale, Francesco Spinnato, Dino Pedreschi, Fosca Giannotti
Veröffentlicht in: 2020 IEEE Second International Conference on Cognitive Machine Intelligence (CogMI), 2020
Herausgeber: IEEE
DOI: 10.1109/cogmi50398.2020.00029

Monant Medical Misinformation Dataset: Mapping Articles to Fact-Checked Claims

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

Exploiting Cyclic Dependencies in Landmark Heuristics.

Autoren: Clemens Büchner; Thomas Keller; Malte Helmert
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Seite(n) 65-73
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84308

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

Autoren: Devendra Singh Dhami, Mayukh Das and Sriraam Natarajan
Veröffentlicht in: International Conference on Principles of Knowledge Representation and Reasoning, Ausgabe 18, 2021
Herausgeber: IJCAI organization

Subset-Saturated Transition Cost Partitioning

Autoren: Dominik Drexler; Jendrik Seipp; David Speck
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Seite(n) 131-139
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84301

Epistemic Reasoning About Rationality and Bids in Auctions

Autoren: Munyque Mittelmann, Andreas Herzig, Laurent Perrussel
Veröffentlicht in: European Conference on Logics in Artificial Intelligence (JELIA 2021), Ausgabe LNAI 12678, 2021, Seite(n) 116--130
Herausgeber: Springer Verlag
DOI: 10.1007/978-3-030-75775-5_9

Automatic Instance Generation for Classical Planning

Autoren: Álvaro Torralba; Jendrik Seipp; Silvan Sievers
Veröffentlicht in: Proceedings of the 31st International Conference on Automated Planning and Scheduling, 2021, Seite(n) 376-384
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84291

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

Autoren: Yash Mehta, Colin White, Arber Zela, Arjun Krishnakumar, Guri Zabergja, Shakiba Moradian, Mahmoud Safari, Kaicheng Yu, Frank Hutter
Veröffentlicht in: The Tenth International Conference on Learning Representations, 2022
Herausgeber: International Conference on Learning Representations

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

Autoren: Michele Fontana, Francesca Naretto, Anna Monreale
Veröffentlicht in: 2021 18th International Conference on Privacy, Security and Trust (PST), 2021
Herausgeber: IEEE
DOI: 10.1109/pst52912.2021.9647753

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

Autoren: Devendra Singh Dhami, Siwen Yan, Gautam Kunapuli and Sriraam Natarajan
Veröffentlicht in: International Conference on Inductive Logic Programming, Ausgabe 30, 2021
Herausgeber: Springer

Calliope - A Polyphonic Music Transformer

Autoren: Andrea Valenti; Stefano Berti; Davide Bacciu
Veröffentlicht in: ESANN 2021 proceedings, European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Ausgabe 58, 2021
Herausgeber: ESANN
DOI: 10.14428/esann/2021.es2021-63

On Belief Change for Multi-Label Classifier Encodings

Autoren: Sylvie Coste-Marquis, Pierre Marquis
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI'21), 2021, Seite(n) 1829-1836
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/252

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

Autoren: C. Metta, R. Guidotti, S. Rinzivillo
Veröffentlicht in: 2021 IEEE Symposium on Computers and Communications (ISCC), 2021, 2021
Herausgeber: IEEE
DOI: 10.1109/iscc53001.2021.9631485

2020 Merge, Explain, Iterate

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

Designing Shapelets for Interpretable Data-Agnostic Classification

Autoren: Riccardo Guidotti; Anna Monreale
Veröffentlicht in: AIES, Ausgabe 34, 2021, ISBN 9781450384735
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3461702.3462553

Towards Explainable Malware Detection with Structured Machine Learning

Autoren: Peter Švec, Tomáš Bisták, Martin Homola, Štefan Balogh, Ján Kľuka and Alexander Šimko
Veröffentlicht in: 2023
Herausgeber: Center for Perspicuous Computing,TU Dresden

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

Autoren: Aguilera, Alba and Montes, Nieves and Curto, Georgina and Sierra, Carles and Osman, Nardine
Veröffentlicht in: AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024, Seite(n) 22-30, ISBN 9798400704864
Herausgeber: International Foundation for Autonomous Agents and Multiagent Systems

Learning Sketches for Decomposing Planning Problems into Subproblems of Bounded Width

Autoren: Dominik Drexler; Jendrik Seipp; Hector Geffner
Veröffentlicht in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Herausgeber: AAAI

An API for DL Abduction Solvers

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

Generalized Temporal Inference via Planning

Autoren: Diego Aineto; Sergio Jiménez; Eva Onaindia
Veröffentlicht in: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 2021, Seite(n) 22--31
Herausgeber: IJCAI
DOI: 10.24963/kr.2021/3

NAS-Bench-x11 and the Power of Learning Curves

Autoren: Shen Yan, Colin White, Yash Savani, Frank Hutter
Veröffentlicht in: Thirty-Fifth Conference on Neural Information Processing Systems, 2021
Herausgeber: Advances in Neural Information Processing Systems

Engineering Socially-Oriented Autonomous Agents and Multiagent Systems

Autoren: Nieves Montes
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Seite(n) 5861-5862
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2022/833

Robust Solutions for Multi-Defender Stackelberg Security Games

Autoren: Mutzari Yonatan Aumann and Sarit Kraus
Veröffentlicht in: IJCAI 2022, 2022
Herausgeber: IJCAI

Automated Theorem Proving for Metamath

Autoren: Carneiro, Mario and Brown, Chad E. and Urban, Josef
Veröffentlicht in: 14th International Conference on Interactive Theorem Proving (ITP 2023), Ausgabe vol 268, 2023, Seite(n) 9:1-9:19, ISBN 978-3-95977-284-6
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.itp.2023.9

SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming

Autoren: Arseny Skryagin, Wolfgang Stammer, Daniel Ochs, Devendra Singh Dhami and Kristian Kersting
Veröffentlicht in: International Conference on Principles of Knowledge Representation and Reasoning, Ausgabe 19, 2022
Herausgeber: IJCAI Organization

Computing Abductive Explanations for Boosted Regression Trees

Autoren: Gilles Audemard, Steve Bellart, Jean-Marie Lagniez, Pierre Marquis
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Seite(n) 3432-3441
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2023/382

Hybrid probabilistic inference with logical and algebraic constraints: a survey

Autoren: Paolo Morettin, Pedro Zuidberg Dos Martires, Samuel Kolb, Andrea Passerini
Veröffentlicht in: Proceedings of the 30th International Joint Conference on Artificial Intelligence, 2021, Seite(n) 4533-4542, ISBN 978-0-9992411-9-6
Herausgeber: International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2021/617

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

Autoren: Rodriguez, Ivan D; Bonet, Blai; Romero, Javier; Geffner, Hector
Veröffentlicht in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Herausgeber: IJCAI

Benchmarking Approximate Consistent Query Answering (Discussion Paper)

Autoren: Marco Calautti, Marco Console, Andreas Pieris
Veröffentlicht in: Proceedings of the 29th Italian Symposium on Advanced Database Systems, SEBD 2021, Pizzo Calabro (VV), Italy, September 5-9, 2021, Ausgabe 2021, 2021
Herausgeber: CEUR

Efficient PAC Reinforcement Learning in Regular Decision Processes

Autoren: Alessandro Ronca; Giuseppe De Giacomo
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence., Ausgabe 59, 2021
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/279

On Translations between ML Models for XAI Purposes

Autoren: Alexis de Colnet, Pierre Marquis
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Seite(n) 3158-316
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2023/352

On-the-fly Synthesis for LTL over Finite Traces

Autoren: Xiao, S.; Li, J.; Zhu, S.; Shi, Y.; Pu, G., Vardi, M.
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Seite(n) 6530-6537
Herausgeber: AAAI

Geometry-Aware Keypoint Network: Accurate Prediction of Point Features in Challenging Scenario

Autoren: Nowak, Tomasz and Skrzypczyński, Piotr
Veröffentlicht in: 17th Conference on Computer Science and Intelligence Systems (FedCSIS), Ausgabe 2022, 2022, Seite(n) 191-200
Herausgeber: Polish Information Processing Society
DOI: 10.15439/2022f145

Mind the Gap: Measuring Generalization Performance Across Multiple Objectives

Autoren: Matthias Feurer, Katharina Eggensperger, Edward Bergman, Florian Pfisterer, Bernd Bischl & Frank Hutter
Veröffentlicht in: Advances in Intelligent Data Analysis, Ausgabe 21, 2023, Seite(n) 130--142, ISBN 978-3-031-30047-9
Herausgeber: Springer Nature
DOI: 10.1007/978-3-031-30047-9_11

Soft-Unification in Deep Probabilistic Logic

Autoren: Jaron Maene, Luc De Raedt
Veröffentlicht in: Advances in Neural Information Processing Systems 36 (NeurIPS 2023), Ausgabe 36, 2024, Seite(n) 60804 - 60820, ISBN 9781713899921
Herausgeber: Curran Associates, Inc.

Negative Side Effects and AI Agent Indicators: Experiments in SafeLife

Autoren: J Burden, J Hernández-Orallo
Veröffentlicht in: SafeAI@AAAI, 2021
Herausgeber: CEUR-Ws

Privacy Risk Assessment of Individual Psychometric Profiles

Autoren: Giacomo Mariani, Anna Monreale, and Francesca Naretto
Veröffentlicht in: Discovery Science. DS 2021. Lecture Notes in Computer Science, Ausgabe 12986, 2021, ISBN 978-3-030-88941-8
Herausgeber: Springer
DOI: 10.1007/978-3-030-88942-5_32

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

Autoren: Daxin Liu; Gerhard Lakemeyer
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 1951-1958
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/269

Approximate Novelty Search

Autoren: Singh, A.; Lipovetzky, N.; Ramirez, M.; Segovia-Aguas, J.
Veröffentlicht in: Proceedings of the International Conference on Automated Planning and Scheduling, 2021
Herausgeber: AAAI

Efficient Generation of Structured Objects with Constrained Adversarial Networks

Autoren: Di Liello, Luca; Ardino, Pierfrancesco; Gobbi, Jacopo; Morettin, Paolo; Teso, Stefano; Passerini, Andrea
Veröffentlicht in: Advances in Neural Information Processing Systems, 2020
Herausgeber: Neural Information Processing Systems

Explainable Planner Selection for Classical Planning

Autoren: Patrick Ferber; Jendrik Seipp
Veröffentlicht in: The 36th AAAI Conference on Artificial Intelligence, 2022
Herausgeber: AAAI

Counterfactual Reasoning via Grounded Distance

Autoren: Carlos Aguilera-Ventura, Andreas Herzig, Xinghan Liu, Emiliano Lorini
Veröffentlicht in: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, 2023, Seite(n) 2--11
Herausgeber: kr.org
DOI: 10.24963/kr.2023/1

MizAR 60 for Mizar 50

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

Delete-Relaxation Heuristics for Lifted Classical Planning

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

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

Autoren: Davide Bacciu; Marco Podda
Veröffentlicht in: IJCNN, Ausgabe 42, 2021, ISBN 978-1-6654-3900-8
Herausgeber: IEEE
DOI: 10.1109/ijcnn52387.2021.9533743

Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic

Autoren: Andreas Herzig, Antonio Yuste-Ginel
Veröffentlicht in: Logic and Argumentation - 4th International Conference (CLAR 2021), Ausgabe LNCS 13040, 2021, Seite(n) 190--208
Herausgeber: Springer Verlag
DOI: 10.1007/978-3-030-89391-0_11

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

Autoren: Peter Pavlík, Viera Rozinajová, Anna Bou Ezzeddine
Veröffentlicht in: CDCEO 2022, 2022, ISSN 1613-0073
Herausgeber: CEUR-WS.org, Sun SITE Central Europe, RWTH Aachen

Trading Complexity for Sparsity in Random Forest Explanations

Autoren: Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2022, Seite(n) 5461-5469
Herausgeber: AAAI
DOI: 10.1609/aaai.v36i5.20484

Editing Boolean Classifiers: A Belief Change Perspective

Autoren: Nicolas Schwind, Katsumi Inoue, Pierre Marquis
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2023, Seite(n) 6516-6524
Herausgeber: AAAI
DOI: 10.1609/aaai.v37i5.25801

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

Autoren: Lamanna, L.; Gerevini, A. E.; Saetti, A.; Serafini, L.; Traverso, P.
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Seite(n) 11862-11869
Herausgeber: AAAI

On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits

Autoren: Alexis de Colnet, Pierre Marquis
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Seite(n) 2583-2590
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2022/358

Interpretable Next Basket Prediction Boosted with Representative Recipes

Autoren: R. Guidtotti, S. Viotto
Veröffentlicht in: 2020 IEEE Second International Conference on Cognitive Machine Intelligence (CogMI), 2021
Herausgeber: IEEE
DOI: 10.1109/cogmi50398.2020.00018

A neuro-symbolic approach to structured event recognition

Autoren: Apriceno, Gianluca ; Passerini, Andrea ; Serafini, Luciano
Veröffentlicht in: 28th International Symposium on Temporal Representation and Reasoning (TIME 2021)., 2021
Herausgeber: Dagstuhl Publishing

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

Autoren: Frey, Sascha and Li, Kang and Nagy, Peer and Sapora, Silvia and Lu, Chris and Zohren, Stefan and Foerster, Jakob and Calinescu, Anisoara
Veröffentlicht in: Proceedings of the Fourth ACM International Conference on AI in Finance, Ausgabe 4th, 2023
Herausgeber: ACM

A Mathematical Benchmark for Inductive Theorem Provers

Autoren: Thibault Gauthier, Chad Brown, Mikolas Janota and Josef Urban
Veröffentlicht in: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Ausgabe vol 94, 2023, Seite(n) pages 224--237
Herausgeber: EasyChair
DOI: 10.29007/jr72

Modeling Edge Features with Deep Bayesian Graph Networks

Autoren: Daniele Atzeni; Davide Bacciu; Federico Errica; Alessio Micheli
Veröffentlicht in: IJCNN, Ausgabe 6, 2021
Herausgeber: IEEE
DOI: 10.1109/ijcnn52387.2021.9533430

Co-creating Platformer Levels with Constrained Adversarial Networks

Autoren: Paolo Morettin, Andrea Passerini, Stefano Teso
Veröffentlicht in: Proceedings of the 2nd Workshop on Human-AI Co-Creation with Generative Models, 2021
Herausgeber: CEUR Workshop Proceedings

Inference and Learning in Dynamic Decision Networks Using Knowledge Compilation

Autoren: Gabriele Venturato, Vincent Derkinderen, Pedro Zuidberg Dos Martires, Luc De Raedt
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 38, 2024, Seite(n) 20567-20576, ISSN 2374-3468
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v38i18.30042

On Redundancy in Constraint Satisfaction Problems, July 31 to August 8, 2022, Haifa, Israel},

Autoren: Clément Carbonnel
Veröffentlicht in: 28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Ausgabe LIPIcs, volume 235, 2022, Seite(n) 11:1--11:15
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/lipics.cp.2022.11

General Policies, Representations, and Planning Width

Autoren: Bonet, Blai; Geffner, Hector
Veröffentlicht in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021, Seite(n) 11764--11773
Herausgeber: AAAI

A Survey on Goal Recognition as Planning

Autoren: Felipe Meneguzzi; Ramon Fraga Pereira
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, Survey Track, 2021, Seite(n) 4524-4532
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/616

Neural probabilistic logic programming in discrete-continuous domains

Autoren: Lennert De Smet, Pedro Zuidberg Dos Martires, Robin Manhaeve, Giuseppe Marra, Angelika Kimmig, Luc De Readt
Veröffentlicht in: Proceedings of the Thirty-Ninth Conference on Uncertainty in Artificial Intelligence, Ausgabe vol.216, 2023, Seite(n) 529-538
Herausgeber: ML Research Press

On Weak Stubborn Sets in Classical Planning

Autoren: Silvan Sievers; Martin Wehrle
Veröffentlicht in: Proceedings of the 30th International Joint Conference on Artificial Intelligence, 2021, Seite(n) 4167-4174
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/573

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

Autoren: Drexler, Dominik; Seipp, Jendrik; Geffner, Hector
Veröffentlicht in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Herausgeber: IJCAI

Learning Generalized Unsolvability Heuristics for Classical Planning

Autoren: Simon Ståhlberg; Guillem Francès; Jendrik Seipp
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 4175-4181
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/574

Assistive Robot Teleoperation Using Behavior Trees

Autoren: Behery, Mohamed; Trinh, Minh; Brecher, Christian; Lakemeyer, Gerhard
Veröffentlicht in: Variable Autonomy for human-robot Teaming (VAT) workshop @ ACM/IEEE HRI, VAT-HRI, Stockholm, Sweden, 2023-03-13 - 2023-03-13, Ausgabe 47, 2023
Herausgeber: VAT-HRI

Learning Program Synthesis for Integer Sequences from Scratch

Autoren: Thibault Gauthier, Josef Urban
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 37(6), 2023, Seite(n) 7670-7677, ISBN 978-1-57735-880-0
Herausgeber: AAAI Press
DOI: 10.1609/aaai.v37i6.25930

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

Autoren: Noah Hollmann, Samuel Müller, Katharina Eggensperger, Frank Hutter
Veröffentlicht in: The Eleventh International Conference on Learning Representations, 2023
Herausgeber: OpenReview.net

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

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

The FF Heuristic for Lifted Classical Planning

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

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

Autoren: Quera-Bofarull, Arnau and Chopra, Ayush and Aylett-Bullock, Joseph and Cuesta-Lazaro, Carolina and Calinescu, Anisoara and Raskar, Ramesh and Wooldridge, Michael}
Veröffentlicht in: Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023, Seite(n) 1867-1876, ISBN 978-1-4503-9432-1
Herausgeber: IFAAMAS

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

Autoren: Christian Cintrano; Jamal Toutouh; Jamal Toutouh; Enrique Alba
Veröffentlicht in: 19th Conference of the Spanish Association for Artificial Intelligence, CAEPIA, Ausgabe 68, 2021, Seite(n) 247-257, ISBN 978-3-030-85713-4
Herausgeber: Springer
DOI: 10.1007/978-3-030-85713-4_24

Identifying Privacy Risks raised by Utility Queries

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

Multi-Objective Reinforcement Learning for Designing Ethical Environments

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

Contextual Conditional Reasoning

Autoren: Casini, Giovanni and Meyer, Thomas and Varzinczak, Ivan
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, Ausgabe 35 (7), 2021, Seite(n) 6254-6261
Herausgeber: AAAI Press

Learning from Non-Binary Constituency Trees via Tensor Decomposition

Autoren: Daniele Castellana; Davide Bacciu
Veröffentlicht in: COLING, Ausgabe 37, 2021, ISSN 2161-4407
Herausgeber: International Committee on Computational Linguistics
DOI: 10.18653/v1/2020.coling-main.346

Flexible FOND Planning with Explicit Fairness Assumptions

Autoren: Rodriguez, Ivan D.; Bonet, Blai; Sardina, Sebastian; Geffner, Hector
Veröffentlicht in: The 31st International Conference on Automated Planning and Scheduling, 2021, Seite(n) 290--298
Herausgeber: AAAI

A norm optimisation approach to SDGs: tackling poverty by acting on discrimination

Autoren: Georgina Curto, Nieves Montes, Carles Sierra, Nardine Osman, Flavio Comim
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Seite(n) 5228-5235
Herausgeber: 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

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

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

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

Model-theoretic Characterizations of Rule-based Ontologies

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

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

Autoren: Zakaria Abdelmoiz Dahi , Gabriel Luque, Enrique Alba
Veröffentlicht in: 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, 2022, Seite(n) xx-xx, ISSN 0302-9743
Herausgeber: Springer
DOI: 10.1007/978-3-031-02462-7_36

Enforcing Natural Properties of Choice Functions, with Application for Combination

Autoren: Nic Wilson
Veröffentlicht in: Proceedings ECAI 2023, Ausgabe 2023, 2023
Herausgeber: IOS Press
DOI: 10.3233/faia230572

Learning General Planning Policies from Small Examples Without Supervision

Autoren: Francès, Guillem; Bonet, Blai; Geffner, Hector
Veröffentlicht in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021, Seite(n) 11801--11808
Herausgeber: AAAI

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

Autoren: G Jaimovitch, DC Falcon, C Ferri, JH Orallo
Veröffentlicht in: (NeurIPS 2021, 2021
Herausgeber: Neurips

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

Autoren: Ramon Fraga Pereira; Frederico Messa; Andre Grahl Pereira; Giuseppe De Giacomo
Veröffentlicht in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Herausgeber: AAAI

Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints

Autoren: Tarik Viehmann; Till Hofmann; Gerhard Lakemeyer
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 2083-2089
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/287

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

Autoren: Prajit T. Rajendran, Huascar Espinoza, Agnes Delaborde, Chokri Mraidha
Veröffentlicht in: 2022
Herausgeber: CEUR-WS.org

Learning Proof Transformations and Its Applications in Interactive Theorem Proving

Autoren: Liao Zhang, Lasse Blaauwbroek, Cezary Kaliszyk & Josef Urban
Veröffentlicht in: Frontiers of Combining Systems. FroCoS 2023. Lecture Notes in Computer Science, Ausgabe vol 14279, 2023, Seite(n) 236-254, ISBN 978-3-031-43368-9
Herausgeber: Springer
DOI: 10.1007/978-3-031-43369-6_13

Benchmarking Approximate Consistent Query Answering

Autoren: Marco Calautti, Marco Console, Andreas Pieris
Veröffentlicht in: PODS'21: Proceedings of the 40th {ACM} SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Virtual Event, China, June 20-25, 2021, Ausgabe 2021, 2021
Herausgeber: ACM
DOI: 10.1145/3452021.3458309

Translating SUMO-K to Higher-Order Set Theory

Autoren: Chad E. Brown, Adam Pease & Josef Urban
Veröffentlicht in: Frontiers of Combining Systems. FroCoS 2023. Lecture Notes in Computer Science, Ausgabe vol 14279, 2023, Seite(n) 255-274, ISBN 978-3-031-43368-9
Herausgeber: Springer
DOI: 10.1007/978-3-031-43369-6_14

Abstraction in Data Integration

Autoren: Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi
Veröffentlicht in: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, June 29 - July 2, 2021, Ausgabe 2021, 2021
Herausgeber: IEEE

Generative Clausal Networks: Relational Decision Trees as Probabilistic Circuits

Autoren: Fabrizio Ventola, Devendra Singh Dhami and Kristian Kersting
Veröffentlicht in: International Conference on Inductive Logic Programming, Ausgabe 30, 2021
Herausgeber: Springer

Synthesis of Search Heuristics for Temporal Planning via Reinforcement Learning

Autoren: Micheli, A.; Valentini, A.
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Seite(n) 11895-11902
Herausgeber: AAAI

Assessment of Manifold Unfolding in Trained Deep Neural Network Classifiers

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

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

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

Best-First Width Search for Lifted Classical Planning

Autoren: ‪Augusto B. Corrêa‬; Jendrik Seipp
Veröffentlicht in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Herausgeber: AAAI

Learning Constraint Networks over Unknown Constraint Languages

Autoren: Christian Bessiere, Clément Carbonnel, Areski Himeur
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 2023, Seite(n) 1876--1883
Herausgeber: ijcai.org
DOI: 10.24963/ijcai.2023/208

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

Autoren: Youngmin Kim, Richard Allmendinger, Manuel López-Ibáñez
Veröffentlicht in: Trustworthy AI - Integrating Learning, Optimization and Reasoning - First International Workshop, TAILOR, 2021, Seite(n) 123-139, ISBN 978-3-030-73959-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-73959-1_12

The impact of using constraints on counterfactual explanations

Autoren: Maciej Falbogowski, Jerzy Stefanowski, Zuzanna Trafas, Adam Wojciechowski
Veröffentlicht in: Proceedings of the 3rd Polish Conference on Artificial Intelligence PP-RAI, April 25-27, 2022, Gdynia, Poland, Ausgabe 2022, 2022, Seite(n) 81-84
Herausgeber: Gdynia Maritime University

Compositional Approach to Translate LTLf/LDLf into Deterministic Finite Automata

Autoren: Giuseppe De Giacomo; Marco Favorito
Veröffentlicht in: Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021, Seite(n) 122-130
Herausgeber: AAAI

A Boolean Extension of KLM-Style Conditional Reasoning

Autoren: Paterson-Jones, Guy and Casini, Giovanni and Meyer, Thomas
Veröffentlicht in: Artificial Intelligence Research. Communications in Computer and Information Science, Ausgabe 1342, 2020, Seite(n) 236-252, ISBN 978-3-030-66151-9
Herausgeber: Springer

The Nondeterministic Situation Calculus

Autoren: Giuseppe De Giacomo; Yves Lespérance
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 216–226
Herausgeber: IJCAI

On Quantifying Literals in Boolean Logic and its Applications to Explainable AI (Extended Abstract)

Autoren: Adnan Darwiche, Pierre Marquis
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022, Seite(n) 5718-5721
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2022/797

Model-theoretic Characterizations of Rule-based Ontologies

Autoren: Marco Console, Phookion Kolaitis, Andreas Pieris
Veröffentlicht 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, Ausgabe 2021, 2021
Herausgeber: CEUR-WS.org

A Computationally Grounded Logic of 'Seeing-to-it-that'

Autoren: Andreas Herzig, Emiliano Lorini, Elise Perrotin
Veröffentlicht in: Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, 2022, Seite(n) 2648--2654
Herausgeber: ijca.org
DOI: 10.24963/ijcai.2022/367

Deriving a Single Interpretable Model by Merging Tree-Based Classifiers

Autoren: Valerio Bonsignori, Riccardo Guidotti, Anna Monreale
Veröffentlicht in: Discovery Science. DS 2021. Lecture Notes in Computer Science, Ausgabe 12986, 2021, ISBN 978-3-030-88942-5
Herausgeber: Springer
DOI: 10.1007/978-3-030-88942-5_27

On the Power of Automata Minimization in Temporal Synthesis

Autoren: Shufang Zhu; Lucas M. Tabajara; Geguang Pu; Moshe Y. Vardi
Veröffentlicht in: The Twelfth International Symposium on Games, Automata, Logics, and Formal Verification, 2021, Seite(n) 117--134
Herausgeber: EPTCS

Learning Aggregation Functions

Autoren: Pellegrini, Giovanni ; Frasconi, Paolo ; Passerini, Andrea; Jaeger, Manfred
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Herausgeber: International Joint Conferences on Artificial Intelligence

A New Approach to Design Symmetry Invariant Neural Networks

Autoren: Piotr Kicki; Piotr Skrzypczyński; Mete Ozay
Veröffentlicht in: IEEE International Joint Conference on Neural Networks (IJCNN), Ausgabe 2021, 2021, Seite(n) 1-8
Herausgeber: IEEE

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

Autoren: Damiano Brunori; Stefania Colonnese; Francesca Cuomo; Luca Iocchi
Veröffentlicht in: arxiv, 2021
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2105.05094

Robust Malware Classification via Deep Graph Networks on Call Graph Topologies

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

Saturated Post-hoc Optimization for Classical Planning.

Autoren: Jendrik Seipp; Thomas Keller; Malte Helmert
Veröffentlicht in: Proceedings of the 35th AAAI Conference on Artificial Intelligence, 2021, Seite(n) 11947-11953
Herausgeber: AAAI Press
DOI: 10.5451/unibas-ep84299

Safe Reinforcement Learning via Probabilistic Logic Shields

Autoren: Wen-Chi Yang, Giuseppe Marra, Gavin Rens, Luc De Raedt
Veröffentlicht in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023, Seite(n) 5739-5749, ISBN 978-1-956792-03-4
Herausgeber: International Joint Conferences on Artificial Intelligence
DOI: 10.24963/ijcai.2023/637

Inferring Agents Preferences as Priors for Probabilistic Goal Recognition

Autoren: Kin Max Gusmão; Ramon Fraga Pereira; Felipe Meneguzzi
Veröffentlicht in: SPARK Workshop (ICAPS), 2021
Herausgeber: AAAI

A Survey on Quantum Computer Simulators

Autoren: Zakaria Abdelmoiz Dahi, Enrique Alba, Rodrigo Gil-Merino, Francisco Chicano, Gabriel Luque
Veröffentlicht in: 19th Conference of the Spanish Association for Artificial Intelligence (CAEPIA), 2021, Seite(n) 941-946, ISBN 978-84-09-30514-8
Herausgeber: CAEPIA

Synthesis with Mandatory Stop Actions

Autoren: Giuseppe De Giacomo; Antonio Di Stasio; Giuseppe Perelli; Shufang Zhu
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 237–246
Herausgeber: IJCAI

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

Autoren: Viktor Pfanschilling, Hikaru Shindo, Devendra Singh Dhami and Kristian Kersting
Veröffentlicht in: International Conference on Principles of Knowledge Representation and Reasoning, Ausgabe 19, 2022
Herausgeber: IJCAI organization

Towards Continuous Automatic Audits of Social Media Adaptive Behavior and its Role in Misinformation Spreading

Autoren: J. Simko, M. Kompan, M. Bielikova et al
Veröffentlicht in: UMAP, 2022, ISBN 978-1-4503-8367-7
Herausgeber: Association for Computing Machinery
DOI: 10.1145/3450614.3463353

Guiding an Instantiation Prover with Graph Neural Networks

Autoren: Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock and Josef Urban
Veröffentlicht in: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Ausgabe vol 94, 2023, Seite(n) pages 112--123
Herausgeber: EasyChair
DOI: 10.29007/tp23

Loopless Top-k Planning

Autoren: Julian von Tschammer; Robert Mattmüller; David Speck
Veröffentlicht in: The 32nd International Conference on Automated Planning and Scheduling, 2022
Herausgeber: AAAI

Intensional and Extensional Views in DL-Lite Ontologies

Autoren: Marco Console; Giuseppe De Giacomo; Maurizio Lenzerini; Manuel Namici
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 1822-1828
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/251

Synthesizing Best-Effort Strategies under Multiple Environment Specifications

Autoren: Benjamin Aminof and Giuseppe De Giacomo and Alessio Lomuscio and Aniello Murano and Sasha Rubin
Veröffentlicht in: The 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Herausgeber: IJCAI

Can language models automate data wrangling?

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

An Agent-Based Model for Poverty and Discrimination Policy-Making

Autoren: Nieves Montes, Georgina Curto, Nardine Osman & Carles Sierra
Veröffentlicht in: AMPM 2022: 2nd Workshop in Agent-based Modeling & Policy-Making, 2022
Herausgeber: CEUR Workshop Proceedings
DOI: 10.48550/arxiv.2303.13994

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

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

Discovering Declarative Process Model Behavior from Event Logs via Model Learning

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

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

Autoren: Lukasiewicz, Thomas and Malizia, Enrico and Molinaro, Cristian
Veröffentlicht in: Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning}, Ausgabe Volume 19, number 1, 2023, Seite(n) 472-481, ISBN 978-1-956792-02-7
Herausgeber: IJCAI Organization

Online Learning of Action Models for PDDL Planning

Autoren: Leonardo Lamanna; Alessandro Saetti; Luciano Serafini; Alfonso Gerevini; Paolo Traverso
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 4112-4118
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/566

Neuro-Symbolic Constraint Programming for Structured Prediction

Autoren: Dragone, Paolo; Teso, Stefano; Passerini, Andrea
Veröffentlicht in: NeSy’21: 15th International Workshop on Neural-Symbolic Learning and Reasoning, 2021
Herausgeber: ISSN 1613-0073 CEUR Workshop Proceedings

On the Variation of Max Regret with respect to the Scaling of the Objectives

Autoren: Nic Wilson
Veröffentlicht in: Proceedings ECAI 2023, Ausgabe 2023, 2023
Herausgeber: IOS Press
DOI: 10.3233/faia230571

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

Autoren: Giuseppe De Giacomo; Antonio Di Stasio; Lucas M. Tabajara; Moshe Vardi; Shufang Zhu
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021, Seite(n) 1852-1858
Herausgeber: IJCAI
DOI: 10.24963/ijcai.2021/255

Online Action Recognition

Autoren: Suárez-Hernández, A.; Segovia-Aguas, J.; Torras, C.; Alenyà, G.
Veröffentlicht in: Proceedings of the AAAI Conference on Artificial Intelligence, 2021, Seite(n) 11981-11989
Herausgeber: AAAI

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

Autoren: Andreas Herzig; Frédéric Maris; Elise Perrotin
Veröffentlicht in: Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021, Seite(n) 676–680
Herausgeber: IJCAI
DOI: 10.24963/kr.2021/68

Stream-level Latency Evaluation for Simultaneous Machine Translation

Autoren: Iranzo-Sánchez, Javier ; Civera, Jorge ; Juan, Alfons
Veröffentlicht in: EMNLP 2021, 2021
Herausgeber: Cornel University
DOI: 10.48550/arxiv.2104.08817

ASP-Based Declarative Process Mining

Autoren: Francesco Chiariello; Fabrizio Maria Maggi; Fabio Patrizi
Veröffentlicht in: The 36th AAAI Conference on Artificial Intelligence, 2022
Herausgeber: AAAI

OpenML Benchmarking Suites

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

DP-CTGAN: Differentially Private Medical Data Generation using CTGANs

Autoren: Mei Ling Fang, Devendra Singh Dhami and Kristian Kersting,
Veröffentlicht in: Artificial Intelligence in Medicine, Ausgabe 20, 2022
Herausgeber: Springer

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

Autoren: Martin Tamajka, Marcel Vesely, Marian Simko
Veröffentlicht in: XAI at IJCAI 2022, 2022
Herausgeber: IJCAI

Landmark-Based Approaches for Goal Recognition as Planning

Autoren: Ramon Fraga Pereira; Nir Oren; Felipe Meneguzzi
Veröffentlicht in: The 31st International Conference on Automated Planning and Scheduling, 2021
Herausgeber: AAAI

piBO: Augmenting Acquisition Functions with User Beliefs for Bayesian Optimization

Autoren: Carl Hvarfner, Danny Stoll, Artur Souza, Marius Lindauer, Frank Hutter, Luigi Nardi
Veröffentlicht in: The Tenth International Conference on Learning Representations, 2022
Herausgeber: International Conference on Learning Representations

OPTION : optimization algorithm benchmarking ontology.

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

Computing Abductive Explanations for Boosted Trees

Autoren: Gilles Audemard, Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski
Veröffentlicht in: Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, 2023, Seite(n) PMLR 206:4699-4711
Herausgeber: MLResearchPress

Machine Learning for Utility Prediction in Argument-Based Computational Persuasion

Autoren: Donadello, Ivan; Hunter, Anthony; Teso, Stefano; Dragoni, Mauro
Veröffentlicht in: Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
Herausgeber: AAAI Press
DOI: 10.48550/arxiv.2112.04953

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

Autoren: Matej Zecevic, Devendra Singh Dhami, Athresh Karanam, Sriraam Natarajan and Kristian Kersting
Veröffentlicht in: Advances in Neural Information Processing Systems, Ausgabe 34, 2021
Herausgeber: Neural Information Processing Systems

An Efficient QAOA via a Polynomial QPU-Needless Approach

Autoren: Francisco Chicano, Zakaria Dahi, Gabriel Luque
Veröffentlicht in: Proceedings of the Companion Conference on Genetic and Evolutionary Computation, Ausgabe 400, 2023, Seite(n) 2187-2194, ISBN 9798400701207
Herausgeber: ACM
DOI: 10.1145/3583133.3596409

Interactive Label Cleaning with Example-based Explanations

Autoren: Teso, Stefano; Bontempelli, Andrea; Giunchiglia, Fausto; Passerini, Andrea
Veröffentlicht in: Advances in Neural Information Processing Systems, 2021
Herausgeber: Neural Information Processing Systems Foundation, Inc. (NIPS)

Optimising Communication Overhead in Federated Learning Using NSGA-II

Autoren: José Ángel Morell , Zakaria Abdelmoiz Dahi, Francisco Chicano, Gabriel Luque, Enrique Alba
Veröffentlicht in: 25th European Conference, EvoApplications 2022, Held as Part of EvoStar 2022, 2022, Seite(n) xx-xx, ISSN 0302-9743
Herausgeber: Springer
DOI: 10.1007/978-3-031-02462-7_21

Finding Structure and Causality in Linear Programs

Autoren: Matej Zečević, Florian Peter Busch, Devendra Singh Dhami and Kristian Kersting
Veröffentlicht in: ICLR Workshop on the Elements of Reasoning: Objects, Structure and Causality, Ausgabe 1, 2022
Herausgeber: openreview

Multi-Agent Abstract Argumentation Frameworks With Incomplete Knowledge of Attacks

Autoren: Andreas Herzig, Antonio Yuste-Ginel
Veröffentlicht in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, 2021, Seite(n) 1922--1928
Herausgeber: ijca.org
DOI: 10.24963/ijcai.2021/265

An LP-Based Approach for Goal Recognition as Planning

Autoren: Luisa R. de A. Santos; Felipe Meneguzzi; Ramon Fraga Pereira; Andre G. Pereira
Veröffentlicht in: Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Herausgeber: AAAI

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

Autoren: Prajit T. Rajendran, Huascar Espinoza, Agnes Delaborde, Chokri Mraidha
Veröffentlicht in: 2021
Herausgeber: Springer
DOI: 10.1007/978-3-030-83906-2\_20

Quick-Tune: Quickly Learning Which Pretrained Model to Finetune and How

Autoren: Sebastian Pineda Arango, Fabio Ferreira, Arlind Kadra, Frank Hutter, Josif Grabocka
Veröffentlicht in: arxiv, 2023
Herausgeber: arxiv
DOI: 10.48550/arxiv.2306.03828

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

Autoren: Pereira, Ramon Fraga; Fuggitti, Francesco; De Giacomo, Giuseppe
Veröffentlicht in: arxiv, Ausgabe 51, 2021
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2103.11692

AutoML Adoption in ML Software

Autoren: van der Blom, Koen and Serban, Alex and Hoos, Holger and Visser, Joost
Veröffentlicht in: 8th ICML Workshop on Automated Machine Learning, 2021
Herausgeber: Openreview.net

Can Fairness be Automated? Guidelines and Opportunities for Fairness-aware AutoML

Autoren: Hilde Weerts, Florian Pfisterer, Matthias Feurer, Katharina Eggensperger, Edward Bergman, Noor Awad, Joaquin Vanschoren, Mykola Pechenizkiy, Bernd Bischl, Frank Hutter
Veröffentlicht in: arxiv, 2023
Herausgeber: arxiv
DOI: 10.48550/arxiv.2303.08485

Behavioral QLTL

Autoren: De Giacomo, Giuseppe; Perelli, Giuseppe
Veröffentlicht in: arxiv, Ausgabe 53, 2021
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2102.11184

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

Autoren: Giuseppe De Giacomo; Marco Favorito; Francesco Fuggitti
Veröffentlicht in: arxiv, 2022
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2204.09960

Maximal and minimal dynamic Petri net slicing

Autoren: Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador
Veröffentlicht in: Arxiv, Ausgabe 13, 2021
Herausgeber: Arxiv

Self-Correcting Bayesian Optimization through Bayesian Active Learning

Autoren: Carl Hvarfner, Erik Hellsten, Frank Hutter, Luigi Nardi
Veröffentlicht in: 2023
Herausgeber: arxiv
DOI: 10.48550/arxiv.2304.11005

Advances in MetaDL: AAAI 2021 Challenge and Workshop

Autoren: El Baz, Adrian and Guyon, Isabelle and Liu, Zhengying and van Rijn, Jan N. and Treguer, Sebastien and Vanschoren, Joaquin
Veröffentlicht in: Proceedings of Machine Learning Research, 2021
Herausgeber: Proceedings of Machine Learning Research

Conditional Teaching Size

Autoren: Garcia-Piqueras, Manuel; Hernández-Orallo, José
Veröffentlicht in: Conditional Teaching Size, Ausgabe 24, 2021
Herausgeber: Arxiv

Learning constraints through partial queries

Autoren: Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Veröffentlicht in: Artif. Intell., Ausgabe volume 319, 2023, Seite(n) 103896, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2023.103896

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

Autoren: Mattia Setzu and Riccardo Guidotti and Anna Monreale and Franco Turini and Dino Pedreschi and Fosca Giannotti
Veröffentlicht in: Artificial Intelligence Journal, Ausgabe 294, 2021, Seite(n) 103457, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2021.103457

Climate Variability Indices—A Guided Tour

Autoren: Mateusz Norel; Michał Kałczyński; Iwona Pińskwar; Krzysztof Krawiec; Zbigniew W. Kundzewicz
Veröffentlicht in: Geosciences, Ausgabe 1, 2021, ISSN 2076-3263
Herausgeber: MDPI
DOI: 10.3390/geosciences11030128

The art of compensation: How hybrid teams solve collective-risk dilemmas

Autoren: Inês Terrucha, Elias Fernández Domingos, Francisco C. Santos, Pieter Simoens, Tom Lenaerts
Veröffentlicht in: PLOS ONE, Ausgabe 19, 2024, Seite(n) e0297213, ISSN 1932-6203
Herausgeber: Public Library of Science
DOI: 10.1371/journal.pone.0297213

Machine Learning Modeling of Climate Variability Impact on River Runoff

Autoren: Norel, Mateusz and Krawiec, Krzysztof and Kundzewicz, Zbigniew W
Veröffentlicht in: Water, Ausgabe 9, 2021, ISSN 2073-4441
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/w13091177

K-plex cover pooling for graph neural networks

Autoren: Davide Bacciu; Alessio Conte; Roberto Grossi; Francesco Landolfi; Andrea Marino
Veröffentlicht in: Data Mining and Knowledge Discovery, Ausgabe 5, 2021, ISSN 1384-5810
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10618-021-00779-z

Auditing YouTube’s Recommendation Algorithm for Misinformation Filter Bubbles

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

A Comparative Study of Two Rule-Based Explanation Methods for Diabetic Retinopathy Risk Assessment

Autoren: Maaroof, Najlaa and Moreno, Antonio and Valls, Aida and Jabreel, Mohammed and Szeląg, Marcin
Veröffentlicht in: Applied Sciences, Ausgabe 7, 2022, ISSN 2076-3417
Herausgeber: MDPI
DOI: 10.3390/app12073358

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

Autoren: "Dario Albani and Wolfgang {H\""onig} and Daniele Nardi and Nora Ayanian and Vito Trianni"
Veröffentlicht in: Applied Sciences, 2021, ISSN 2076-3417
Herausgeber: MDPI
DOI: 10.3390/app11073115

P systems in the time of COVID-19

Autoren: Fernando Baquero; Marcelino Campos; Carlos Llorens; José M. Sempere
Veröffentlicht in: P systems in the time of COVID-19, Ausgabe 18, 2021, ISSN 2523-8914
Herausgeber: Springer
DOI: 10.1007/s41965-021-00083-1

Embedding reactive behavior into artifact-centric business process models

Autoren: Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente
Veröffentlicht in: Future Generation Computer Systems, 2021, ISSN 0167-739X
Herausgeber: 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

Autoren: Dariusz Brzezinski and Leandro L. Minku and Tomasz Pewinski and Jerzy Stefanowski and Artur Szumaczuk
Veröffentlicht in: Knowledge Information Systems, Ausgabe 63, 2021, Seite(n) 1429-1469, ISSN 0219-1377
Herausgeber: Springer Verlag
DOI: 10.1007/s10115-021-01560-w

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

Autoren: Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati; Domenico Fabio Savo
Veröffentlicht in: Journal of Artificial Intelligence Research, 2021, Seite(n) 1335--1371, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12414

Synthesis and Properties of Optimally Value-Aligned Normative Systems

Autoren: Nieves Montes, Carles Sierra
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 74, 2022, Seite(n) 1739-1774, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.13487

Learning MAX-SAT from contextual examples for combinatorial optimisation

Autoren: Mohit Kumar, Samuel Kolb, Stefano Teso, Luc De Raedt
Veröffentlicht in: Artificial Intelligence, Ausgabe 314, 2024, Seite(n) 103794, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2022.103794

Dynastic Potential Crossover Operator

Autoren: Chicano Francisco, Ochoa Gabriela, Whitley L. Darrell, Tinós, Renato
Veröffentlicht in: Evolutionary Computation, 2021, Seite(n) 1-35, ISSN 1063-6560
Herausgeber: MIT Press
DOI: 10.1162/evco_a_00305

A Lightweight Epistemic Logic and its Application to Planning

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

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

Autoren: Rodriguez-Soto, M., Serramia, M., Lopez-Sanchez, M. et al
Veröffentlicht in: Ethics and Information Technology, 2022, ISSN 1388-1957
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10676-022-09635-0

Enhancing and Evaluating the Product Fuzzy DPLL Solver

Autoren: Ivor Uhliarik
Veröffentlicht in: SN Comput. Sci. 3(5): 388, 2022, ISSN 2661-8907
Herausgeber: Springer
DOI: 10.1007/s42979-022-01192-z

ReliefE : feature ranking in high dimensional spaces via manifold embeddings

Autoren: Blaž Škrlj, Sašo Džeroski, Nada Lavrač and Matej Petković
Veröffentlicht in: Machine learning, Ausgabe 111, 2022, Seite(n) 273-317, ISSN 0885-6125
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10994-021-05998-5

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

Autoren: Marcelo de Souza, Marcus Ritt, Manuel Lopez-Ibanez, Leslie Pérez Cáceres
Veröffentlicht in: Operations Research Perspectives, 2021, Seite(n) 100186, ISSN 2214-7160
Herausgeber: Elsevier BV
DOI: 10.1016/j.orp.2021.100186

Resource separation in dynamic logic of propositional assignments

Autoren: Joseph Boudou; Andreas Herzig; Nicolas Troquard
Veröffentlicht in: Journal of Logical and Algebraic Methods in Programming, 2021, ISSN 2352-2208
Herausgeber: Elsevier BV
DOI: 10.1016/j.jlamp.2021.100683

What makes multi-class imbalanced problems difficult? An experimental study

Autoren: Mateusz Lango, Jerzy Stefanowski
Veröffentlicht in: Expert Systems with Applications, Ausgabe 199, 2022, ISSN 0957-4174
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.eswa.2022.116962

Metamodeling and metaquerying in OWL 2 QL

Autoren: Maurizio Lenzerini, Lorenzo Lepore, Antonella Poggi
Veröffentlicht in: Artificial Intelligence, Ausgabe 292, 2021, ISSN 0004-3702
Herausgeber: Elsevier BV

A computational model of Ostrom's Institutional Analysis and Development framework

Autoren: Nieves Montes, Nardine Osman, Carles Sierra
Veröffentlicht in: Artificial Intelligence, Ausgabe 311, 2024, Seite(n) 103756, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2022.103756

Inferring strategies from observations in long iterated Prisoner’s dilemma experiments

Autoren: Eladio Montero-Porras, Jelena Grujić, Elias Fernández Domingos, Tom Lenaerts
Veröffentlicht in: Scientific Reports, Ausgabe 12, 2022, ISSN 2045-2322
Herausgeber: Nature Publishing Group
DOI: 10.1038/s41598-022-11654-2

Metaheuristics on quantum computers: Inspiration, simulation and real execution

Autoren: Zakaria Abdelmoiz Dahi, Enrique Alba
Veröffentlicht in: Future Generation Computer Systems, 2022, Seite(n) 164-180, ISSN 0167-739X
Herausgeber: Elsevier BV
DOI: 10.1016/j.future.2021.12.015

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

Autoren: Joaquín Taverner; Emilio Vivancos; Vicente Botti
Veröffentlicht in: IEEE Transaction on Affective Computing, Ausgabe 12, 2022, ISSN 1949-3045
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/taffc.2020.3030586

Explaining the performance of multilabel classification methods with data set properties

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

FairLens: Auditing black-box clinical decision support systems

Autoren: Cecilia Panigutti, Alan Perotti, André Panisson, Paolo Bajardi, Dino Pedreschi
Veröffentlicht in: Information Processing & Management, Ausgabe 58, 2021, ISSN 0306-4573
Herausgeber: 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

Autoren: Christian Cintrano, Javier Ferrer, Manuel López-Ibáñez, Enrique Alba
Veröffentlicht in: Evolutionary Computation, Ausgabe 31, 2023, Seite(n) 31-51, ISSN 1530-9304
Herausgeber: MIT Press
DOI: 10.1162/evco_a_00314

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

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

Signalling boosts the evolution of cooperation in repeated group interactions

Autoren: Luis A. Martinez-Vaquero; Francisco C. Santos; Vito Trianni
Veröffentlicht in: Journal of the Royal Society Interface, Ausgabe 58, 2020, ISSN 1742-5662
Herausgeber: The Royal Society Publishing
DOI: 10.1098/rsif.2020.0635

SAMBA: AGeneric Framework for Secure Federated Multi-Armed Bandits

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

Explaining and predicting customer churn by monotonic rules induced from ordinal data

Autoren: Marcin Szeląg and Roman Słowiński
Veröffentlicht in: European Journal of Operational Research, Ausgabe 2023, 2023, ISSN 0377-2217
Herausgeber: Elsevier BV
DOI: 10.1016/j.ejor.2023.09.028

Combining theory of mind and abductive reasoning in agent-oriented programming

Autoren: Nieves Montes, Michael Luck, Nardine Osman, Odinaldo Rodrigues, Carles Sierra
Veröffentlicht in: Autonomous Agents and Multi-Agent Systems, Ausgabe 37, 2023, ISSN 1387-2532
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10458-023-09613-w

Evaluating local explanation methods on ground truth

Autoren: Riccardo Guidotti; Riccardo Guidotti
Veröffentlicht in: Artificial Intelligence, Ausgabe 89, 2021, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2020.103428

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

Autoren: Miguel Rebollo; Rosa M. Benito; Juan Carlos Losada; Javier Galeano
Veröffentlicht in: Entropy, Ausgabe 7, 2021, ISSN 1099-4300
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e23050638

Optimal training of integer-valued neural networks with mixed integer programming

Autoren: Tómas Thorbjarnarson; Neil Yorke-Smith
Veröffentlicht in: urn:issn:1932-6203, Ausgabe 57, 2023, ISSN 1932-6203
Herausgeber: Public Library of Science
DOI: 10.1371/journal.pone.0261029

Effective anytime algorithm for multiobjective combinatorial optimization problems

Autoren: Miguel Ángel Domínguez-Ríos, Francisco Chicano, Enrique Alba
Veröffentlicht in: Information Sciences, 2021, Seite(n) 210-228, ISSN 0020-0255
Herausgeber: Elsevier BV
DOI: 10.1016/j.ins.2021.02.074

Reasoning about causality in games

Autoren: Hammond, Lewis, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, and Michael Wooldridge
Veröffentlicht in: Artificial Intelligence, Ausgabe Volume 320, 2023, Seite(n) 103919, ISSN 1872-7921
Herausgeber: Elsevier

Automating data science

Autoren: Tijl De Bie, Luc De Raedt, José Hernández-Orallo, Holger H. Hoos, Padhraic Smyth, Christopher K. I. Williams
Veröffentlicht in: Communications of the ACM, Ausgabe vol. 65, issue 3, 2022, Seite(n) 76–87, ISSN 0001-0782
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3495256

Towards a Framework for Certification of Reliable Autonomous Systems

Autoren: Michael Fisher; Viviana Mascardi; Kristin Yvonne Rozier; Bernd-Holger Schlingloff; Michael Winikoff; Neil Yorke-Smith
Veröffentlicht 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, Ausgabe 11, 2021, ISSN 1387-2532
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10458-020-09487-2

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

Autoren: Alessandro Ronca; Mark Kaminski; Bernardo Cuenca Grau; Ian Horrocks
Veröffentlicht in: Artificial Intelligence, 2022, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2022.103668

Focused categorization power of ontologies: General framework and study on simple existential concept expressions

Autoren: Vojtěch Svátek, Ondřej Zamazal, Viet Bach Nguyen, Jiří Ivánek, Ján Kľuka, Miroslav Vacura
Veröffentlicht in: Semantic Web, Ausgabe 14, 2023, Seite(n) 1209-1253, ISSN 1570-0844
Herausgeber: IOS Press
DOI: 10.3233/sw-233401

Capping Methods for the Automatic Configuration of Optimization Algorithms

Autoren: Marcelo De Souza, Marcus Ritt, Manuel Lopez-Ibanez
Veröffentlicht in: Computers and Operations Research, 2022, Seite(n) 105615, ISSN 0305-0548
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.cor.2021.105615

What and How of Machine Learning Transparency:Building Bespoke Explainability Tools withInteroperable Algorithmic Components

Autoren: Kacper Sokol, Alexander Hepburn, Raul Santos-Rodriguez, Peter Flach
Veröffentlicht in: Journal of Open Source Education, Ausgabe 5, 2022, Seite(n) 175, ISSN 2577-3569
Herausgeber: Journal of Open Source Education
DOI: 10.21105/jose.00175

A multi-objective approach for communication reduction in federated learning under devices heterogeneity constraints

Autoren: José Ángel Morell, Zakaria Abdelmoiz Dahi, Francisco Chicano, Gabriel Luque, Enrique Alba
Veröffentlicht in: Future Generation Computer Systems, Ausgabe 155, 2024, Seite(n) 367-383, ISSN 0167-739X
Herausgeber: Elsevier BV
DOI: 10.1016/j.future.2024.02.022

FAT Forensics: A Python toolbox for algorithmic fairness, accountability and transparency

Autoren: Kacper Sokol, Raul Santos-Rodriguez, Peter Flach
Veröffentlicht in: Software Impacts, Ausgabe 14, 2023, Seite(n) 100406, ISSN 2665-9638
Herausgeber: Elsevier
DOI: 10.1016/j.simpa.2022.100406

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

Autoren: 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
Veröffentlicht in: Applies Sciences, 2022, ISSN 2076-3417
Herausgeber: MDPI
DOI: 10.3390/app12020804

Feature ranking for semi-supervised learning

Autoren: Matej Petković, Sašo Džeroski & Dragi Kocev
Veröffentlicht in: Machine Learning Journal, Ausgabe vol. 111, 2022, ISSN 0885-6125
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10994-022-06181-0

Qualitative uncertainty and dynamics of argumentation through dynamic logic

Autoren: Antonio Yuste-Ginel and Andreas Herzig
Veröffentlicht in: J. Log. Comput., Ausgabe volume 33, number 2, 2022, Seite(n) 370--405, ISSN 0955-792X
Herausgeber: Oxford University Press
DOI: 10.1093/logcom/exac098

Exact stochastic constraint optimisation with applications in network analysis

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

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

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

Evolution of a theory of mind

Autoren: Tom Lenaerts, Marco Saponara, Jorge M. Pacheco, Francisco C. Santos
Veröffentlicht in: iScience, Ausgabe 27, 2024, Seite(n) 108862, ISSN 2589-0042
Herausgeber: Cell Press (Elsevier)
DOI: 10.1016/j.isci.2024.108862

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

Autoren: Adnan Darwiche, Pierre Marquis
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 72(1), 2021, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12756

Order-sorted equational generalization algorithm revisited

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

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

Autoren: Ciucanu, R. and Lafourcade, P. Lombard-Platet, M. and Soare, M.
Veröffentlicht in: Journal of Computer Security, 2022, ISSN 0926-227X
Herausgeber: IOS Press

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

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

On the complexity of rational verification

Autoren: Gutierrez, Julian and Najib, Muhammad and Perelli, Giuseppe and Wooldridge, Michael
Veröffentlicht in: Annals of Mathematics and Artificial Intelligence, Ausgabe Volume 91, number 4, 2023, Seite(n) 409-430, ISSN 1012-2443
Herausgeber: Kluwer Academic Publishers

Enhancing Lattice-Based Motion Planning With Introspective Learning and Reasoning

Autoren: Mattias Tiger; David Bergström; Andreas Norrstig; Fredrik Heintz
Veröffentlicht in: IEEE Robotics and Automation Letters, 2021, Seite(n) 4385--4392, ISSN 2377-3766
Herausgeber: IEEE
DOI: 10.1109/lra.2021.3068550

Online learning of variable ordering heuristics for constraint optimisation problems

Autoren: Floris Doolaard; Neil Yorke-Smith
Veröffentlicht in: Crossref, Ausgabe 30, 2022, ISSN 1012-2443
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10472-022-09816-z

Digital twins: State of the art theory and practice, challenges, and open research questions

Autoren: Sharma, Angira and Kosasih, Edward and Zhang, Jie and Brintrup, Alexandra and Calinescu, Anisoara
Veröffentlicht in: Journal of Industrial Information Integration, 2022, Seite(n) 100383, ISSN 2452-414X
Herausgeber: Elsevier
DOI: 10.1016/j.jii.2022.100383

Lifted Model Checking for Relational MDPs

Autoren: Wen-Chi Yang, Jean-Francois Raskin, Luc De Raedt
Veröffentlicht in: Machine Learning, 2021, ISSN 0885-6125
Herausgeber: Kluwer Academic Publishers

Enabling Game-Theoretical Analysis of Social Rules

Autoren: Nieves Montes, Nardine Osman, Carles Sierra
Veröffentlicht in: Volume 339: Artificial Intelligence Research and Development, 2021, ISSN 1879-8314
Herausgeber: IOS Press
DOI: 10.3233/faia210120

Automating Data Science: Prospects and Challenges

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

Dynamic and adaptive fault-tolerant asynchronous federated learning using volunteer edge devices

Autoren: José Ángel Morell, Enrique Alba
Veröffentlicht in: Future Generation Computer Systems, Ausgabe 133, 2024, Seite(n) 53-67, ISSN 0167-739X
Herausgeber: Elsevier BV
DOI: 10.1016/j.future.2022.02.024

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

Autoren: Blaž Škrlj, Matej Martinc, Nada Lavrač & Senja Pollak
Veröffentlicht in: Machine learning, Ausgabe vol. 110, iss. 4, 2021, Seite(n) 989–1028, ISSN 0885-6125
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10994-021-05968-x

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

Autoren: Franco Alberto Cardillo and Umberto Straccia
Veröffentlicht in: Fuzzy Sets and Systems, 2021, ISSN 0165-0114
Herausgeber: Elsevier BV
DOI: 10.1016/j.fss.2021.07.002

A Fresh Approach to Evaluate Performance in Distributed Parallel Genetic Algorithms

Autoren: Harada, Tomohiro; Alba, Enrique; Luque, Gabriel
Veröffentlicht in: Applied Soft Computing, Ausgabe 10, 2022, Seite(n) 108540, ISSN 1568-4946
Herausgeber: Elsevier BV
DOI: 10.1016/j.asoc.2022.108540

Cooperative concurrent games

Autoren: Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples, and Michael J. Wooldridge
Veröffentlicht in: Artificial Intelligence, Ausgabe Volume 314, 2023, Seite(n) 103806, ISSN 1872-7921
Herausgeber: Elsevier

Knowledge-Driven Data Ecosystems Toward Data Transparency

Autoren: 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
Veröffentlicht in: ACM Journal of Data and Information Quality, Ausgabe 14, 2022, ISSN 1936-1955
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3467022

A tensor framework for learning in structured domains

Autoren: Daniele Castellana, Davide Bacciu
Veröffentlicht in: Neurocomputing, Ausgabe 470, 2022, Seite(n) 405-426, ISSN 0925-2312
Herausgeber: Elsevier BV
DOI: 10.1016/j.neucom.2021.05.110

Occlusion-Based Explanations in Deep Recurrent Models for Biomedical Signals

Autoren: Michele Resta; Anna Monreale; Davide Bacciu
Veröffentlicht in: Ausgabe 8, Ausgabe 68, 2020, ISSN 1099-4300
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/e23081064

Defense coordination in security games: Equilibrium analysis and mechanism design

Autoren: Jiarui Gan, Edith Elkind, Sarit Kraus, and Michael J. Wooldridge
Veröffentlicht in: Artificial Intelligence, Ausgabe Volume 313, 2022, Seite(n) 103791, ISSN 1872-7921
Herausgeber: Elsevier

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

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

From Statistical Relational to Neural Symbolic Artificial Intelligence: a Survey

Autoren: Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, Luc De Raedt
Veröffentlicht in: arXiv, 2022, ISSN 2331-8422
Herausgeber: Cornell University
DOI: 10.48550/arxiv.2108.11451

Expressiveness and Nash Equilibrium in Iterated Boolean Games

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

EVALUATION OF MODERN HERITAGE ASSETS IN POZNAN USING MONOTONIC DECISION RULES

Autoren: A. Rumież, M. Szeląg, B. Świt-Jankowska, and P. Marciniak
Veröffentlicht in: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2023, Seite(n) 1373--1378, ISSN 2194-9034
Herausgeber: International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences

Counterexample-Driven Genetic Programming for Symbolic Regression with Formal Constraints

Autoren: Iwo Błądek; Krzysztof Krawiec
Veröffentlicht in: IEEE Transactions on Evolutionary Computation, Ausgabe 27, 2023, Seite(n) 1327-1339, ISSN 1941-0026
Herausgeber: 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

Autoren: Branislav Pecher, Ivan Srba, Maria Bielikova
Veröffentlicht in: ACM Computing Surveys, Ausgabe 57, 2024, Seite(n) 1-40, ISSN 0360-0300
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3691339

MultiETSC: automated machine learning for early time series classification

Autoren: Ottervanger, Gilles and Baratchi, Mitra and Hoos, Holger H
Veröffentlicht in: Data Mining and Knowledge Discovery, 2021, ISSN 1384-5810
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10618-021-00781-5

BlackBIRDS: Black-Box Inference foR Differentiable Simulators

Autoren: Quera-Bofarull, Arnau and Dyer, Joel and Calinescu, Anisoara and Farmer, J Doyne and Wooldridge, Michael
Veröffentlicht in: Journal of Open Source Software, Ausgabe Volume 8, Number 89, 2023, Seite(n) 5776, ISSN 2475-9066
Herausgeber: Journal of Open Source Software
DOI: 10.21105/joss.05776

MDP Playground: An Analysis and Debug Testbed for Reinforcement Learning

Autoren: Raghu Rajan, Jessica Lizeth Borja Diaz, Suresh Guttikonda, Fabio Ferreira, André Biedenkapp, Jan Ole von Hartz, Frank Hutter
Veröffentlicht in: Jorunal Artificial Intelligence Research, Ausgabe Vol. 77, 2023, Seite(n) 821--890, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.14314

T-norms driven loss functions for machine learning

Autoren: Francesco Giannini, Michelangelo Diligenti, Marco Maggini, Marco Gori, Giuseppe Marra
Veröffentlicht in: Applied Intelligence, Ausgabe 53, 2023, Seite(n) 18775-18789, ISSN 0924-669X
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10489-022-04383-6

From statistical relational to neurosymbolic artificial intelligence: A survey

Autoren: Giuseppe Marra, Sebastijan Dumančić, Robin Manhaeve, Luc De Raedt
Veröffentlicht in: Artificial Intelligence, Ausgabe 328, 2024, Seite(n) 104062, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2023.104062

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

Autoren: Ciucanu, R. and Delabrouille, A. and Lafourcade, P. and Soare, M
Veröffentlicht in: IEEE Transactions on Dependable and Secure Computing, 2022, ISSN 1545-5971
Herausgeber: IEEE Computer Society

Synthesizing explainable counterfactual policies for algorithmic recourse with program synthesis

Autoren: Giovanni De Toni; Bruno Lepri; Andrea Passerini
Veröffentlicht in: MACHINE LEARNING, Ausgabe 20, 2023, ISSN 1573-0565
Herausgeber: Springer
DOI: 10.1007/s10994-022-06293-7

Supportive consensus

Autoren: Alberto Palomares; Miguel Rebollo; Carlos Carrascosa
Veröffentlicht in: PLoS ONE, Ausgabe 31, 2020, ISSN 1932-6203
Herausgeber: Public Library of Science
DOI: 10.1371/journal.pone.0243215

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

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

Ultimate Grounding of Abstract Concepts: A Graded Account

Autoren: T. Reinboth, I. Farkaš
Veröffentlicht in: Journal of Cognition, 2022, ISSN 2514-4820
Herausgeber: Ubiquity Press
DOI: 10.5334/joc.214

Generating networks of genetic processors

Autoren: Marcelino Campos; José M. Sempere
Veröffentlicht in: Generating networks of genetic processors, Ausgabe 30, 2021, ISSN 1573-7632
Herausgeber: Springer Nature
DOI: 10.1007/s10710-021-09423-7

Exploring Customer Price Preference and Product Profit Role in Recommender Systems

Autoren: M. Kompan, P. Gaspar, J. Macina, M. Cimerman, M. Bielikova
Veröffentlicht in: IEEE Intelligent Systems, 2021, ISSN 1541-1672
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/mis.2021.3092768

Semiautomatic generation and assessment of Java exercises in engineering education

Autoren: David Insa; Sergio Pérez; Josep Silva; Salvador Tamarit
Veröffentlicht in: Computer Applications in Engineering Education, Ausgabe 24, 2020, ISSN 1099-0542
Herausgeber: Wiley Online Library
DOI: 10.1002/cae.22356

Understanding, Explanation, and Active Inference

Autoren: Parr, Thomas and Pezzulo, Giovanni
Veröffentlicht in: Frontiers in Systems Neuroscience, 2021, ISSN 1662-5137
Herausgeber: Frontiers Research Foundation

Expert enhanced dynamic time warping based anomaly detection

Autoren: Kloska M., Grmanova G., Rozinajova V.
Veröffentlicht in: Expert Systems with Applications, 2023, ISSN 0957-4174
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.eswa.2023.120030

Towards Visual Semantics

Autoren: Fausto Giunchiglia; Luca Erculiani; Andrea Passerini
Veröffentlicht in: SN COMPUTER SCIENCE, Ausgabe 69, 2021, ISSN 2661-8907
Herausgeber: 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

Autoren: Zakaria Abdelmoiz Dahi, Enrique Alba, Gabriel Luque
Veröffentlicht in: Applied Soft Computing, 2022, Seite(n) 107992, ISSN 1568-4946
Herausgeber: Elsevier BV
DOI: 10.1016/j.asoc.2021.107992

A Study of Fake News Reading and Annotating in Social Media Context

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

On the explanatory power of Boolean decision trees

Autoren: Gilles Audemard, Steve Bellart, Louenas Bounia, Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis
Veröffentlicht in: Data & Knowledge Engineering, Ausgabe 142, 2022, Seite(n) 102088, ISSN 1872-6933
Herausgeber: Science Direct
DOI: 10.1016/j.datak.2022.102088

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

Autoren: M.Blšták, V. Rozinajová
Veröffentlicht in: Natural Language Engineering - journal, 2021, ISSN 1351-3249
Herausgeber: Cambridge University Press
DOI: 10.1017/s1351324921000139

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

Autoren: José M. Sempere
Veröffentlicht in: Ausgabe 8, Ausgabe 9, 2021, ISSN 2227-7390
Herausgeber: MDPI Academic Open Access Publishing
DOI: 10.3390/math9080813

Error curves for evaluating the quality of feature rankings.

Autoren: Ivica Slavkov; Matej Petković; Pierre Geurts; Dragi Kocev; Sašo Džeroski
Veröffentlicht in: PeerJ computer science, Ausgabe 12, 2020, Seite(n) e310-1-e310-39, ISSN 2376-5992
Herausgeber: PeerJ, Inc.
DOI: 10.7717/peerj-cs.310

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

Autoren: Silvan Sievers; Malte Helmert
Veröffentlicht in: Journal of Artificial Intelligence Research, Ausgabe 71, 2021, Seite(n) 781-883, ISSN 1076-9757
Herausgeber: Morgan Kaufmann Publishers, Inc.
DOI: 10.1613/jair.1.12557

Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study

Autoren: Noam Hazon, Sefi Erlich, Ariel Rosenfeld, Sarit Kraus
Veröffentlicht in: Artificial Intelligence, Ausgabe 327, 2024, Seite(n) 104050, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2023.104050

Ensemble- and distance-based feature ranking for unsupervised learning

Autoren: Matej Petković; Dragi Kocev; Blaž Škrlj; Sašo Džeroski
Veröffentlicht in: International Journal of Intelligent Systems, Ausgabe vol. 36, no. 7, 2021, Seite(n) 3068-3086, ISSN 0884-8173
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/int.22390

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

Autoren: André Biedenkapp, H. Furkan Bozkurt, Theresa Eimer, Frank Hutter, Marius Lindauer
Veröffentlicht in: ECAI: Frontiers in Artificial Intelligence and Applications, Ausgabe 325, 2020, Seite(n) 427 - 434, ISSN 0922-6389
Herausgeber: IOS Press
DOI: 10.3233/faia200122

Learning from experience for rapid generation of local car maneuvers

Autoren: Kicki, Piotr and Gawron, Tomasz and Cwian, Krzysztof and Ozay, Mete and Skrzypczyński, Piotr
Veröffentlicht in: Engineering Applications of Artificial Intelligence, Ausgabe 105, 2021, ISSN 0952-1976
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.engappai.2021.104399

How market ecology explains market malfunction

Autoren: Scholl, Maarten P and Calinescu, Anisoara and Farmer, J Doyne
Veröffentlicht in: Proceedings of the National Academy of Sciences, Ausgabe Volume 118, Number 26, 2021, Seite(n) e2015574118, ISSN 0027-8424
Herausgeber: National Academy of Sciences
DOI: 10.1073/pnas.2015574118

Matrix Profile-Based Interpretable Time Series Classifier

Autoren: Riccardo Guidotti, Matteo D’Onofrio
Veröffentlicht in: Frontiers in Artificial Intelligence, Ausgabe 4, 2021, ISSN 2624-8212
Herausgeber: Frontiers Media SA
DOI: 10.3389/frai.2021.699448

Explanatory machine learning for sequential human teaching

Autoren: Lun Ai, Johannes Langer, Stephen H. Muggleton, Ute Schmid
Veröffentlicht in: Machine Learning, 2023, ISSN 0885-6125
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10994-023-06351-8

Value engineering for autonomous agents

Autoren: null null, Nieves Montes Gómez
Veröffentlicht in: 2024
Herausgeber: Universitat Politècnica de Catalunya
DOI: 10.5821/dissertation-2117-410409

Explainable AI techniques in Trustworthy Object detection

Autoren: Raili Virtanen
Veröffentlicht in: 2023
Herausgeber: Aalto university, Espoo, Finland

Ensemble of Counterfactual Explainers

Autoren: Riccardo Guidotti; Salvatore Ruggieri
Veröffentlicht in: DS, Ausgabe 51, 2021, ISBN 978-3-030-88941-8
Herausgeber: SPRINGER
DOI: 10.1007/978-3-030-88942-5_28

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

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

Customer churn analytics using monotonic rules

Autoren: Marcin Szeląg and Roman Słowiński
Veröffentlicht in: Progress in Polish Artificial Intelligence Research 4, Ausgabe 2023, 2023, Seite(n) 287-292, ISBN 978-83-66741-92-8
Herausgeber: Wydawnictwo Politechniki Łódzkiej

Towards Symbolic Time Series Representation Improved by Kernel Density Estimators.

Autoren: M. Kloska, V. Rozinajova
Veröffentlicht 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
Herausgeber: Springer
DOI: 10.1007/978-3-662-64553-6_2

Consensus for Collaborative Creation of Risk Maps for COVID-19

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

Dominance-based Rough Set Approach, basic ideas and main trends

Autoren: Błaszczyński, Jerzy and Greco, Salvatore and Matarazzo, Benedetto and Szeląg, Marcin
Veröffentlicht 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
Herausgeber: Springer
DOI: 10.1007/978-3-030-96318-7_18

Principles of Explainable Artificial Intelligence

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

Optimal Teaching Curricula with Compositional Simplicity Priors

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

Value-Alignment Equilibrium in Multiagent Systems

Autoren: Nieves Montes; Carles Sierra
Veröffentlicht in: isbn: 978-3-030-73958-4, Ausgabe 73, 2020
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-73959-1_17

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor