Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Advances in Artificial Intelligence

Third Congress of the Italian Association for Artificial Intelligence, AI*IA `93, Torino, Italy, October 26-28, 1993. Proceedings

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Pietro Torasso
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 728)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: AI*IA 1993.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Download chapter PDF

  2. Proving formulas through reduction to decidable classes

    • Mauro Di Manzo, Enrico Giunchiglia, Alessandro Armando, Paolo Pecchiari
    Pages 1-10

  3. Building and executing proof strategies in a formal metatheory

    • Alessandro Armando, Alessandro Cimatti, Luca Viganò
    Pages 11-22

  4. Computing 3-valued stable models by using the ATMS

    • Evelina Lamma, Paola Mello
    Pages 23-34

  5. Abstract properties for the choice provability relation in nonmonotonic logics

    • Grigoris Antoniou
    Pages 35-40

  6. Characterizing prime implicants as projective spaces

    • Fiora Pirri, Clara Pizzuti
    Pages 41-46

  7. EFH-Soar: Modeling education in highly interactive microworlds

    • Cristina Conati, Jill Fain Lehman
    Pages 47-58

  8. Foundations for interaction: The dependence theory

    • Cristiano Castelfranchi, Amedeo Cesta, Rosaria Conte, Maria Miceli
    Pages 59-64

  9. Letter spirit: An architecture for creativity in a microdomain

    • Gary McGraw, Douglas Hofstadter
    Pages 65-70

  10. New systems for extracting 3-D shape information from images

    • E. Ardizzone, A. Chella, R. Pirrone
    Pages 71-83

  11. Projecting sub-symbolic onto symbolic representations in artificial neural networks

    • Marco Gori, Giovanni Soda
    Pages 84-89

  12. Integrating the symbolic and the sub-symbolic level in sonar-based navigation

    • Alberto Braggiotti, Gaetano Chemello, Claudio Sossai, Gaetano Trainito
    Pages 90-95

  13. Randomness, imitation or reason explain agents' behaviour into an artificial stock market?

    • Pietro Terna
    Pages 96-101

  14. Neural networks for constraint satisfaction

    • Angelo Monfroglio
    Pages 102-107

  15. Reasoning with individuals in concept languages

    • Andrea Schaerf
    Pages 108-119

  16. A family of temporal terminological logics

    • Claudio Bettini
    Pages 120-131

  17. Logic programming and autoepistemic logics: New relations and complexity results

    • Marco Schaerf
    Pages 132-141

  18. Inferring in lego-land: an architecture for the integration of heterogeneous inference modules

    • Mauro Gaspari, Enrico Motta, Arthur Stutt
    Pages 142-153

  19. MAP — a language for the modelling of Multi-Agent systems

    • Giovanni Adorni, Agostino Poggi
    Pages 154-159

  20. Developing co-operating legal knowledge based systems

    • George Vossos, John Zeleznikow, Daniel Hunter
    Pages 160-165
Back to top

Other volumes

  1. Advances in Artificial Intelligence

Keywords

About this book

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.

Bibliographic Information

  • Book Title: Advances in Artificial Intelligence

  • Book Subtitle: Third Congress of the Italian Association for Artificial Intelligence, AI*IA `93, Torino, Italy, October 26-28, 1993. Proceedings

  • Editors: Pietro Torasso

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-57292-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1993

  • Softcover ISBN: 978-3-540-57292-3Published: 05 October 1993

  • eBook ISBN: 978-3-540-48038-9Published: 01 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIII, 343

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation