(r27) Program < Isaim2012

Isaim2012 Web>News>SpecialSessions>Program (revision 27) (raw view)~~EditAttach~~
<!--
   * Set PAGETITLE = ISAIM 2012 - Program
-->
---+ Program

---++ Monday, January 9, 2012

---+++ Opening Remarks, Greetings (9:00&ndash;9:25)

---+++ Keynote Speaker (9:25&ndash;10:25)
|  *Time*  |  *Description*  |
|  9:25  | Approximation-stability, proxy objectives, and implicit assumptions in mathematical formulations of AI problems |
| ^ | Avrim Blum |

---+++ Coffee Break (10:30&ndash;10:45)

---+++ 10:50&ndash;12:20

---++++ Technical Session 1
|  *Time*  |  *Description*  |
|  10:50  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Mansour_etal.pdf">Robust Domain Adaptation</a> |
| ^ | Yishay Mansour, Mariano Schain |
|  11:20  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Simon.pdf">PAC-Learning in the Presence of One-sided Classification Noise</a> |
| ^ | Hans Simon |
|  11:50  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Ben-David_etal.pdf">Domain Adaptation--Can Quantity compensate for Quality?</a> |
| ^ | Shai Ben-David, Shai Shalev-Shwartz, Ruth Urner |

---++++ Special Session on Boolean Functions: Special Classes
|  *Time*  |  *Description*  |
|  10:50  | On Dillon's class H of Niho bent functions and o-polynomials |
| ^ | Claude Carlet, Sihem Mesnager |
|  11:20  | On quadratizations of pseudo-Boolean functions |
| ^ | Endre Boros, Aritanan Gruber |
|  11:50  | Implementations of two Algorithms for the Threshold Synthesis Problem |
| ^ | Jan-Georg Smaus, Christian Schilling, Fabian Wenzelmann |

---+++ Lunch (12:25&ndash;1:55)
 On your own.

---+++ 2:00&ndash;3:30

---++++ Technical Session 2
|  *Time*  |  *Description*  |
|  2:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Tulabandhula_etal.pdf">The Influence of Operational Cost on Estimation</a> |
| ^ | Cynthia Rudin, Theja Tulabandhula |
|  2:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Sonu_etal.pdf">Generalized and Bounded Policy Iteration for Interactive POMDPs</a> |
| ^ | Ekhlas Sonu, Prashant Doshi |
|  3:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Khaled_etal.pdf">Solving Limited Memory Influence Diagrams Using Branch-and-Bound Search</a> |
| ^ | Arindam Khaled, Changhe Yuan, Eric Hansen |

---++++ Special Session on Boolean Functions: Boolean Structures
|  *Time*  |  *Description*  |
|  2:00  | On hierarchies over the SLUR class |
| ^ | Vaclav Vlcek, T. Balyo, S.Gursky |
|  2:30  | Boolean functions with long prime implicants |
| ^ | P. Kucera, Ondrej Cepek, S. Kurik |
|  3:00  | Bi-tone and k-tone decompositions of Boolean functions |
| ^ | Utz-Uwe Haus, Elke Eisenschmidt |

---+++ Coffee Break (3:35&ndash;3:55)

---+++ 4:00&ndash;5:30

---++++ Special Session on Boolean Functions: Data Mining
 <!--
|  *Time*  |  *Title*  |  *Speaker*  |  *Co-authors*  |
|  4:00  | A new imputation method for incomplete binary data | Mine Subasi | E. Subasi, M. Anthony |
|  4:30  | Mining Logic Models in the Presence of Noisy Data | Giovanni Felici | Emanuel Weitschek |
|  5:00  | The performance of a new hybrid classifier based on boxes and nearest neighbors | Martin Anthony | Joel Ratsaby |
--> 
|  *Time*  |  *Description*  |
|  4:00  | A new imputation method for incomplete binary data |
| ^ | Mine Subasi, E. Subasi, M. Anthony |
|  4:30  | Mining Logic Models in the Presence of Noisy Data |
| ^ | Giovanni Felici, Emanuel Weitschek |
|  5:00  | The performance of a new hybrid classifier based on boxes and nearest neighbors |
| ^ | Martin Anthony, Joel Ratsaby |

---++ Tuesday, January 10, 2012

---+++ Keynote Speaker 9:00&ndash;10:00
|  *Time*  |  *Description*  |
|  9:00  | The Rise and Fall of Linear Temporal Logic |
| ^ | Moshe Vardi |

---+++ Coffee Break (10:05&ndash;10:25)

---+++ 10:30&ndash;12:00

---++++ Technical Session 3
|  *Time*  |  *Description*  |
|  10:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Nguyen_etal.pdf">Exact Optimization of Social Welfare by the Nash Product is DP-Complete</a> |
| ^ | Nhan-Tam Nguyen, Magnus Roos, Jörg Rothe |
|  11:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Qu_etal.pdf">Modeling Deep Strategic Reasoning by Humans in Competitive Games</a> |
| ^ | Xia Qu, Prashant Doshi, Adam Goodie |
|  11:30  | *Survey talk from the Special Session on Computational Social Choice:* %BR% <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ComSoc_Rothe_Schend.pdf">Typical-Case Challenges to Complexity Shields That Are Supposed to Protect Elections Against Manipulation and Control: A Survey</a> |
| ^ | Joerg Rothe, Lena Schend |

---++++ Special Session on Boolean Functions: Representations
 <!--
