Abstract is missing.
- Proving Formulas through Reduction to Decidable ClassesMauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari. 1-10
- Building and Executing Proof Strategies in a Formal MetatheoryAlessandro Armando, Alessandro Cimatti, Luca Viganò. 11-22
- Computing 3-valued Stable Models by using the ATMSEvelina Lamma, Paola Mello. 23-34
- Abstract properties for the choice provability relation in nonmonotonic logicsGrigoris Antoniou. 35-40
- Characterizing Prime Implicants as Projective SpacesFiora Pirri, Clara Pizzuti. 41-46
- EFH-Soar: Modeling Education in Highly Interactive MicroworldsCristina Conati. 47-58
- Foundations for Interaction: The Dependency TheoryCristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli. 59-64
- Letter Spirit: An Architecture for Creativity in an MicrodomainGary McGraw, Douglas Hofstadter. 65-70
- New Systems for Extracting 3-D Shape Information from ImagesEdoardo Ardizzone, Antonio Chella, Roberto Pirrone. 71-83
- Projecting Sub-symbolic Onto Symbolic Representations in Artificial Neural NetworksMarco Gori, Giovanni Soda. 84-89
- Integrating the Symbolic and the Sub-Symbolic Level in Sonar-Based NAvigationAlberto Braggiotti, Gaetano Chemello, Claudio Sossai, Gaetano Trainito. 90-95
- Randomness, Imitation or Reason Explain Agents Behaviour into an Artificial Stock Market?Pietro Terna. 96-101
- Neural Networks for Constraint SatisfactionAngelo Monfroglio. 102-107
- Reasoning with Individuals in Concept LanguagesAndrea Schaerf. 108-119
- A Family of Temporal Terminological LogicsClaudio Bettini. 120-131
- Logic Programming and Autoepistemic Logics: New Relations and Complexity ResultsMarco Schaerf. 132-141
- Inferring in Lego-land: an Architecture for the Integration of Heterogeneous Inference ModulesMauro Gaspari, Enrico Motta, Arthur Stutt. 142-153
- MAP - a Language for the Modelling of Multi-Agent SystemsGiovanni Adorni, Agostino Poggi. 154-159
- Developing Co-operating Legal Knowledge Based SystemsGeorge Vossos, John Zeleznikow. 160-165
- Negation as a Specializing OperatorFloriana Esposito, Donato Malerba, Giovanni Semeraro. 166-177
- Constructing Refinement Operators by Decomposing Logical ImplicationShan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre. 178-189
- Learning Relations: Basing Top-Down Methods on Inverse ResolutionFrancesco Bergadano, Daniele Gunetti. 190-201
- Complexity of the CFP, a Method for Classification Based on Feature PartitioningH. Altay Güvenir, Izzet Sirin. 202-207
- Genetic Algorithms Elitist Probabilistic of Degree 1, a generalization of Simulated AnnealingPedro Larrañaga, Manuel Graña, Alicia D Anjou, Francisco Javier Torrealdea. 208-217
- Learning Relations Using Genetic AlgorithmsAttilio Giordana, Lorenza Saitta, M. E. Campidoglio, Giuseppe Lo Bello. 218-229
- Evolutionary Learning for Relaxation Labeling ProcessesMarcello Pelillo, Fabio Abbattista, Angelo Maffione. 230-241
- Increasing Cohesion in Automatically Generated Natural Language TextsElisabeth Maier, Elena Not. 242-253
- Production of Cooperative Answers on the Basis of Partial Knowledge in Information-Seeking DialoguesLiliana Ardissono, Leonardo Lesmo, Alessandro Lombardo, Dario Sestero. 254-265
- Coping with Modifiers in a Restricted DomainFabio Ciravegna, Erica Giorda. 266-271
- Explanation Strategies in a Tutoring SystemGiacomo Ferrari, Michele Carenini, Paolo Moreschini. 272-277
- Maintaining Consistency in Quantitative Temporal Constraint Networks for Planning and SchedulingRoberto Cervoni, Amedeo Cesta, Angelo Oddi. 278-289
- Making an Autonomous Robot Plan Temporally Constrained Maintenance OperationsSilvana Badaloni, Enrico Pagello, L. Stocchiero, Alberto Zanardo. 290-301
- A Generative Constraint Formalism for Configuration ProblemsMarkus Stumptner, Alois Haselböck. 302-313
- Selecting Observation Time in the Monitoring and Interpretation of Time-Varying DataLuigi Portinale. 314-325
- Spatial Reasoning in a Holey WorldAchille C. Varzi. 326-336