Accepted Papers
Links to the accepted papers below will be available after the deadline of the final versions.
Regular Track
- Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases
Christian Komo and Christoph Beierle - Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting
Jingchao Chen - Lower Bounds for Adversarially Robust PAC Learning
Dimitrios I. Diochnos, Saeed Mahloujifar and Mohammad Mahmoody - Empirical Bounds on Linear Regions of Deep Rectifier Networks
Thiago Serra and Srikumar Ramalingam - Privacy for the Distributed Stochastic Algorithm with Breakouts
Julien Vion, Rene Mandiau, Sylvain Piechowiak and Marius Silaghi - Topological Measurement of Deep Neural Networks Using Persistent Homology
Satoru Watanabe and Hayato Yamana - The Complexity of Controlling Condorcet, Fallback, and k-Veto Elections by Replacing Candidates or Voters
Marc Neveling, Jörg Rothe and Roman Zorn - Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products
Daya Gaur and Muhammad Khan - Altruism in Coalition Formation Games
Anna Maria Kerkmann and Jörg Rothe - VC-dimensions of nondeterministic finite automata for words of equal length
Bjørn Kjos-Hanssen, Clyde James Felix, Sun Young Kim, Ethan Lamb and Davin Takahashi - Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective
K. Subramani and Piotr Wojciechowski - Making Recommendations when Users Experience FatigueTheja Tulabandhula and Yunjuan Wang
- Hybrid Quantum-Classical Algorithms for Solving the Weighted CSP
Hong Xu, Kexuan Sun, Sven Koenig, Itay Hen and T. K. Satish Kumar - Partially Preordered Inconsistent Lightweight Ontologies in Possibility Theory
Sihem Belabbes and Salem Benferhat - Interpretability of Bayesian Network Classifiers: OBDD Approximation and Polynomial Threshold Functions
Karine Chubarian and György Turán
Special Session on Applications of AI/Robotics to Agriculture
- Detecting and monitoring the progress of powdery mildew disease in squash using hyperspectral imaging and artificial neural networks
Jaafar Abdulridha, Yiannis Ampatzidis, Pamela Roberts and Sri Charan Kakarla - Development of A Multi-Angle Imaging System for Automatic Straw- berry Flower Counting
Hao Gan, Won Suk Lee, Natalia Peres and Clyde Fraisse - Horse foraging behavior detection using Recurrent Neural Networks
Leon Nunes, Yiannis Ampatzidis, Lucas Costa and Marcelo Wallau - Smart Sprayer for Precision Weed Control Using Artificial Intelligence: Comparison of Deep Learning Frameworks
Victor Partel, Jinho Kim, Lucas Costa, Panos Pardalos and Yiannis Ampatzidis - Using Genetic Algorithms and Gene Expression Programming to Estimate Evapotranspiration with Limited Meteorological Data
Mohammad Valipour, Sandra M. Guzmán, Mohammad Ali Gholami Sefidkouhi and Mahmoud Raeini–Sarjaz
Special Session on Boolean and pseudo-Boolean Functions
- Approximating minimum representations of key Horn functions
Kristof Bérczi, Endre Boros, Ondřej Čepek, Petr Kučera and Kazuhisa Makino - On the conditional expectation given Boolean functions of events in the n-space
Jinwook Lee and Andras Prekopa - On the size of CNF formulas with high propagation strength
Petr Kučera and Petr Savicky - Compiling SL representations of Boolean functions into OBDDs
Miloš Chromý and Ondřej Čepek - Another Way to Browse the Search Space For Some Transformations from CSP to SAT
Richard Ostrowski, Lionel Paris and Adrien Varet - Bounds for the Probability of the Union of Events
Joonhee Lee and Endre Boros