A Reasonably Gradual Type Theory

Authors: Nicolas Tabareau, Meven Lennon-Bertrand, Kenji Maillard et al.
Year: 2022Source: Proceedings of the ACM on Programming Languages-PACMPL

Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification

Authors: Gabriela Reyes, Leopoldo Bertossi
Year: 2022Source: Inductive Logic Programming (ILP 2021)

Avoiding Errors in Learned Heuristics in Bounded-Suboptimal Search

Authors: Matias Greco, Jorge Baier
Year: 2022Source: Proceedings of the International Symposium on Combinatorial Search

CORE: a Complex Event Recognition Engine

Authors: Stijn Vansummeren, Cristian Riveros, Andrés Quintana et al.
Year: 2022Source: VLDB 2022

DockerPedia: A Knowledge Graph of Software Images and Their Metadata

Authors: Daniel Garijo, Idafen Santana-Perez, Carlos Buil-Aranda et al.
Year: 2022Source: INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING

Extending Sticky-Datalog+/- via Finite-Position Selection Functions: Tractability, Algorithms, and Optimization

Authors: Mostafa Milani, Leopoldo Bertossi
Year: 2022Source: Information Systems

Focal Discrepancy Search for Learned Heuristics

Authors: Pablo Araneda, Matias Greco, Jorge Baier
Year: 2022Source: Proceedings of the International Symposium on Combinatorial Search

Gradual System F

Authors: Eric Tanter, Matias Toro, Elizabeth Labrada
Year: 2022Source: Journal of the ACM

Gradualizing the Calculus of Inductive Constructions

Authors: Nicolas Tabareau, Meven Lennon-Bertrand, Kenji Maillard et al.
Year: 2022Source: ACM Transactions on Programming Languages and Systems

K-Focal Search for Slow Learned Heuristics (Extended Abstract)

Authors: Carlos Hernández-Ulloa, Jorge Toro, Matias Greco et al.
Year: 2022Source: Proceedings of the International Symposium on Combinatorial Search

Knowledge Graphs: A Guided Tour

Authors: José Emilio Labra Gayo, Sabrina Kirrane, Gerard de Melo et al.
Year: 2022Source: International Research School in Artificial Intelligence in Bergen (AIB 2022)

[imfd_publications limit="50" columns="2" show_abstract="true"]