Call for participation & Schedule

[JELIA 2000]

           Call for Participation

                 JELIA 2000 

   7th European Workshop on Logics in Artificial Intelligence 

        September 29--October 2, M\'alaga, Spain 

           http://www.ctima.uma.es/jelia/

Scope:

 The European Workshop on Logics in AI provides a major biennial forum
for the discussion of logic-oriented approaches to artificial
intelligence.  Following previous meetings in France (1988), The
Netherlands (1990), Germany (1992), England (1994), Portugal (1996)
and Germany (1998), the seventh workshop will be held in M\'alaga,  Spain, Sept.
29--Oct. 2, 2000.  It is organized by the Research Group of Mathematics Applied 
to Computing  (GIMAC) of the University of M\'alaga.

The workshop will include submitted contributions and four invited papers, 
all of which will be presented in plenary
sessions.

Invited Speakers:

- Johan van Benthem
- Thomas Eiter
- Reiner Haehnle
- Frank Wolter


Proceedings:

 The proceedings, containing all the accepted papers,  will appear in
the Lecture Notes in Artificial Intelligence series and will be
distributed in the workshop.  It is planned to publish a selection of
the best papers in the journal Studia Logica.


On the venue:

M\'alaga is a cosmopolitan city and the capital of both the Costa del Sol
and the Province of M\'alaga. It was founded by the Phoenicians and since
then it has  been inhabited by Greeks, Romans and Moors.  The city was
conquered by the Reyes Cat\'olicos (Catholic Kings) in 1487. Famous for
its still uncompleted Cathedral, Alcazaba (Moorish Castle), Gibralfaro
(Fortress) and wonderful gardens, M\'alaga boasts many beautiful sights.
The famous painter Pablo Picasso was born in the City and today his house
is a popular tourist attraction. 

Malaga has miles of beautiful sandy beaches and fantastic weather; there
are 320 sunny days per year and daily mean temperature at the end of
September is around 23° Celsius.  There is a modern and well organised
infrastructure and from here the
 major cities of Granada, Seville and C\'ordoba are easily accessible.
Malaga International Airport has regular flights to most major
destinations and is located just 10 minutes from the City centre.

Conference Chairs: 
 
Inma P. de Guzm\'an  
Manuel Ojeda Aciego 

Programme Chairs: 

Gerhard Brewka, Leipzig (D)
Lu\'\i s Moniz Pereira, Lisbon (P) 

Programme Committee:

Jose Alferes, \'Evora (P)
Juergen Dix, Koblenz (D)
Patrice Enjalbert, Caen (F)
Luis Fari\~nas del Cerro, Toulouse (F)
Klaus Fischer, Saarbr\"ucken (D)
Uli Furbach, Koblenz (D)
Michael Gelfond,  Texas (USA)
Inma P. de Guzman, M\'alaga (E)
Petr H\'ajek, Prague (CZ)
Maurizio Lenzerini, Roma (I)
John-Jules Meyer, Utrecht (N)
Bernhard Nebel, Freiburg (D)
Ilkka Niemel\"a, Helsinki (FIN)
Manuel Ojeda Aciego, M\'alaga (E)
David Pearce, Saarbr\"ucken (D)
Henry Prakken, Utrecht (N)
Teodor Przymusinski, California (USA)
Michael Thielscher, Dresden (D)
V.S. Subrahmanian, Maryland (USA)
Mary-Anne Williams, Newcastle (AUS) 
Michael Zakharyashev, Leeds (UK)


---


Jelia 2000, Malaga | Schedule

Friday, September 29, 2000

Presentation
9:00{9:10 Opening

Invited talk (Chairperson)
9:10{10:10 Semi-Qualitative Reasoning About Distances: a Preliminary Report
Frank Wolter

|  break |

Knowledge Representation I (Chairperson)

10:30{11:05 Hybrid Probabilistic Logic Programs as Residuated Logic Programs
C. V. Damasio and L. M. Pereira

11:05{11:40 Topo-distance: Measuring the Distance between Spatial Patterns
M. Aiello

|  break |

Knowledge Representation II (Chairperson)
12:00{12:35 An Abductive Mechanism for Natural Language Processing Based on Lambek Calculus
A. F. Delgado and J. A. Millan

12:35{13:10 Capturing Stationary and Regular Extensions with Reiter's Extensions
T. Janhunen

|  break |

Reasoning about actions (Chairperson)

15:30{16:05 Representing the Process Semantics in the Event Calculus
C.-P. Li

16:05{16:40 Declarative Formalization of Strategies for Action Selection Applications to Planning
J. Sierra-Santibez

|  break |

Belief Revision (Chairperson)

17:00{17:35 An Algorithmic Approach to Recover Inconsistent Knowledge Bases
O. Arieli

17:35{18:10 Acceptance Without Minimality
A. C. Nayak

Saturday, September 30, 2000

Invited talk (Chairperson)

9:00{10:00 'On being informed': update logics for knowledge states
Johan van Benthem
|  break |

Theorem Proving (Chairperson)

10:20{10:55 Reduction theorems for Boolean formulas using delta-trees
G. Gutierrez, I. P de Guzman, J. Martinez, M. Ojeda Aciego and, A. Valverde

10:55{11:30 Simultaneous Rigid Sorted Unification
P. J. Martin and A. Gavilanes

11:30{12:05 Even Faster Code Trees
A. Riazanov and A. Voronkov

|  break |

Argumentation (Chairperson)

12:25{13:00 On Dialogue Systems with Speech Acts, Arguments and Counterarguments
H. Prakken
13:00{13:35 Credulous and Sceptical Argument Games for Preferred Semantics
G. Vreeswijk and H. Prakken

|  break |

Sunday, October 1, 2000

Invited talk (Chairperson)

9:00{10:00 The KeY Approach: Integrating Object Oriented Design and Formal Verification
Reiner Haehnle

|  break |

Agents I (Chairperson)

10:30{11:05 A General Approach to Multi-Agent Minimal Knowledge
W. van der Hoek, J. Jaspars and E. Thijsse

11:05{11:40 Modal Logic for Multi-Agent Topologies
R. van Eijk, F. de Boer, W. van de Hoek and J. J. Ch. Meyer

|  break |

Agents II (Chairperson)

12:00{12:35 Avoiding logical omniscience by using subjective situations
A. Moreno, U. Cortes and T. Sales

12:35{13:10 Multi-Agent VSK Logic
M. Wooldridge and A. Lomuscio

|  break |

Decidability and Complexity (Chairperson)

15:30{16:05 New Tractable Cases in Default Reasoning from Conditional Knowledge Bases
T. Eiter and T. Lukasiewicz

16:05{16:40 Monodic Epistemic Predicate Logic
H. Sturm, F. Wolter and M. Zakharyaschev


Monday, October 2, 2000

Invited talk (Chairperson)

9:00{10:00 Title 
Thomas Eiter

|  break |

Updates (Chairperson)

10:30{11:05 Updates plus Preferences
J. J. Alferes and L. M. Pereira

11:05{11:40 A Framework for Belief Update
P. Liberatore
|  break |

Preferences (Chairperson)

12:00{12:35 Prioritized Default Logic Revisited: A Compilation of Brewka and Eiter's Approach
J. Delgrande, T. Schaub and H. Tompits

12:35{13:10 A Logic for Modeling Decision Making with Dynamic Preferences
M. de Vos and D. Vermeir