English
Related papers

Related papers: On the Parameterized Complexity of Learning First-…

200 papers

The fundamental caching problem in networks asks to find an allocation of contents to a network of caches with the aim of maximizing the cache hit rate. Despite the problem's importance to a variety of research areas -- including not only…

Networking and Internet Architecture · Computer Science 2024-12-24 Robert Ganian , Fionn Mc Inerney , Dimitra Tsigkari

In this article, we study the complexity of weighted team definability for logics with team semantics. This problem is a natural analogue of one of the most studied problems in parameterized complexity, the notion of weighted…

Logic in Computer Science · Computer Science 2023-02-02 Juha Kontinen , Yasir Mahmood , Arne Meier , Heribert Vollmer

Strategic classification studies learning settings in which individuals can modify their features, at a cost, in order to influence the classifier's decision. A central question is how the sample complexity of the induced (strategic)…

Machine Learning · Computer Science 2026-05-15 Yuval Filmus , Shay Moran , Elizaveta Nesterova , Nir Rosenfeld , Alexander Shlimovich

This paper studies the growing domain of Robotic Process Automation (RPA) problems. Motivated by scheduling problems arising in RPA, we study the parameterized complexity of the single-machine problem $1|\text{prec},r_j,d_j|*$. We focus on…

Data Structures and Algorithms · Computer Science 2026-01-21 Michal Dvořák , Antonín Novák , Přemysl Šůcha , Dušan Knop , Claire Hanen

We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized…

Computational Complexity · Computer Science 2018-07-18 Ralph Christian Bottesch

We study the problem of learning probabilistic first-order logical rules for knowledge base reasoning. This learning problem is difficult because it requires learning the parameters in a continuous space as well as the structure in a…

Artificial Intelligence · Computer Science 2017-11-28 Fan Yang , Zhilin Yang , William W. Cohen

In this paper we propose a general framework to integrate supervised and unsupervised examples with background knowledge expressed by a collection of first-order logic clauses into kernel machines. In particular, we consider a multi-task…

Machine Learning · Computer Science 2024-02-06 Michelangelo Diligenti , Marco Gori , Marco Maggini , Leonardo Rigutini

A supervised learning algorithm has access to a distribution of labeled examples, and needs to return a function (hypothesis) that correctly labels the examples. The hypothesis of the learner is taken from some fixed class of functions…

Machine Learning · Computer Science 2020-08-25 Eran Malach , Shai Shalev-Shwartz

We describe a slightly sub-exponential time algorithm for learning parity functions in the presence of random classification noise. This results in a polynomial-time algorithm for the case of parity functions that depend on only the first…

Machine Learning · Computer Science 2007-05-23 Avrim Blum , Adam Kalai , Hal Wasserman

Curriculum learning (CL), motivated by the intuition that learning in increasing order of difficulty should ease generalization, is commonly adopted both in pre-training and post-training of large language models (LLMs). The intuition of CL…

Computation and Language · Computer Science 2026-03-31 Maximilian Mordig , Andreas Opedal , Weiyang Liu , Bernhard Schölkopf

This paper considers the task of learning users' preferences on a combinatorial set of alternatives, as generally used by online configurators, for example. In many settings, only a set of selected alternatives during past interactions is…

Artificial Intelligence · Computer Science 2022-09-26 Hélène Fargier , Pierre-François Gimenez , Jérôme Mengin , Bao Ngoc Le Nguyen

Learning of user preferences, as represented by, for example, Conditional Preference Networks (CP-nets), has become a core issue in AI research. Recent studies investigate learning of CP-nets from randomly chosen examples or from membership…

Artificial Intelligence · Computer Science 2019-02-06 Eisa Alanazi , Malek Mouhoub , Sandra Zilles

Asking which sets are fixed-parameter tractable for a given parameterization constitutes much of the current research in parameterized complexity theory. This approach faces some of the core difficulties in complexity theory. By focussing…

Logic in Computer Science · Computer Science 2018-01-17 Jouke Witteveen , Leen Torenvliet

By Fagin's Theorem, NP contains precisely those problems that can be described by formulas starting with an existential second-order quantifier, followed by only first-order quantifiers (ESO formulas). Subsequent research refined this…

Logic in Computer Science · Computer Science 2023-10-03 Max Bannach , Florian Chudigiewitsch , Till Tantau

This paper studies the unification problem with associative, commutative, and associative-commutative functions mainly from a viewpoint of the parameterized complexity on the number of variables. It is shown that both associative and…

Symbolic Computation · Computer Science 2013-10-04 Tatsuya Akutsu , Takeyuki Tamura , Atsuhiro Takasu

We study the problem of learning robust classifiers where the classifier will receive a perturbed input. Unlike robust PAC learning studied in prior work, here the clean data and its label are also adversarially chosen. We formulate this…

Machine Learning · Computer Science 2026-03-02 Sajad Ashkezari

We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over a fixed, finite structure B. This may be seen as a natural generalisation of the non-uniform quantified constraint satisfaction problem…

Logic in Computer Science · Computer Science 2010-03-04 Florent Madelaine , Barnaby Martin

We will find a lower bound on the recognition complexity of the theories that are nontrivial relative to some equivalence relation (this relation may be equality), namely, each of these theories is consistent with the formula, whose sense…

Logic · Mathematics 2023-10-16 Ivan V. Latkin

The key to reconciling the polynomial-time intractability of many machine learning tasks in the worst case with the surprising solvability of these tasks by heuristic algorithms in practice seems to be exploiting restrictions on real-world…

Machine Learning · Computer Science 2022-05-11 Todd Wareham

Learned index structures aim to accelerate queries by training machine learning models to approximate the rank function associated with a database attribute. While effective in practice, their theoretical limitations are not fully…

Data Structures and Algorithms · Computer Science 2026-01-13 Luis Alberto Croquevielle , Roman Sokolovskii , Thomas Heinis