AI*IA 1993: Torino

Pietro Torasso (Ed.): Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA'93, Torino, Italy, October 26-28, 1993, Proceedings. Lecture Notes in Computer Science 728 Springer 1993, ISBN 3-540-57292-9

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 Thu May 23 16:21:16 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page