AI*IA 1993: Torino

@proceedings{DBLP:conf/aiia/1993,
  editor    = {Pietro Torasso},
  title     = {Advances in Artificial Intelligence, Third Congress of the Italian
               Association for Artificial Intelligence, AI*IA'93, Torino, Italy,
               October 26-28, 1993,  Proceedings},
  booktitle = {AI*IA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {728},
  year      = {1993},
  isbn      = {3-540-57292-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Automated Reasoning

• Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari:
  Proving Formulas through Reduction to Decidable Classes. 1-10
  
• Alessandro Armando, Alessandro Cimatti, Luca Viganò:
  Building and Executing Proof Strategies in a Formal Metatheory. 11-22
  
• Evelina Lamma, Paola Mello:
  Computing 3-valued Stable Models by using the ATMS. 23-34
  
• Grigoris Antoniou:
  Abstract properties for the choice provability relation in nonmonotonic logics. 35-40
  
• Fiora Pirri, Clara Pizzuti:
  Characterizing Prime Implicants as Projective Spaces. 41-46
  

Cognitive Models

• Cristina Conati:
  EFH-Soar: Modeling Education in Highly Interactive Microworlds. 47-58
  
• Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli:
  Foundations for Interaction: The Dependency Theory. 59-64
  
• Gary McGraw, Douglas Hofstadter:
  Letter Spirit: An Architecture for Creativity in an Microdomain. 65-70
  

Connectionist Models and Subsymbolic Approaches

• Edoardo Ardizzone, Antonio Chella, Roberto Pirrone:
  New Systems for Extracting 3-D Shape Information from Images. 71-83
  
• Marco Gori, Giovanni Soda:
  Projecting Sub-symbolic Onto Symbolic Representations in Artificial Neural Networks. 84-89
  
• Alberto Braggiotti, Gaetano Chemello, Claudio Sossai, Gaetano Trainito:
  Integrating the Symbolic and the Sub-Symbolic Level in Sonar-Based NAvigation. 90-95
  
• Pietro Terna:
  Randomness, Imitation or Reason Explain Agents' Behaviour into an Artificial Stock Market? 96-101
  
• Angelo Monfroglio:
  Neural Networks for Constraint Satisfaction. 102-107
  

Knowledge Representation

• Andrea Schaerf:
  Reasoning with Individuals in Concept Languages. 108-119
  
• Claudio Bettini:
  A Family of Temporal Terminological Logics. 120-131
  
• Marco Schaerf:
  Logic Programming and Autoepistemic Logics: New Relations and Complexity Results. 132-141
  

Languages, Architectures and Tools for AI

• Mauro Gaspari, Enrico Motta, Arthur Stutt:
  Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference Modules. 142-153
  
• Giovanni Adorni, Agostino Poggi:
  MAP - a Language for the Modelling of Multi-Agent Systems. 154-159
  
• George Vossos, John Zeleznikow:
  Developing Co-operating Legal Knowledge Based Systems. 160-165
  

Machine Learning

• Floriana Esposito, Donato Malerba, Giovanni Semeraro:
  Negation as a Specializing Operator. 166-177
  
• Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre:
  Constructing Refinement Operators by Decomposing Logical Implication. 178-189
  
• Francesco Bergadano, Daniele Gunetti:
  Learning Relations: Basing Top-Down Methods on Inverse Resolution. 190-201
  
• H. Altay Güvenir, Izzet Sirin:
  Complexity of the CFP, a Method for Classification Based on Feature Partitioning. 202-207
  
• Pedro Larrañaga, Manuel Graña, Alicia D'Anjou, Francisco Javier Torrealdea:
  Genetic Algorithms Elitist Probabilistic of Degree 1, a generalization of Simulated Annealing. 208-217
  
• Attilio Giordana, Lorenza Saitta, M. E. Campidoglio, Giuseppe Lo Bello:
  Learning Relations Using Genetic Algorithms. 218-229
  
• Marcello Pelillo, Fabio Abbattista, Angelo Maffione:
  Evolutionary Learning for Relaxation Labeling Processes. 230-241
  

Natural Language

• Elisabeth Maier, Elena Not:
  Increasing Cohesion in Automatically Generated Natural Language Texts. 242-253
  
• Liliana Ardissono, Leonardo Lesmo, Alessandro Lombardo, Dario Sestero:
  Production of Cooperative Answers on the Basis of Partial Knowledge in Information-Seeking Dialogues. 254-265
  
• Fabio Ciravegna, Erica Giorda:
  Coping with Modifiers in a Restricted Domain. 266-271
  
• Giacomo Ferrari, Michele Carenini, Paolo Moreschini:
  Explanation Strategies in a Tutoring System. 272-277
  

Planning and Robotics

• Roberto Cervoni, Amedeo Cesta, Angelo Oddi:
  Maintaining Consistency in Quantitative Temporal Constraint Networks for Planning and Scheduling. 278-289
  
• Silvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo:
  Making an Autonomous Robot Plan Temporally Constrained Maintenance Operations. 290-301
  

Reasoning about Phisical Systems and Artifacts

• Markus Stumptner, Alois Haselböck:
  A Generative Constraint Formalism for Configuration Problems. 302-313
  
• Luigi Portinale:
  Selecting Observation Time in the Monitoring and Interpretation of Time-Varying Data. 314-325
  
• Achille C. Varzi:
  Spatial Reasoning in a Holey World. 326-336
  

Last update Tue May 22 03:55:52 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page