default search action
AI*IA 1991: Palermo
- Edoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello:
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
Invited Paper
- Wolfgang Wahlster, Elisabeth André, Winfried Graf, Thomas Rist:
Knowledge-Based Media Coordination in Intelligent User Interfaces. 2-16
Topic 1: Knowledge Representation
- Gianni Amati:
Some Notes on Cumulative Reasoning. 18-27 - Piero A. Bonatti:
A Family of Three-Valued Autoepistemic Logics. 28-37 - Maria Simi:
Viewpoints Subsume Beliefs, Truth and Situations. 38-47 - David A. Basin, Fausto Giunchiglia, Paolo Traverso:
Automating Meta-Theory Creation and System Extension. 48-57 - Bertram Fronhöfer:
Implementing Exceptions in Inheritance by Concept Transforming Actions. 58-67 - Marco Cadoli, Marco Schaerf:
Approximate Entailment. 68-77 - Laura Giordano, Alberto Martelli, Maria Luisa Sapino:
Negation as Failure and Constraints through Abduction and Defaults. 78-87 - Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf:
A Hybrid System with Datalog and Concept Languages. 88-97 - Jeremy Ellman, Giancarlo Mezzanatto:
Optimal Search for Conjunctive using Constraints. 98-107 - Roman M. Jansen-Winkeln, Alassane Ndiaye, Norbert Reithinger:
FSS-WASTL: Interactive Knowledge Acquisition for a Semantic Lexicon. 108-116 - Jon M. Slack:
Hybrid Encoding: Constraints on Adressing Structure. 117-126 - Andrea Bonarini, Ernesto Cappelletti, Antonio Corrao:
Uncertainty and Cyclic Dependencies: A Proposal and a Network Implementation. 127-136 - Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello:
Abductive Reasoning in a Multi-Theory Framework. 137-146 - Rick Evertsz, Enrico Motta:
The Abstract Interpretation of Hybrid Rule/Frame-Based Sustems. 147-156 - Clara Bagnasco, Paola Petrin, Luca Spampinato:
Taxonomic Reasoning in Configuration Tasks. 157-166 - Giorgio Brajnik, Luca Chiattro, Giovanni Guida, Carlo Tasso, Elio Toppano:
Representation and Use of Teleological Knowledge in the Multi-Modeling Approach. 167-176 - Luca Console, Daniele Theseider Dupré, Pietro Torasso:
Towards the Integration of Different Knowledge Sources in Model-Based Diagnosis. 177-186 - Stefano Cermignani, Giorgio Tornielli:
Integrating Statistics, Numerical Analysis and Dependency-Recording in Model-Based Diagnosis. 187-196
Topic 2: Knowledge Acquisition
- Claudio Carpineto:
Version-Space Induction with Multiple Concept Languages. 198-207 - Giuseppe Cerbone, Thomas G. Dietterich:
Knowledge Compilation to Speed Up Numerical Optimisation. 208-217 - Marco Dorigo:
New Perspectives about Default Hierarchies Formation in Learning Classifier Systems. 218-227 - Marco Botta, Filippo Brancadori, S. Ravotto, Lorenza Saitta, S. B. Sperotto:
Use of a Causal Model to Learn Diagnostic Knowledge in a Real Domain. 228-237 - Attilio Giordana, Lorenza Saitta, R. Finelli, M. Paderni, Davide Roverso:
Extending Inverse Resolution to Build Up Abstractions. 238-247
Topic 3: Natural Language
- Roberto Basili, Maria Teresa Pazienza, Paola Velardi:
Using Word Association for Syntactic Disambiguation. 250-260 - Danilo Fum, Carlo Tasso, L. Tiepolo, A. Tramontini:
A Computational Model of Tense Selection and its Experimentation within an Intellegent Tutor. 261-270 - Marco Piastra, Roberto Bolognesi:
An Efficient Context-Free Parsing Algorithm with Semantic Actions. 271-280 - Carlo Strapparava:
From Scopings to Interpretation: The Semantic Interpretation within the AlFresco System. 281-290 - Vincenzo Lombardo:
Parsing Dependency Grammars. 291-300
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 - Fidenzio Burbello, Stephen Pollard, John Porrill, John E. W. Mayhew:
Retrieval of High-Level Data Structures from Stereo Vision Data. 312-321 - Giovanni Adorni, Alberto Broggi, Gianni Conte, Vincenzo D'Andrea, Claudio Sansoè:
High-Level and Low-Level Computer Vision: Towards an Integrated Approach. 322-331 - Edoardo Ardizzone, Franco Callari, Antonio Chella, Marcello Frixione:
An Associative Link from Geometric to Symbolic Representations in Artificial Vision. 332-341 - Gianni Viardo Vercelli, Renato Zaccaria, Pietro Morasso:
A Theory of Sensor-Based Robot Navigation using Local Information. 342-352
Topic 5: Architectures and Technologies
- Mark Klein, Stephen C. Y. Lu:
Insight into Cooperative Group Design: Experience with the LAN Designer System. 354-364 - F. Abbruzzese, Eliana Minicozzi:
Direct Interaction among Active Data Structures: A Tool for Building AI Systems. 365-374 - Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Introducing Knowledge Representation Techniques in Database Models. 375-384 - M. Gioiello, Giorgio Vassallo, Antonio Chella, Filippo Sorbello:
Self-Organizing Maps: A new Digital Architecture. 385-398 - Alberta Bertin, Fabio Buciol, Giovanna Dondossola, Cristina Lanza:
Electrical Equipment Maintenance Training and Its Application in Industrial Environment. 399-408
Short Papers
- Mehmed M. Kantardzic, Vensada Okanovic, Selma Rizvic, A. Filipovic, H. Glavic:
Temporal and Spatial Data and Default Assumptions in Dipsy-E Systems. 410-414 - Ruggero Milanese, Jean-Marc Bost, Thierry Pun:
Visual Indexing with an Attentive System. 415-429 - P. De Pinto, M. Sette:
On Neural Network Programming. 420-424 - Massimo Abbati, Stefano Odoardi:
A Logic for the Representation of Spatial Knowledge. 425-429 - Bruno Fringuelli, Stefano Marcugini, Alfredo Milani, Silvano Rivoira:
Truth Maintenance in Approximate Reasoning. 430-434 - Angus McIntyre:
A Strategy for Design and Development of Complex Knowledge-Systems. 435-439 - Giuseppe Attardi, Mauro Gaspari, Pietro Iglio:
Effiecient Compilation of First Order Predicates. 440-444 - Giorgio Brajnik, Carlo Tasso, Antonio Vaccher:
A Flexible Tool for Assumption-Based User Modeling. 445-449 - Paolo Frasconi, Marco Gori, Marco Maggini, Giovanni Soda:
KL: A Neural Model for Capturing Structure in Speech. 450-454 - Alberto Lavelli, Bernardo Magnini:
Lexical Discrimination within a Multilevel Semantics Approach. 455-459 - Stefania Costantini, Gaetano Aurelio Lanzarone:
Metalevel Represantation of Analogical Inference. 460-464 - Liliana Ardissono, Paolo Terenziani:
Semantic Interpretation of Copulative Sentences. 465-469 - Silvana Badaloni, Alberto Zanardo:
Typicality for Plausible Reasoning. 470-474 - Vito Roberto:
A Distributed Image-Understanding System. 475-479
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.