JELIA 2006 Programme [Final]
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

About this document ...

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


M.Fisher@csc.liv.ac.uk