Program

Disclaimer: The author affiliations are partly buggy. We will fix this as soon as possible.

Sunday, September 16, 2001

13:30 - 15:15: Guided City Tour (separate registration)

We meet at 13:30 in front of the main building of the Vienna University of Technology.

Tour Topic: Vienna's Old Town: Highlights and Hidden Treasures

We stroll through the Hofburg, the famous main and winter residence of the Habsburgs, which has been constantly extended and modified for 700 years. With its 19 courtyards, 53 stairways, and 2600 rooms it is a small city on its own. We will hear stories and anecdotes about the Spanish court ceremonial, the fast eater Emperor Francis Joseph, Sisi's (his wife's) craze for beauty, and much more.

Subsequently, we will continue to the Stephansdom, the predominant landmark of Vienna. The tour will be finished off with glances into narrow, quaint alleys and picturesque 'Pawlatschen' courtyards.

The tour will end between 15:00 and 15:15 on Stephansplatz.

19:00: Welcome Reception

Informal come-together, location: Great Hall (Festsaal) of the Vienna University of Technology

Monday, September 17, 2001

8:50 - 9:00: Opening

9:00 - 10:00: Invited Talk

Jürgen Dix (University of Manchester)
Computational Logic and Multi-Agency

10:00 - 10:30: Coffee Break

10:30 - 12:00: Foundations

Strong Equivalence for Logic Programs and Default Theories (Made Easy)
Hudson Turner, University of Minnesota at Duluth

On the Effect of Default Negation on the Expressiveness of Disjunctive Rules
Tomi Janhunen, Helsinki University of Technology

On the Expressibility of Stable Logic Programming
V. W. Marek, University of Kentucky,
J.B. Remmel, University of California at San Diego

12:00 - 13:30: Lunch Break

13:30 - 15:00: Semantics

On the Relationship Between Defeasible Logic and Well-Founded Semantics
Gerhard Brewka, University of Leipzig

A Comparative Study of Well-founded Semantics for Disjunctive Logic Programs
Kewen Wang, Universität Potsdam

Reasoning with Open Logic Programs
P.A. Bonatti, Università di Milano

15:00 - 15:30: Coffee Break

15:30 - 16:30: Learning and NMR

Representation of Incomplete Knowledge by Induction of Default Theories
Pascal Nicolas, Béatrice Duval, LERIA - University of Angers

Explicitly using default knowledge in concept learning: an extended Description Logics plus strict and default rules
Véronique Ventos, Université Paris-Sud
Pierre Brézellec, Université de Versailles-St-Quentin
Henry Soldano, Université Paris-Nord

Evening: System Session

19:00 - 20:00: Invited Talk

Georg Gottlob (TU Wien)
Declarative Information Extraction, Web Crawling and Recursive Wrapping with Lixto

20:00 - 20:30 Short system presentations

A-System: Declarative Programming with Abduction
Bert Van Nuffelen, K.U.Leuven
Antonis Kakas, University of Cyprus

An Update Front-End for Extended Logic Programs
Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits, Technische Universität Wien

aspps -- an implementation of answer-set programming with propositional schemata
Deborah East, Miroslaw Truszczynski, University of Kentucky

NoMoRe: A system for Non-Monotonic Reasoning under Answer Set Semantics
Christian Anger, Kathrin Konczak, Thomas Linke, Universität Potsdam

plp: A Generic Compiler for Ordered Logic Programs
James P. Delgrande, Simon Fraser University
Torsten Schaub, Universität Potsdam
Hans Tompits, Technische Universität Wien

Prototypes for reasoning with infinite stable models and function symbols
P.A. Bonatti, Università di Milano

psmodels: Stable Models based on Pertinence
Ramón P. Otero, University of Corunna

System Description: DLV
Tina Dell'Armi, University of Calabria
Wolfgang Faber, Technische Universität Wien
Giuseppe Ielpa, University of Calabria
Christoph Koch, Technische Universität Wien
Nicola Leone, Simona Perri, University of Calabria
Gerald Pfeifer, Technische Universität Wien

