Abstract is missing.
- Knowledge-Based Media Coordination in Intelligent User InterfacesWolfgang Wahlster, Elisabeth André, Winfried Graf, Thomas Rist. 2-16
- Some Notes on Cumulative ReasoningGianni Amati. 18-27
- A Family of Three-Valued Autoepistemic LogicsPiero A. Bonatti. 28-37
- Viewpoints Subsume Beliefs, Truth and SituationsMaria Simi. 38-47
- Automating Meta-Theory Creation and System ExtensionDavid A. Basin, Fausto Giunchiglia, Paolo Traverso. 48-57
- Implementing Exceptions in Inheritance by Concept Transforming ActionsBertram Fronhöfer. 58-67
- Approximate EntailmentMarco Cadoli, Marco Schaerf. 68-77
- Negation as Failure and Constraints through Abduction and DefaultsLaura Giordano, Alberto Martelli, Maria Luisa Sapino. 78-87
- A Hybrid System with Datalog and Concept LanguagesFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf. 88-97
- Optimal Search for Conjunctive using ConstraintsJeremy Ellman, Giancarlo Mezzanatto. 98-107
- FSS-WASTL: Interactive Knowledge Acquisition for a Semantic LexiconRoman M. Jansen-Winkeln, Alassane Ndiaye, Norbert Reithinger. 108-116
- Hybrid Encoding: Constraints on Adressing StructureJon M. Slack. 117-126
- Uncertainty and Cyclic Dependencies: A Proposal and a Network ImplementationAndrea Bonarini, Ernesto Cappelletti, Antonio Corrao. 127-136
- Abductive Reasoning in a Multi-Theory FrameworkAntonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello. 137-146
- The Abstract Interpretation of Hybrid Rule/Frame-Based SustemsRick Evertsz, Enrico Motta. 147-156
- Taxonomic Reasoning in Configuration TasksClara Bagnasco, Paola Petrin, Luca Spampinato. 157-166
- Representation and Use of Teleological Knowledge in the Multi-Modeling ApproachGiorgio Brajnik, Luca Chiattro, Giovanni Guida, Carlo Tasso, Elio Toppano. 167-176
- Towards the Integration of Different Knowledge Sources in Model-Based DiagnosisLuca Console, Daniele Theseider Dupré, Pietro Torasso. 177-186
- Integrating Statistics, Numerical Analysis and Dependency-Recording in Model-Based DiagnosisStefano Cermignani, Giorgio Tornielli. 187-196
- Version-Space Induction with Multiple Concept LanguagesClaudio Carpineto. 198-207
- Knowledge Compilation to Speed Up Numerical OptimisationGiuseppe Cerbone, Thomas G. Dietterich. 208-217
- New Perspectives about Default Hierarchies Formation in Learning Classifier SystemsMarco Dorigo. 218-227
- Use of a Causal Model to Learn Diagnostic Knowledge in a Real DomainMarco Botta, Filippo Brancadori, S. Ravotto, Lorenza Saitta, S. B. Sperotto. 228-237
- Extending Inverse Resolution to Build Up AbstractionsAttilio Giordana, Lorenza Saitta, R. Finelli, M. Paderni, Davide Roverso. 238-247
- Using Word Association for Syntactic DisambiguationRoberto Basili, Maria Teresa Pazienza, Paola Velardi. 250-260
- A Computational Model of Tense Selection and its Experimentation within an Intellegent TutorDanilo Fum, Carlo Tasso, L. Tiepolo, A. Tramontini. 261-270
- An Efficient Context-Free Parsing Algorithm with Semantic ActionsMarco Piastra, Roberto Bolognesi. 271-280
- From Scopings to Interpretation: The Semantic Interpretation within the AlFresco SystemCarlo Strapparava. 281-290
- Parsing Dependency GrammarsVincenzo Lombardo. 291-300
- A System Based on Neural Architectures for the Reconstruction of 3-D Shapes from ImagesEdoardo Ardizzone, Antonio Chella, Roberto Pirrone, Filippo Sorbello. 302-311
- Retrieval of High-Level Data Structures from Stereo Vision DataFidenzio Burbello, Stephen Pollard, John Porrill, John E. W. Mayhew. 312-321
- High-Level and Low-Level Computer Vision: Towards an Integrated ApproachGiovanni Adorni, Alberto Broggi, Gianni Conte, Vincenzo D Andrea, Claudio Sansoè. 322-331
- An Associative Link from Geometric to Symbolic Representations in Artificial VisionEdoardo Ardizzone, Franco Callari, Antonio Chella, Marcello Frixione. 332-341
- A Theory of Sensor-Based Robot Navigation using Local InformationGianni Vercelli, Renato Zaccaria, Pietro Morasso. 342-352
- Insight into Cooperative Group Design: Experience with the LAN Designer SystemMark Klein, Stephen C. Y. Lu. 354-364
- Direct Interaction among Active Data Structures: A Tool for Building AI SystemsF. Abbruzzese, Eliana Minicozzi. 365-374
- Introducing Knowledge Representation Techniques in Database ModelsAlessandro Artale, Francesca Cesarini, Giovanni Soda. 375-384
- Self-Organizing Maps: A new Digital ArchitectureM. Gioiello, Giorgio Vassallo, Antonio Chella, Filippo Sorbello. 385-398
- Electrical Equipment Maintenance Training and Its Application in Industrial EnvironmentAlberta Bertin, Fabio Buciol, Giovanna Dondossola, Cristina Lanza. 399-408
- Temporal and Spatial Data and Default Assumptions in Dipsy-E SystemsMehmed M. Kantardzic, V. Okanovic, S. Rizvic, A. Filipovic, H. Glavic. 410-414
- Visual Indexing with an Attentive SystemRuggero Milanese, Jean-Marc Bost, Thierry Pun. 415-429
- On Neural Network ProgrammingP. De Pinto, M. Sette. 420-424
- A Logic for the Representation of Spatial KnowledgeMassimo Abbati, Stefano Odoardi. 425-429
- Truth Maintenance in Approximate ReasoningBruno Fringuelli, Stefano Marcugini, Alfredo Milani, Silvano Rivoira. 430-434
- A Strategy for Design and Development of Complex Knowledge-SystemsAngus McIntyre. 435-439
- Effiecient Compilation of First Order PredicatesGiuseppe Attardi, Mauro Gaspari, Pietro Iglio. 440-444
- A Flexible Tool for Assumption-Based User ModelingGiorgio Brajnik, Carlo Tasso, Antonio Vaccher. 445-449
- KL: A Neural Model for Capturing Structure in SpeechPaolo Frasconi, Marco Gori, Marco Maggini, Giovanni Soda. 450-454
- Lexical Discrimination within a Multilevel Semantics ApproachAlberto Lavelli, Bernardo Magnini. 455-459
- Metalevel Represantation of Analogical InferenceStefania Costantini, Gaetano Aurelio Lanzarone. 460-464
- Semantic Interpretation of Copulative SentencesLiliana Ardissono, Paolo Terenziani. 465-469
- Typicality for Plausible ReasoningSilvana Badaloni, Alberto Zanardo. 470-474
- A Distributed Image-Understanding SystemVito Roberto. 475-479