AI*IA 1991:
Palermo
Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello (Eds.):
Trends in Artificial Intelligence, 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Palermo, Italy, October, 29-31, 1991, Proceedings.
Lecture Notes in Computer Science 549 Springer 1991, ISBN 3-540-54712-6 BibTeX
@proceedings{DBLP:conf/aiia/1991,
editor = {Edoardo Ardizzone and
Salvatore Gaglio and
Filippo Sorbello},
title = {Trends in Artificial Intelligence, 2nd Congress of the Italian
Association for Artificial Intelligence, AI*IA, Palermo, Italy,
October, 29-31, 1991, Proceedings},
booktitle = {AI*IA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {549},
year = {1991},
isbn = {3-540-54712-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Topic 1:
Knowledge Representation
- Gianni Amati:
Some Notes on Cumulative Reasoning.
18-27 BibTeX
- Piero A. Bonatti:
A Family of Three-Valued Autoepistemic Logics.
28-37 BibTeX
- Maria Simi:
Viewpoints Subsume Beliefs, Truth and Situations.
38-47 BibTeX
- David A. Basin, Fausto Giunchiglia, Paolo Traverso:
Automating Meta-Theory Creation and System Extension.
48-57 BibTeX
- Bertram Fronhöfer:
Implementing Exceptions in Inheritance by Concept Transforming Actions.
58-67 BibTeX
- Marco Cadoli, Marco Schaerf:
Approximate Entailment.
68-77 BibTeX
- Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
Negation as Failure and Constraints through Abduction and Defaults.
78-87 BibTeX
- Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
A Hybrid System with Datalog and Concept Languages.
88-97 BibTeX
- Jeremy Ellman, Giancarlo Mezzanatto:
Optimal Search for Conjunctive using Constraints.
98-107 BibTeX
- Roman M. Jansen-Winkeln, Alassane Ndiaye, Norbert Reithinger:
FSS-WASTL: Interactive Knowledge Acquisition for a Semantic Lexicon.
108-116 BibTeX
- Jon M. Slack:
Hybrid Encoding: Constraints on Adressing Structure.
117-126 BibTeX
- Andrea Bonarini, Ernesto Cappelletti, Antonio Corrao:
Uncertainty and Cyclic Dependencies: A Proposal and a Network Implementation.
127-136 BibTeX
- Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Abductive Reasoning in a Multi-Theory Framework.
137-146 BibTeX
- Rick Evertsz, Enrico Motta:
The Abstract Interpretation of Hybrid Rule/Frame-Based Sustems.
147-156 BibTeX
- Clara Bagnasco, Paola Petrin, Luca Spampinato:
Taxonomic Reasoning in Configuration Tasks.
157-166 BibTeX
- Giorgio Brajnik, Luca Chiattro, Giovanni Guida, Carlo Tasso, Elio Toppano:
Representation and Use of Teleological Knowledge in the Multi-Modeling Approach.
167-176 BibTeX
- Luca Console, Daniele Theseider Dupré, Pietro Torasso:
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis.
177-186 BibTeX
- Stefano Cermignani, Giorgio Tornielli:
Integrating Statistics, Numerical Analysis and Dependency-Recording in Model-Based Diagnosis.
187-196 BibTeX
Topic 2:
Knowledge Acquisition
Topic 3:
Natural Language
Topic 4:
Perception and Robotics
- Edoardo Ardizzone, Antonio Chella, Roberto Pirrone, Filippo Sorbello:
A System Based on Neural Architectures for the Reconstruction of 3-D Shapes from Images.
302-311 BibTeX
- Fidenzio Burbello, Stephen Pollard, John Porrill, John E. W. Mayhew:
Retrieval of High-Level Data Structures from Stereo Vision Data.
312-321 BibTeX
- Giovanni Adorni, Alberto Broggi, Gianni Conte, Vincenzo D'Andrea, Claudio Sansoè:
High-Level and Low-Level Computer Vision: Towards an Integrated Approach.
322-331 BibTeX
- Edoardo Ardizzone, Franco Callari, Antonio Chella, Marcello Frixione:
An Associative Link from Geometric to Symbolic Representations in Artificial Vision.
332-341 BibTeX
- Gianni Vercelli, Renato Zaccaria, Pietro Morasso:
A Theory of Sensor-Based Robot Navigation using Local Information.
342-352 BibTeX
Topic 5:
Architectures and Technologies
- Mark Klein, Stephen C. Y. Lu:
Insight into Cooperative Group Design: Experience with the LAN Designer System.
354-364 BibTeX
- F. Abbruzzese, Eliana Minicozzi:
Direct Interaction among Active Data Structures: A Tool for Building AI Systems.
365-374 BibTeX
- Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Introducing Knowledge Representation Techniques in Database Models.
375-384 BibTeX
- M. Gioiello, Giorgio Vassallo, Antonio Chella, Filippo Sorbello:
Self-Organizing Maps: A new Digital Architecture.
385-398 BibTeX
- Alberta Bertin, Fabio Buciol, Giovanna Dondossola, Cristina Lanza:
Electrical Equipment Maintenance Training and Its Application in Industrial Environment.
399-408 BibTeX
Short Papers
- Mehmed M. Kantardzic, V. Okanovic, S. Rizvic, A. Filipovic, H. Glavic:
Temporal and Spatial Data and Default Assumptions in Dipsy-E Systems.
410-414 BibTeX
- Ruggero Milanese, Jean-Marc Bost, Thierry Pun:
Visual Indexing with an Attentive System.
415-429 BibTeX
- P. De Pinto, M. Sette:
On Neural Network Programming.
420-424 BibTeX
- Massimo Abbati, Stefano Odoardi:
A Logic for the Representation of Spatial Knowledge.
425-429 BibTeX
- Bruno Fringuelli, Stefano Marcugini, Alfredo Milani, Silvano Rivoira:
Truth Maintenance in Approximate Reasoning.
430-434 BibTeX
- Angus McIntyre:
A Strategy for Design and Development of Complex Knowledge-Systems.
435-439 BibTeX
- Giuseppe Attardi, Mauro Gaspari, Pietro Iglio:
Effiecient Compilation of First Order Predicates.
440-444 BibTeX
- Giorgio Brajnik, Carlo Tasso, Antonio Vaccher:
A Flexible Tool for Assumption-Based User Modeling.
445-449 BibTeX
- Paolo Frasconi, Marco Gori, Marco Maggini, Giovanni Soda:
KL: A Neural Model for Capturing Structure in Speech.
450-454 BibTeX
- Alberto Lavelli, Bernardo Magnini:
Lexical Discrimination within a Multilevel Semantics Approach.
455-459 BibTeX
- Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Represantation of Analogical Inference.
460-464 BibTeX
- Liliana Ardissono, Paolo Terenziani:
Semantic Interpretation of Copulative Sentences.
465-469 BibTeX
- Silvana Badaloni, Alberto Zanardo:
Typicality for Plausible Reasoning.
470-474 BibTeX
- Vito Roberto:
A Distributed Image-Understanding System.
475-479 BibTeX
Copyright © Sat May 16 22:57:11 2009
by Michael Ley (ley@uni-trier.de)