LPNMR'09: Invited Speakers

LPNMR
Armin Biere (Johannes Kepler University, Austria)
"SAT, SMT and Applications" [Abstract (PDF)] [Slides (PDF)]
Alexander Bockmayr (Freie Universität Berlin, Germany)
"Logic-Based Modeling in Systems Biology" [Abstract (PDF)] [Slides (PDF)]
Ilkka Niemelä (Helsinki University of Technology, Finland)
"Integrating Answer Set Programming and Satisfiability Modulo Theories" [Abstract (PDF)] [Slides (PDF)]
WLP
Tom Schrijvers (KU Leuven, Belgium)
"Monadic Constraint Programming"
Neng-Fa Zhou (City University of New York, USA)
"What I have learned from all these solver competitions"
Log-IC
Gerhard Brewka (Universität Leipzig, Germany)
"Nonmonotonic Multi-Context Systems: State of the Art and Future Challenges"
Grigoris Antoniou (University of Crete, Greece)
"Reasoning about Context in Ambient Intelligence Environments"
SEA
Son Cao Tran (New Mexico State University, USA)
"On Building a Competitive Comformant Planner"

Previous page: LPNMR'09: Workshops
Next page: ASP Competition