|  *Time*  |  *Title*  |  *Speaker*  |  *Co-authors*  |
|  10:30  | On the gap between ess(f) and cnf_size(f) | Lisa Hellerstein | Devorah Kletenik |
|  11:00  | On Horn minimization: dragon formulas and related problems | György Turán | R. Sloan, D. Stasi |
|  11:30  | Ordered direct implicational basis of a finite closure system | Kira Adaricheva | J.B. Nation, Robert Rand |
--> 
|  *Time*  |  *Description*  |
|  10:30  | On the gap between ess(f) and cnf_size(f) |
| ^ | Lisa Hellerstein, Devorah Kletenik |
|  11:00  | On Horn minimization: dragon formulas and related problems |
| ^ | György Turán, R. Sloan, D. Stasi |
|  11:30  | Ordered direct implicational basis of a finite closure system |
| ^ | Kira Adaricheva, J.B. Nation, Robert Rand |

---+++ Lunch (12:05&ndash;1:55)
 On your own.

---+++ 2:00&ndash;3:30

---++++ Technical Session 4
|  *Time*  |  *Description*  |
|  2:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Gavanelli_etal.pdf">Constraint and Optimization techniques for supporting Policy Making</a> |
| ^ | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
|  2:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Ramamoorthy_etal.pdf">Soft Nonlinearity Constraints and their Lower-Arity Decomposition</a> |
| ^ | Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, Makoto Yokoo |
|  3:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ElMouelhi_etal.pdf">On the Efficiency of Backtracking Algorithms for Constraint Satisfaction Problems</a> |
| ^ | Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, Bruno Zanuttini |

---++++ Special Session on Computational Social Choice 1
|  *Time*  |  *Description*  |
|  2:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ComSoc_Regenwetter_etal.pdf">Behavioural social choice: a status report</a> |
| ^ | Regenwetter, Grofman, Popova, Messner, Davis-Stober, Cavagnaro |
|  2:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ComSoc_Tideman_Plassmann.pdf">Developing the Empirical Side of Computational Social Choice</a> |
| ^ | T. Nicolaus Tideman, Florenz Plassmann |
|  3:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ComSoc_Aksoy_etal.pdf">A Cost-Minimizing Algorithm for School Choice</a> |
| ^ | Sinan Aksoy, Adam Azzam, Chaya Coppersmith, Julie Glass, Gizem Karaali, Xueying Zhao, Xinjing Zhu |

---+++ Coffee Break (3:35&ndash;3:55)

---+++ 4:00&ndash;5:30

---++++ Technical Session 5
|  *Time*  |  *Description*  |
|  4:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Boukhris_etal.pdf">From Acceptation Relations to Causality Ascription in a Belief Function Framework</a> |
| ^ | Imen Boukhris, Zied Elouedi, Salem Benferhat |
|  4:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Chan_etal.pdf">Identification of Causal Effects in Linear SEMs using the Instrumental Variable Function</a> |
| ^ | Hei Chan, Manabu Kuroki |

---++++ Special Session on Computational Social Choice 2
|  *Time*  |  *Description*  |
|  4:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ComSoc_Nguyen_etal.pdf">A Survey of Approximability and Inapproximability Results for Social Welfare Optimization in Multiagent Resource Allocation</a> |
| ^ | Jörg Rothe, Trung Thanh Nguyen, Magnus Roos |
|  4:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ComSoc_Conitzer_Xia.pdf">Approximating Common Voting Rules by Sequential Voting in Multi-Issue Domains</a> |
| ^ | Conitzer, Xia |
|  5:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_ComSoc_Mattei_etal.pdf">Bribery in Voting Over Combinatorial Domains Is Easy</a> |
| ^ | Mattei, Pini, Rossi, Venable |

---+++ Conference Banquet
 Exact time to be announced.

---++ Wednesday, January 11, 2012

---+++ Keynote Speaker (9:00&ndash;10:00)
|  *Time*  |  *Description*  |
|  9:00  | Truth and justice in allocation problems |
| ^ | Michal Feldman |

---+++ Coffee Break (10:05&ndash;10:25)

---+++ 10:30&ndash;12:30

---++++ Technical Session 6
|  *Time*  |  *Description*  |
|  10:30  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Eirinakis_etal.pdf">Computational complexity of inclusion queries over polyhedral sets</a> |
| ^ | Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski |
|  11:00  | <a target="_blank" href="http://www.cs.uic.edu/pub/Isaim2012/WebPreferences/ISAIM2012_Boros_etal.pdf">Hardness Results for Approximate Pure Horn CNF Formulae Minimization</a> |
| ^ | Endre Boros, Aritanan Gruber |

---++++ Special Session on Causal Learning
|  *Time*  |  *Description*  |
|  10:30  | "Easy" causal learning |
| ^ | David Danks |
|  10:40  | Causal discovery from experiments I |
| ^ | Frederick Eberhardt |
|  11:07  | Causal discovery from experiments II |
| ^ | Patrik Hoyer |
|  11:35  | Applications of causal inference |
| ^ | Choh Man Teng |
|  12:02  | How to discover what the brain is doing |
| ^ | Clark Glymour |

---+++ Adjourn (12:30)
Topic revision: r27 - 2011-12-22 - 11:44:26 - Main.ddioch2
Isaim2012
Main Pages
Organization
Committees
WISEST
Helping Women Faculty Advance
Funded by NSF