


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