System Description: The DLV^K Planning System
Thomas Eiter, Wolfgang Faber, Technische Universität Wien
Nicola Leone, University of Calabria
Gerald Pfeifer, Axel Polleres, Technische Universität Wien

The Smodels System
Tommi Syrjänen, Ilkka Niemelä, Helsinki University of Technology

The USA-Advisor: A Case Study in Answer Set Planning
Marcello Balduccini, Michael Gelfond, Richard Watson, Texas Tech University
Monica Nogueira, University of Texas at El Paso

20:30 - (open end)

Individual system demos.

Tuesday, September 18, 2001

9:00 - 10:00: Invited Talk

Maurizio Lenzerini (Università di Roma "La Sapienza")
Data Integration Needs Reasoning

10:00 - 10:30: Coffee Break

10:30 - 12:00: Applications

Declarative specification and solution of combinatorial auctions using logic programming
Chitta Baral, Cenk Uyan, Arizona State University

Bounded LTL Model Checking with Stable Models
Keijo Heljanko, Ilkka Niemelä, Helsinki University of Technology

Diagnosing physical systems in A-Prolog
Michael Gelfond, Marcello Balduccini, Texas Tech University
Joel Galloway, Dupont Pharmaceuticals

12:00 - 13:30: Lunch Break

13:30 - 14:30 Invited Talk

Chiaki Sakama (Wakayama University)
Nonmonotonic Inductive Logic Programming

14:30 - 15:00: Coffee Break

15:00 - 16:30: Planning and Reasoning about Actions

Planning with different forms of domain-dependent control knowledge -- an answer set programming approach
Tran Cao Son, New Mexico State University
Chitta Baral, Arizona State University
Sheila McIlraith, Stanford University

Encoding solutions of the frame problem in dynamic logic
Norman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Bao Quoc Vo, University of New South Wales

E-RES: Reasoning about Actions, Events and Observations
Antonis Kakas, University of Cyprus
Rob Miller, University College London
Francesca Toni, Imperial College of Science, Technology and Medicine

Evening: Conference Dinner

Location: Heuriger Steinschaden, Nussdorf

Wednesday, September 19, 2001

9:00 - 10:30: Answer-Set Programming Techniques

Omega-Restricted Logic Programs
Tommi Syrjänen, Helsinki University of Technology

Improving ASP Instantiators by Join-Ordering Methods
Nicola Leone, Simona Perri, Francesco Scarcello, University of Calabria

Optimizing the Computation of Heuristics for Answer Set Programming Systems
Wolfgang Faber, Technische Universität Wien
Nicola Leone, University of Calabria
Gerald Pfeifer, Technische Universität Wien

10:30 - 11:00: Coffee Break

11:00 - 12:00: Invited Talk

Phokion Kolaitis (University of California at Santa Cruz)
On the Complexity of Model Checking and Inference in Minimal Models
(joint work with Lefteris Kirousis)

12:00 - 13:30: Lunch Break

13:30 - 15:00: Algorithms and Computation

New Generation Systems for Non Monotonic Reasonning
Pascal Nicolas, Frédéric Saubion, Igor Stéphan, LERIA, Université d`Angers

Algorithms for computing X-minimal models
Chen Avin, Rachel Ben-Eliyahu - Zohary, Ben-Gurion University of the Negev

Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
Thomas Lukasiewicz, Technische Universität Wien

15:30 - 17:00 Multi-valued, multi-dimensional LP

Multi-Adjoint Logic Programming with Continuous Semantics
Jesús Medina, Manuel Ojeda Aciego, Universidad de Málaga
Peter Vojtás, Academy of Science of Czech Republic

Multi-dimensional Dynamic Knowledge Representation
João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira, Universidade Nova de Lisboa

Antitonic Logic Programs
Carlos Viegas Damásio, Luís Moniz Pereira, Universidade Nova de Lisboa

20:00: Mayor's Reception

Location: City Hall, viewable from this webcam.

Closing