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