Research Catalog

Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings

Title: Advances in artificial intelligence : Third Congress of the Italian Association for Artificial Intelligence, AIIA '93, Torino, Italy, October 26-28, 1993 : proceedings / Pietro Torasso, ed.
Author: Associazione italiana per l'intelligenza artificiale. Congress (3rd : 1993 : Torino, Italy)
Publication: Berlin ; New York : Springer-Verlag, ©1993.

Items in the Library & Off-site

Filter by

1 Item

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Use in library	Q334 .I83 1993	Off-site

Details

Additional Authors

Torasso, Pietro.

Description

xi, 336 pages : illustrations; 24 cm.

Summary

"This book contains 22 long papers and 13 short ones selected for the Scientific Track of the Third Congress of the Italian Association for Artificial Intelligence. The long papers report completed work whereas the short papers are mainly devoted to ongoing research. The papers report significant work carried out in the different subfields of artificial intelligence not only in Italy but also elsewhere: 8 of the papers come from outside Italy, with 2 from the United States and 1 eachfrom Australia, Austria, Germany, The Netherlands, Spain, and Turkey. The papers in the book are grouped into parts on: automated reasoning; cognitive models; connectionist models and subsymbolic approaches; knowledge representation and reasoning; languages, architectures and tools for AI; machine learning; natural language; planning and robotics; and reasoning about physical systems and artifacts."--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 728. Lecture notes in artificial intelligence

Uniform Title

Lecture notes in computer science ; 728.
Lecture notes in computer science. Lecture notes in artificial intelligence

Subject

Genre/Form

Conference papers and proceedings.
Turin (1993)

Bibliography (note)

Includes bibliographical references.

Contents

Proving formulas through reduction to decidable classes / M. Di Manzo, E. Giunchiglia, A. Armando and P. Pecchiari -- Building and executing proof strategies in a formal metatheory / A. Armando, A. Cimatti and L. Vigano -- Computing 3-valued stable models by using the ATMS / E. Lamma and P. Mello -- Abstract properties for the choice provability relation in nonmonotonic logics / G. Antoniou -- Characterizing prime implicants as projective spaces / F. Pirri and C. Pizzuti -- EFH-Soar: Modeling education in highly interactive microworlds / C. Conati and J.F. Lehman -- Foundations for interaction: the dependence theory / C. Castelfranchi, A. Cesta, R. Conte and M. Miceli -- Letter Spirit: an architecture for creativity in a microdomain / G. McGraw and D. Hofstadter -- New systems for extracting 3-D shape information from images / E. Ardizzone, A. Chella and R. Pirrone -- Projecting sub-symbolic onto symbolic representations in artificial neural networks / M. Gori and G. Soda -- Integrating the symbolic and the sub-symbolic level in sonar-based navigation / A. Braggiotti, G. Chemello, C. Sossai and G. Trainito -- Randomness, imitation or reason explain agents' behaviour into an artificial stock market? / P. Terna -- Neural networks for constraint satisfaction / A. Monfroglio -- Reasoning with individuals in concept languages / A. Schaerf -- A family of temporal terminological logics / C. Bettini -- Logic programming and autoepistemic logics: new relations and complexity results / M. Schaerf -- Inferring in Lego-land: an architecture for the integration of heterogeneous inference modules / M. Gaspari, E. Motta and A. Stutt -- MAP -- a language for the modelling of multi-agent systems / G. Adorni and A. Poggi -- Developing co-operating legal knowledge based systems / G. Vossos, J. Zeleznikow and D. Hunter -- Negation as a specializing operator / F. Esposito, D. Malerba and G. Semeraro -- Constructing refinement operators by decomposing logical implication / S.H. Nienhuys-Cheng, P.R.J. van der Laag and L.W.N. van der Torre -- Learning relations: basing top-down methods on inverse resolution / F. Bergadano and D. Gunetti -- Complexity of the CFP, a method for classification based on feature partitioning / H. Altay Guvenir and I. Sirin -- Genetic algorithms elitist probabilistic of degree 1, a generalization of simulated annealing / P. Larranaga, M. Grana, A. D'Anjou and F.J. Torrealdea -- Learning relations using genetic algorithms / A. Giordana, L. Saitta, M.E. Campidoglio and G. Lo Bello -- Evolutionary learning for relaxation labeling processes / M. Pelillo, F. Abbattista and A. Maffione -- Increasing cohesion in automatically generated natural language texts / E.A. Maier and E. Not -- Production of cooperative answers on the basis of partial knowledge in information-seeking dialogues / L. Ardissono, L. Lesmo, A. Lombardo and D. Sestero -- Coping with modifiers in a restricted domain / F. Ciravegna and E. Giorda -- Explanation strategies in a tutoring system / G. Ferrari, M. Carenini and P. Moreschini -- Maintaining consistency in quantitative temporal constraint networks for planning and scheduling / R. Cervoni, A. Cesta and A. Oddi -- Making an autonomous robot plan temporally constrained maintenance operations / S. Badaloni, E. Pagello, L. Stocchiero and A. Zanardi -- A generative constraint formalism for configuration problems / M. Stumptner and A. Haselback -- Selecting observation time in the monitoring and interpretation of time-varying data / L. Portinale -- Spatial Reasoning in a holey world / A.C. Varzi.

ISBN

0387572929
9780387572925
3540572929
9783540572923

LCCN

93033997

OCLC

ocm28854514
28854514
SCSB-9162466

Owning Institutions

Princeton University Library