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 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, V. Okanovic, S. 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

last updated on Thu May 23 01:21:11 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page