AI*IA 97
FIFTH CONGRESS OF THE
ITALIAN ASSOCIATION FOR ARTIFICIAL INTELLIGENCE
Rome, September 16-19, 1997
Universita' di Roma "La Sapienza",
Facolta' di Ingegneria (Sede di S. Pietro in Vincoli),
via Eudossiana 18
Call for Participation
The Congress of the Italian Association for Artificial
Intelligence represents, at the italian level, the most
important meeting point for all persons involved in the
various areas of AI. The fifth Congress will include invited
relations of international experts, presentation of
scientific works, demos of systems and prototypes, round
tables about relevant methodological and applicative
aspects, tutorials of national experts, student projects and
other satellite events. During the last two days, at the
same time of the Congress sessions, two workshops of more
applicative nature will be held.
Technical Session
Presented papers contain either theoretical/methodological
work or applicative work. Areas of interest include:
Distributed artificial intelligence, Natural language,
Cognitive modeling, Connectionist models, Vision and
Perception, Planning, Automated reasoning, Robotics,
Knowledge-based systems, Learning, Control and diagnosis of
plants and processes, Software engineering and information
systems, Man-machine interfaces, Autonomous systems and
robots. The accepted papers are collected in a volume of the
serie Lecture Notes in Artificial Intelligence published by
Springer Verlag.
Demo section
The demo section will deal with demonstration of systems and
prototypes using Artificial Intelligence principles and
techniques. All partecipants can attend the demos and
discuss with the authors of the systems. A short description
of all the demos is included in the Congress proceedings.
Invited lectures
Invited lectures are an important event of the
Congress. This year there will be two invited talks:
* Complexity in AI and Knowledge Representation
by Georg Gottlob, Technische Universitat,
Wien (Austria)
* Automated Planning for autonomous space strobes
by Nicola Muscettola, Nasa Ames Research Center,
Moffett Field (CA, USA)
Tutorials
Four tutorials will be held (tutorials are given in
Italian):
* Knowledge representation and reasoning in the Web
(D. Nardi, M. Schaerf)
* Development systems for grammatical representations based
on Typed Feature Structures
(F. Pianesi)
* Multi-agent systems
(C. Castelfranchi, F. Giunchiglia)
* Diagnostic problem solving: evolution, state of the art
and applications
(L. Console)
Tutorials will be held on the 16th (the day before the
officla opening of the Congress), and attendance will be
limited. These tutorials are intended for industry
representatives, non specialists and Ph.D. students. The
participation is only permitted to registered Congress
attendees, although a limited number of seats will be
available for people not attending the whole Congress.
Workshops
Workshops are a recent addition in the Congress program, and
they are already a useful chance of meeting and discussion
among researchers and professionals. In addition, their aim
is to verify the contributes that Artificial Intelligence
can bring in specific contexts. This year both workshops
will focus on crucial sectors of today world, as are
services for citizens and financial services. The titles
are:
* Artificial Intelligence in financial institutions
(September 17) (Organized by: C. Rossignoli, C. Ficini)
* Artificial Intelligence, new technologies and services
for the citizen (September 19)
(Organized by: R. Petrioli, D. D'Aloisi, P. Naggar, G. Soda)
Each workshop will last a whole day, in parallel with the
technical/scientific/applicative sessions. Due to the
specific nature of these events, the participation is open
also to people who are not registered for the Congress.
REGISTRATION FEES (1)
Registration Registration
within after
August,11/97 August,11/97
Congress (2)
AI*IA Member 500.000 600.000
Non AI*IA Member 650.000 750.000
Student 100.000 150.000
Tutorials (3)
For those registered
for the Congress 130.000 180.000
For those non registered
for the Congress 300.000 350.000
Workshops (4)
For those registered
for the Congress - -
For those non registered
for the Congress 100.000 150.000
(1) Fees are tax-included.
(2) The registration fee include: participation to the
Congress and Workshops, congress and workshops proceedings,
coffee breaks. Please remember that you must be member AI*IA
for the year 1997, in order to be eligible for the reduced
fee. Students must enclose proof of studentship.
(3) The fee is per tutorial and includes all the course
material.
(4) This is only for those who aren't registered for the
Congress. The price is for a single Workshop and includes
the workshop proceedings and coffee breaks.
Information
Updated information on the Congress is available on the
World Wide Web at the address:
http://www.dis.uniroma1.it/~aiia97
Alternatively, it is possible to contact directly the
Program Chairman:
Prof. Maurizio Lenzerini
Universita' di Roma "La Sapienza"
Dipartimento di Informatica e Sistemistica
Via Salaria 113, 00198 Roma
e-mail: aiia97@dis.uniroma1.it
===========================================
Detailed Program
September 16, 1997
ore 8 - 9 Registration
ore 9 - 10:30 Tutorial 1 (Aula 15)
Knowledge representation and reasoning in the WEB
D. Nardi, M. Schaerf (Universita' di Roma "La Sapienza")
Tutorial 2 (Aula 17)
Development systems for grammatical representations based on
Typed Feature Structures -
F. Pianesi (IRST, Trento)
ore 10:30 - 11 Break
ore 11 - 12:30 Tutorial 1 (Aula 15)
Knowledge representation and reasoning in the WEB
D. Nardi, M. Schaerf (Universita' di Roma "La Sapienza")
Tutorial 2 (Aula 17)
Development systems for grammatical representations based on
Typed Feature Structures -
F. Pianesi (IRST, Trento)
ore 12:30 - 14 Intervallo pranzo
ore 14:30 - 16 Tutorial 3 (Aula 15)
Multi-agent systems
C. Castelfranchi (CNR, Roma), F. Giunchiglia (Universita' di
Trento)
Tutorial 4 (Aula 17)
Diagnostic problem solving: evolution, state of the art and
applications
L. Console (Universita' di Torino)
ore 16 - 16:30 Break
ore 16:30 - 18 Tutorial 3 (Aula 15)
Multi-agent systems
C. Castelfranchi (CNR, Roma), F. Giunchiglia (Universita' di
Trento)
Tutorial 4 (Aula 17)
Diagnostic problem solving: evolution, state of the art and
applications
- L. Console
(Universita' di Torino)
September 17, 1997
ore 8 - 9 Registration
ore 9 - 10 Opening (Aula 1)
ore 10 - 10:30 Coffee break
ore 10:30 - 12:30 Machine Learning 1 (Aula del chiostro)
Modeling Conceptual Change: an Interdisciplinary Approach
F. Neri, L. Saitta (Universita' di Torino),
A. Tiberghien (CNRS, France)
Refining Numerical Terms in Horn Clauses
M. Botta, A. Giordana, R. Piola (Universita' di Torino)
Handling Continuos Data in Top-Down Induction of First-Order
Rules
D. Malerba, F. Esposito, G. Semeraro, S. Caggese (Universita'
di Bari)
Inductive Inference of Tree Automata by Recursive Neural
Network
P. Frasconi, G. Soda (Universita' di Firenze),
M. Gori, M. Maggini, E. Martinelli (Universita' di Siena)
Workshop AI e finanza (Aula 1)
ore 12:30 - 14 Pranzo
ore 14 - 16:15 Natural Language 1 (Aula del chiostro)
A Computational Model of Misunderstandings in Agent
Communication
L. Ardissono, G. Boella, R. Damiano (Universita' di Torino)
Wide-coverage Lexicalized Grammars
G. Barbero, V. Lombardo (Universita' di Torino)
Flexible Response Choice Using Problem-Solving Plans and
Rethorical Relations
P. Barboni, D. Sestero (Universita' di Torino)
A Variant of Earley Parsing
M. Nederhof (University of Groningen, The Netherlands),
G. Satta (Universita' di Padova)
Student presentation
Workshop AI e finanza (Aula 1)
ore 16:15 - 16:30 Coffee break
ore 16:30 - 18:30 Perception, Vision and Robotics
(Aula del chiostro)
Autonomous Robot Navigation Using a Reactive Agent
M. Piaggio, A. Sgorbissa, R. Zaccaria (Universita' di Genova),
G. Vercelli (Universita' di Trieste)
A Hybrid Architecture for Autonomous Agents
A. Chella, S. Gaglio, G. Sajeva, F. Torterolo
(Universita' di Palermo)
Extraction of Discriminant Features from Image Fractal
Encoding
M. Baldoni, C. Baroglio, D. Cavagnino, G. Lo Bello
(Universita' di Torino)
3-D Facets Construction for Stereovision
E. Zagrouba (University of Monastir, Tunisia)
Workshop AI e finanza (Aula 1)
September 18, 1997
ore 8 - 9 Registration
ore 9 - 10 Invited Speaker (Aula 1)
Complexity in AI and Knowledge Representation
Georg Gottlob (Technical University of Vienna, Austria)
ore 10 - 10:30 Coffe break
ore 10:30 - 12:30 Machine Learning 2 (Aula 1)
Learning Relational Concepts at Different Levels of
Granularity
G. Armano, G. Fumera (Universita' di Cagliari)
Inferring Minimal Rule Covers from Relations
C. Carpineto, G. Romano (Fondazione Ugo Bordoni, Roma)
Learning the Syntax and Semantic Rules of an ECG Grammar
G. Kokai, J. Csirik (Jozsef Attila University, Hungary),
T. Gyimothy (Hungarian Academy of Sciences, Hungary)
Corpus-driven Unsupervised Learning of Verb
Subcategorization Frames
R. Basili, M. T. Pazienza, M. Vindigni
(Universita' di Roma Tor Vergata)
ore 10:30 - 12:30 Automated Reasoning (Aula del chiostro)
Introducing Abduction into (Extensional) Inductive Logic
Programming Systems
E. Lamma, P. Mello, M. Milano, F. Riguzzi
(Universita' di Bologna)
An Efficient Algorithm for Temporal Abduction
V. Brusoni, L. Console, P. Terenziani, D. Theseider Dupre'
(Universita' di Torino)
Experimental Analysis of the Computational Cost of
Evaluating Quantified Boolean Formulae
M. Cadoli, A. Giovanardi, M. Schaerf
(Universita' di Roma "La Sapienza")
A Proof Theory for Tractable Approximations of Propositional
Reasoning
F. Massacci (Universita' di Roma "La Sapienza")
Demo (Laboratorio)
ore 12:30 - 14 Pranzo
ore 14 - 15:45 Knowledge Representation 1 (Aula 1)
Embedding Minimal Knowledge into Autoepistemic Logic
R. Rosati (Universita' di Roma "La Sapienza")
User Model-Based Information Filtering
F.A. Asnicar, M. Di Fant, C. Tasso (Universita' di Udine)
A Comparative Analysis of Horn Models and Bayesian Network
for Diagnosis
L. Portinale, P. Torasso (Universita' di Torino)
Student presentation
ore 14 - 15:45 Distributed Artificial Intelligence
(Aula del chiostro)
Multi-agent Negotiation and Planning Through Knowledge
Contextualization
E. Sangineto (Universita' di Roma "La Sapienza")
>From Task Delegation to Role Delegation
C. Castelfranchi, R. Falcone (CNR, Roma)
Automated Reasoning On-Board Autonomous Spacecrafts
N.D. Monekosso (University of Surrey, UK),
P. Remagnino (The University of Reading, UK)
Student presentation
Demo (Laboratorio)
ore 15:45 - 16 Coffee break
ore 16 - 17 Planning (Aula 1)
A Weakly Backjumping Strategy to Solve Hard Scheduling
Problems
A. Oddi (CNR, Roma)
Compiling Task Network into Partial Order Planning Domains
M. Baioletti, S. Marcugini, A. Milani (Universita' di Perugia)
Demo (Laboratorio)
ore 17 - 18 Premio AI*IA e Conferenza del
Vincitore (Aula 1)
ore 18 - 20 Assemblea soci AI*IA (Aula 1)
ore 20 Cena sociale
September 19, 1997
ore 8 - 9 Registration
ore 9 - 10 Invited Speaker (Aula 1)
Pianificazione automatica per sonde spaziali autonome
Nicola Muscettola (RECOM Technologies, NASA AMES Research
Center, USA)
ore 10 - 10:30 Coffe break
ore 10:30 - 12:30 Natural Language 2 (Aula del chiostro)
A Hybrid Approach to Hypertext Generation
N. Cancedda (Universita' di Roma "La Sapienza"),
G. Kamstrup, E. Pianta (IRST, Trento),
E. Pietrosanti (Finsiel, Roma)
Generating User-Adapted Hypermedia from Discourse Plans
B. De Carolis, F. De Rosis, S. Pizzutillo
(Universita' di Bari)
WordNet for Italian and Its Use for Lexical Discrimination
A. Artale, B. Magnini, C. Strapparava (IRST, Trento)
Student presentations
Workshop Servizi al Cittadino (Aula 1)
ore 12:30 - 14 Pranzo
ore 14 - 16 Knowledge Representation 2
(Aula del chiostro)
Efficient Support for Reactive Rules in Prolog
M. Gaspari (Universita' di Bologna)
Reasoning with Behavioural Knowledge in Application Domain
Models
E. Compatangelo (Universita' di Ancona),
F.M. Donini (Universita' di Roma "La Sapienza),
G. Rumolo (Universita' di Roma TRE)
How to Solve Qualification and Ramification Using Dijkstra's
Semantics for Programming Languages
E.M. Bugaj (Warsaw University, Poland)
Towards a Qualitative Representation of Linguistic Negation
of Nuanced Properties
D. Pacholczyk (Universite' d'Angers, France)
Workshop Servizi al Cittadino (Aula 1)
ore 16 - 16:30 Coffee break
ore 16:30 - 17:30 Machine Learning 3 (Aula del chiostro)
CBET: a Case Base Exploration Tool
P. Avesani, A. Perini, F. Ricci (IRST, Trento)
Learning Feature Weights for CBR: Global versus Local
A. Bonzano, P. Cunningham (Trinity College Dublin, Ireland),
B. Smyth (University College Dublin, Ireland)
Workshop Servizi al Cittadino (Aula 1)
Con il contributo di
Consiglio Nazionale delle Ricerche
Dipartimento di Informatica e Sistemistica,
Universita' di Roma "La Sapienza"
Fondazione Ugo Bordoni
IllyCaffe', Trieste
SESM - Alenia Difesa, Roma
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------