Conf: AI*IA 97 (fwd)

Csaba Pleh Center for Advanced Study in the Behavioral Sciences 202 Junipero Serra Blvd Stanford, Ca. 94305 T.: (415)321-2052, Fax: ...1192 Home: (415)323-1998 ---------- Forwarded message ---------- Date: Tue, 15 Jul 1997 10:27:05 +0200 From: AI*IA 97 <aiia97(a)fub.it> To: elsnet-list(a)cogsci.ed.ac.uk Subject: Conf: AI*IA 97 Resent-Date: Mon, 21 Jul 97 19:22:10 +100 Resent-From: pleh(a)izabell.elte.hu Resent-To: csaba.pleh(a)casbs.stanford.edu Sorry for multiple copies of this announce ------------------------------------------------------- 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(a)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") 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