| PROGRAMME [final] |
| 10th European Conference on LOGICS IN ARTIFICIAL INTELLIGENCE (JELIA-06) |
| University of Liverpool, United Kingdom, 13-15 September, 2006 |
| Wednesday 13th September | ||
| 08:00 | REGISTRATION; REFRESHMENTS AVAILABLE | |
| FIRST FLOOR LECTURE THEATRE | GROUND FLOOR SEMINAR ROOM | |
| 08:45 | OPENING: Wiebe van der Hoek; Michael Fisher | |
| 09:00 | INVITED TALK: Answer Set Programming: A Declarative Approach to Solving Search Problems -- Ilkka Niemelä | |
| 10:00 | Ambiguity Propagating Defeasible Logic and the Well-Founded Semantics | Deciding Extensions of the Theory of Arrays .... |
| -- Frederick Maier, Donald Nute | -- Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli | |
| 10:30 | Representing Causal Information about a Probabilistic Process | Automatic Deductive Synthesis of Lisp Programs in the System ALISA |
| -- Joost Vennekens, Marc Denecker, Maurice Bruynooghe | -- Yulia Korukhova | |
| 11:00 | BREAK | |
| 11:30 | Whatever You Say | On the Issue of Reinstatement in Argumentation |
| -- Luke Hunsberger | -- Martin Caminada | |
| 12:00 | Incomplete Knowledge in Hybrid Probabilistic Logic Programs | Hierarchical Argumentation |
| -- Emad Saad | -- Sanjay Modgil | |
| 12:30 | Fuzzy Answer Set Programming | A Fault-tolerant Default Logic [No presentation] |
| -- Davy Van Nieuwenborgh, Martine De Cock, Dirk Vermeir | -- Zhangang Lin, Yue Ma, Zuoquan Lin [Unable to attend] | |
| 13:00 | LUNCH | |
| 14:00 | Reasoning about Actions using Description Logics with general TBoxes | Reasoning about an Agent based on its Revision History .... |
| -- Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter | -- Alexander Nittka | |
| 14:30 | Knowledge Base Revision in Description Logics | A Formal Analysis of KGP Agents |
| -- Guilin Qi, Weiru Liu, David Bell | -- Fariba Sadri, Francesca Toni | |
| 15:00 | BREAK | |
| 15:30 | System Session 1: All talks in First Floor Lecture Theatre, then demonstrations in | |
| FIRST FLOOR LECTURE THEATRE | GROUND FLOOR SEMINAR ROOM | |
| OPTSAT: A Tool For Solving SAT Related Optimization Problems | A Tool To Facilitate Agent Deliberation | |
| -- Enrico Giunchiglia, Marco Maratea | -- Daniel Bryant, Paul Krause, Sotiris Moschoyiannis | |
| A Slicing Tool For Lazy Functional Logic Programs | A Logic-Based Tool For Semantic Information Extraction | |
| -- Claudio Ochoa, Josep Silva, German Vidal | -- Massimo Ruffolo, Marco Manna, Lorenzo Gallucci, Nicola Leone, Domenico Sacca | |
| ccT: A Correspondence-Checking Tool For Logic Programs ... | Automated Reasoning About Metric And Topology | |
| -- Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran | -- Ullrich Hustadt, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev | |
| 17:30 | Demonstrations finish | |
| 18:30 | RECEPTION [PIAZZA CAFE NEAR LIVERPOOL'S METROPOLITAN CATHEDRAL] | |
| Thursday 14th September | ||
| 08:30 | REFRESHMENTS AVAILABLE | |
| FIRST FLOOR LECTURE THEATRE | GROUND FLOOR SEMINAR ROOM | |
| 09:00 | INVITED TALK: Inconsistencies in Ontologies -- Andrei Voronkov | |
| 10:00 | Comparing Action Descriptions based on Semantic Preferences | On Herbrand's Theorem for Intuitionistic Logic |
| -- Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko | -- Alexander Lyaletski, Boris Konev | |
| 10:30 | Representing Action Domains with Numeric-Valued Fluents | On Arbitrary Selection Strategies for Basic Superposition |
| -- Esra Erdem, Alfredo Gabaldon | -- Vladimir Aleksic, Anatoli Degtyarev | |
| 11:00 | BREAK | |
| 11:30 | On the Semantics of Logic Programs with Preferences | Introducing attempt in a Modal Logic of Intentional Action |
| -- Sergio Greco, Irina Trubitsyna, Ester Zumpano | -- Emiliano Lorini, Andreas Herzig, Cristiano Castelfranchi | |
| 12:00 | An Event-Condition-Action Logic Programming Language | A STIT-extension of ATL |
| -- José Júlio Alferes, Federico Banti, Antonio Brogi | -- Jan Broersen, Andreas Herzig, Nicolas Troquard | |
| 12:30 | Decidable fragments of Logic Programming with Value Invention | Modal Logics of Negotiation and Preference |
| -- Francesco Calimeri, Susanna Cozza, Giovambattista Ianni | -- Ulle Endriss, Eric Pacuit | |
| 13:00 | LUNCH | |
| EXCURSIONS: LIVERPOOL `DUCK' TOUR; LIVERPOOL FC (ANFIELD TOUR) | ||
| 19:00 | SOCIAL DINNER AT LIVERPOOL TATE GALLERY | |
| Friday 15th September | ||
| 08:30 | REFRESHMENTS AVAILABLE | |
| FIRST FLOOR LECTURE THEATRE | GROUND FLOOR SEMINAR ROOM | |
| 09:00 | INVITED TALK: From Inductive Logic Programming to Relational Data Mining -- Sašo Dzeroski | |
| 10:00 | Irrelevant Updates and Nonmonotonic Assumptions | Distance-Based Repairs of Databases |
| -- Ján Šefránek | -- Ofer Arieli, Marc Denecker, Maurice Bruynooghe | |
| 10:30 | On the Logic and Computation of Partial Equilibrium Models | Model Representation over Finite and Infinite Signatures |
| -- Pedro Cabalar, Sergei Odintsov, David Pearce, Agustín Valverde | -- Christian Fermüller, Reinhard Pichler | |
| 11:00 | BREAK | |
| 11:30 | System Session 2: All talks in First Floor Lecture Theatre, then demonstrations in | |
| FIRST FLOOR LECTURE THEATRE | GROUND FLOOR SEMINAR ROOM | |
| The QBFEVAL Web Portal | An Implementation of a Lightweight Argumentation Engine ... | |
| -- Massimo Narizzano, Luca Pulina, Armando Tacchella | -- Daniel Bryant, Paul Krause, Sotiris Moschoyiannis | |
| An Implementation For Recognizing Rule Replacements ... | April - An Inductive Logic Programming System | |
| -- Stefan Woltran, Thomas Eiter, Patrick Traxler | -- Nuno Fonseca, Fernando Silva, Rui Camacho | |
| tarfa: Tableaux And Resolution For Finite Abduction | A Tool For Answering Queries On Action Descriptions | |
| -- Fernando Soler, Angel Nepomuceno | -- Thomas Eiter, Michael Fink, Jan Senko | |
| 13:30 | LUNCH | |
| 14:30 | A Modularity Approach for a Fragment of ALC | Anti-Prenexing and Prenexing for Modal Logics |
| -- Andreas Herzig, Ivan Varzinczak | -- Cláudia Nalon, Clare Dixon | |
| 15:00 | A Bottom-up Method for the Deterministic Horn Fragment .... | Analytic Tableau Calculi for KLM Rational Logic R |
| -- Linh Ahn Nguyen | -- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato | |
| 15:30 | Towards Top-k Query Answering in Description Logics: the case of DL-Lite | Natural Deduction Calculus for Linear-Time Temporal Logic |
| -- Umberto Straccia | -- Alexander Bolotov, Artie Basukoski, Oleg Grigoriev, Vasilyi Shangin | |
| 16:00 | CLOSING | |
This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.70)
Copyright © 1993, 1994, 1995, 1996,
Nikos Drakos,
Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999,
Ross Moore,
Mathematics Department, Macquarie University, Sydney.
The command line arguments were:
latex2html -no_navigation -split 1 -no_subdir -t jelia06programme.html -address M.Fisher@csc.liv.ac.uk programme
The translation was initiated by Michael Fisher on 2006-09-08