JELIA 2010
12th European Conference on Logics in Artificial Intelligence

September 13-15, 2010         Helsinki, Finland

JELIA 2010 Final Program

Sunday, 12th of September, 2010

19:00 - Informal Get-Together (details)

Monday, 13th of September, 2010

09:15 - 09:30 Welcome

09:30 - 10:30 Session 1: Causality

Chair: José Júlio Alferes

  • Vladimir Lifschitz and Fangkai Yang: Translating First-Order Causal Theories into Answer Set Programming
  • Joost Vennekens, Marc Denecker, and Maurice Bruynooghe: Embracing Events in Causal Modelling: Interventions and Counterfactuals in CP-Logic

10:30 - 11:00 Coffee Break

11:00 - 12:30 Session 2: Logic Programming

Chair: Pedro Cabalar

  • Angelos Charalambidis, Konstantinos Handjopoulos, Panos Rondogiannis, and William Wadge: Extensional Higher-Order Logic Programming
  • Flávio Cruz and Ricardo Rocha: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
  • Terrance Swift and David Warren: Tabling with Answer Subsumption: Implementation, Applications and Performance

12:30 - 14:00 Lunch Break

14:00 - 15:30 Session 3: System Descriptions and Demonstrations

Chair: Matti Järvisalo

  • Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner: The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
  • Markus Bögl, Thomas Eiter, Michael Fink, and Peter Schüller: The MCS-IE System for Explaining Inconsistency in Multi-Context Systems
  • Martin Gebser, Torsten Grote, and Torsten Schaub: Coala: A Compiler from Action Languages to ASP
  • Marco Maratea, Francesco Ricca, and Pierfrancesco Veltri: DLV^{MC}: Enhanced Model Checking in DLV
  • Michael Morak, Reinhard Pichler, Stefan Rümmele, and Stefan Woltran: A Dynamic-Programming Based ASP-Solver

15:30 - 17:00 Session 4: Answer Set Programming

Chair: Michael Fink

  • Pedro Cabalar: A Normal Form for Linear Temporal Equilibrium Logic
  • Yin Chen, Hai Wan, Yan Zhang, and Yi Zhou: dl2asp: Implementing Default Logic via Answer Set Programming
  • Ricardo Gonçalves and José Júlio Alferes: Parametrized Logic Programming

18:45 - 19:45 Session 5: Invited Talk (jointly with PGM 2010)

Chair: Ilkka Niemelä

  • Adnan Darwiche: Relax, Compensate and Recover: A Theory of Anytime, Approximate Inference [slides]

20:00 - 22:00 Reception (details)

Tuesday, 14th of September, 2010

09:00 - 10:00 Session 6: Invited Talk

Chair: Tomi Janhunen

  • Gerhard Brewka: Non-Monotonic Tools for Argumentation [slides]

10:00 - 10:30 Coffee Break

10:30 - 12:30 Session 7: Non-Monotonic Logic

Chair: Torsten Schaub

  • Mikolas Janota, Radu Grigore, and Joao Marques-Silva: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
  • Costas Koutras and Yorgos Zikos: Stable Belief Sets Revisited
  • David Pearce and Levan Uridia: Minimal Knowledge and Belief via Minimal Topology
  • ZhiQiang Zhuang and Maurice Pagnucco: Horn Contraction via Epistemic Entrenchment

12:30 - 14:00 Lunch Break

14:00 - 15:30 Session 8: Description Logics I

Chair: Terrance Swift

  • Giovanni Casini and Umberto Straccia: Rational Closure for Defeasible Description Logics
  • Szymon Klarman and Victor Gutierrez-Basulto: ALC_ALC: a Context Description Logic
  • Markus Krötzsch: Efficient Inferencing for OWL EL

15:30 - 16:00 Coffee Break

16:00 - 17:00 Session 9: Argumentation

Chair: Ofer Arieli

  • Nadia Creignou, Johannes Schmidt, Michael Thomas, and Stefan Woltran: Sets of Boolean Connectives That Make Argumentation Easier
  • Chiaki Sakama, Martin Caminada and Andreas Herzig: A Logical Account of Lying

18:00 - 22:30 Excursion and Banquet (details)

Wednesday, 15th of September, 2010

09:00 - 10:00 Session 10: Invited Talk

Chair: Ilkka Niemelä

  • Stéphane Demri: Counter Systems for Data Logics [slides]

10:00 - 10:30 Coffee Break

10:30 - 11:30 Session 11: Model Search

Chair: Tommi Junttila

  • Martin Gebser, Orkunt Sabuncu, and Torsten Schaub: An Incremental Answer Set Programming Based System for Finite Model Computation
  • Hanne Vlaeminck, Johan Wittocx, Joost Vennekens, Marc Denecker, and Maurice Bruynooghe: An Approximate Method for Solving \exists\forall SO Problems

11:30 - 12:30 Session 12: Multi-Context Systems

Chair: Chiaki Sakama

  • Seif El-Din Bairakdar, Minh Dao-Tran, Thomas Eiter, Michael Fink, and Thomas Krennwallner: Decomposition of Distributed Nonmonotonic Multi-Context Systems
  • Thomas Eiter, Michael Fink, and Antonius Weinzierl: Preference-Based Inconsistency Assessment in Multi-Context Systems

12:30 - 14:00 Lunch Break

14:00 - 15:00 Session 13: Paraconsistency and Uncertainty

Chair: Stefan Woltran

  • Ofer Arieli and Anna Zamansky: Similarity-Based Inconsistency-Tolerant Logics
  • Salem Benferhat, Sylvain Lagrue, and Safa Yahi: Bridging Possibilistic Conditional Knowledge Bases and Partially Ordered Bases (force majeure)
  • Theofrastos Mantadelis, Ricardo Rocha, Angelika Kimmig, and Gerda Janssens: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context

15:00 - 15:30 Coffee Break

15:30 - 16:30 Session 14: Description Logics II

Chair: Emilia Oikarinen

  • Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, and Guido Fiorino: A Decidable Constructive Description Logic
  • Michael Fink and David Pearce: A Logical Semantics for Description Logic Programs

16:30 - 16:45 Closing