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