Program
A pdf version of the program is available here.
Monday, January 6, 2020
Registration (8:00 — 8:45)
Opening Remarks, Greetings (8.45 — 9:00)
Keynote Speaker (9:00 — 10:00)
Chair: Frederick Hoffman
| Time | Description |
|---|---|
| 9:00 | Challenges and New Directions in Planning for Long-Term Autonomy |
| Shlomo Zilberstein |
Coffee Break (10:00 — 10:30)
Morning Sessions (10:30 — 11:45)
Special Session on Boolean and pseudo-Boolean Functions 1
Chair: Endre Boros
| Time | Description |
|---|---|
| 10:30 | Approximating minimum representations of key Horn functions |
| Kristof Bérczi, Endre Boros, Ondřej Čepek, Petr Kučera and Kazuhisa Makino | |
| 10:55 | On the Size of CNF Formulas with High Propagation Strength |
| Petr Kučera and Petr Savicky | |
| 11:20 | Compiling SL representations of Boolean functions into OBDDs |
| Miloš Chromý and Ondřej Čepek |
Lunch (11:45 — 1:30)
On your own.
After Lunch Sessions (1:30 — 2.45)
Main Track Session 1 - Knowledge and Logic
Chair: Jörg Rothe
| Time | Description |
|---|---|
| 1:30 | Upper and lower bounds for finite domain constraints to realize skeptical inference over conditional knowledge bases |
| Christian Komo and Christoph Beierle | |
| 1:55 | Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting |
| Jingchao Chen | |
| 2:20 | Partially Preordered Inconsistent Lightweight Ontologies in Possibility Theory |
| Sihem Belabbes and Salem Benferhat |
Coffee Break (2:45 — 3:15)
Afternoon Sessions (3:15 — 5:20)
Special Session on Applications of AI/Robotics to Agriculture
Chair: Jaafar Abdulridha
| Time | Description |
|---|---|
| 3:15 | 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 | |
| 3:40 | Development of A Multi-Angle Imaging System for Automatic Strawberry Flower Counting |
| Hao Gan, Won Suk Lee, Natalia Peres and Clyde Fraisse | |
| 4:05 | Horse foraging behavior detection using Recurrent Neural Networks |
| Leon Nunes, Yiannis Ampatzidis, Lucas Costa and Marcelo Wallau | |
| 4:30 | 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 | |
| 4:55 | 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 |
Evening
Water Taxi Cruise in Ft. Lauderdale.
We will gather in the lobby at 6:30pm, and leave promptly at 6:40pm to walk to a 7:00pm pickup by the Watertaxi.
Tuesday, January 7, 2020
Keynote Speaker (9:00 — 10:00)
Chair: Martin Golumbic
| Time | Description |
|---|---|
| 9:00 | Sequential Ordering of Binary Tests in Stochastic Environments |
| Lisa Hellerstein |
Coffee Break (10:00 — 10:30)
Morning Session (10:30 — 11:45)
Special Session on Boolean and pseudo-Boolean Functions 2
Chair: Endre Boros
| Time | Description |
|---|---|
| 10:30 | Another Way to Browse the Search Space For Some Transformations from CSP to SAT |
| Richard Ostrowski, Lionel Paris and Adrien Varet | |
| 10:55 | Bounds for the Probability of the Union of Events |
| Joonhee Lee and Endre Boros | |
| 11:20 | On the conditional expectation given Boolean functions of events in the n-space |
| Jinwook Lee and Andras Prekopa |
Lunch (11:45 — 1:45)
On your own.
After Lunch Sessions (1:45 — 3.00)
Main Track Session 2 - Combinatorial Problems
Chair: Lisa Hellerstein
| Time | Description |
|---|---|
| 1:45 | Testing Unsatisfiability of Constraint Satisfaction Problems via Tensor Products |
| Daya Gaur and Muhammad Khan | |
| 2:10 | 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 | |
| 2:35 | Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective |
| K. Subramani and Piotr Wojciechowski |
Coffee Break (3:00 — 3:30)
Afternoon Sessions (3:30 — 4:45)
Main Track Session 3 - Learning and Games
Chair: Lev Reyzin
| Time | Description |
|---|---|
| 3:30 | Altruism in Coalition Formation Games |
| Anna Maria Kerkmann and Jörg Rothe | |
| 3:55 | The Complexity of Controlling Condorcet, Fallback, and k-Veto Elections by Replacing Candidates or Voters |
| Marc Neveling, Jörg Rothe and Roman Zorn | |
| 4:20 | Lower Bounds for Adversarially Robust PAC Learning |
| Dimitrios I. Diochnos, Saeed Mahloujifar and Mohammad Mahmoody |
Evening
Banquet in the hotel.
The cash bar will open at 6:30pm, with dinner seating at 7:15.
Keynote Speaker (talk integrated with the banquet)
Chair: Dimitrios Diochnos
| Time | Description |
|---|---|
| TBD | Compressed Inference: Machine Learning on Random Projections |
| William Hahn |
Wednesday, January 8, 2020
Keynote Speaker (9:00 — 10:00)
Chair: Lev Reyzin
| Time | Description |
|---|---|
| 9:00 | The Ethical Algorithm |
| Aaron Roth |
Coffee Break (10:00 — 10:30)
Morning Sessions (10:30 — 11:45)
Main Track Session 4 - Network Classifiers
Chair: Dimitrios Diochnos
| Time | Description |
|---|---|
| 10:30 | Empirical Bounds on Linear Regions of Deep Rectifier Networks |
| Thiago Serra and Srikumar Ramalingam | |
| 10:55 | Topological Measurement of Deep Neural Networks Using Persistent Homology |
| Satoru Watanabe and Hayato Yamana | |
| 11:20 | Interpretability of Bayesian Network Classifiers: OBDD Approximation and Polynomial Threshold Functions |
| Karine Chubarian and György Turán |
Lunch (11:45 — 1:30)
On your own.
After Lunch Session (1:30 — 2.45)
Main Track Session 5 - Other Models
Chair: Salem Benferhat
| Time | Description |
|---|---|
| 1:30 | Making Recommendations when Users Experience Fatigue |
| Theja Tulabandhula and Yunjuan Wang | |
| 1:55 | Hybrid Quantum-Classical Algorithms for Solving the Weighted CSP |
| Hong Xu, Kexuan Sun, Sven Koenig, Itay Hen and T. K. Satish Kumar | |
| 2:20 | Privacy for the Distributed Stochastic Algorithm with Breakouts |
| Julien Vion, Rene Mandiau, Sylvain Piechowiak and Marius Silaghi |