conftrace_
← Optimization & Theory
Machine Learning › Optimization & Theory ›

Theory

4,955 papers

Papers per year

1
4
37
72
447
426
'00
'05
'10
'15
'20
'25

Papers

Uncorrelation and Evenness: a New Diversity-Promoting Regularizer ICML 2017
Stochastic Convex Optimization: Faster Local Growth Implies Faster Global Convergence ICML 2017
Theoretical Properties for Neural Networks with Weight Matrices of Low Displacement Rank ICML 2017
Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value IJCAI 2017
The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality IJCAI 2017
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs IJCAI 2017
Verifying Fault-tolerance in Parameterised Multi-Agent Systems IJCAI 2017
Recognizing Top-Monotonic Preference Profiles in Polynomial Time IJCAI 2017
Probability Bounds for Overlapping Coalition Formation IJCAI 2017
Score Aggregation via Spectral Method IJCAI 2017
The Mixing of Markov Chains on Linear Extensions in Practice IJCAI 2017
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs IJCAI 2017
On the Kernelization of Global Constraints IJCAI 2017
On the Computational Complexity of Gossip Protocols IJCAI 2017
A Study of Unrestricted Abstract Argumentation Frameworks IJCAI 2017
Dynamic Logic for Data-aware Systems: Decidability Results IJCAI 2017
Reformulating Queries: Theory and Practice IJCAI 2017
The Impact of Treewidth on ASP Grounding and Solving IJCAI 2017
Safe Inductions: An Algebraic Study IJCAI 2017
Restricted Chase (Non)Termination for Existential Rules with Disjunctions IJCAI 2017
Revisiting Unrestricted Rebut and Preferences in Structured Argumentation. IJCAI 2017
Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017
Foundations of Declarative Data Analysis Using Limit Datalog Programs IJCAI 2017
Contract Design for Energy Demand Response IJCAI 2017
The Bag Semantics of Ontology-Based Data Access IJCAI 2017