Advances in Artificial Intelligence

1. Front Matter

   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

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.

• Automated Reasoning
• Automatisches Schließen
• Cognitive Models
• Kognitionsmodelle
• Machine Learning
• Maschinelles Lernen
• Natural Language Processing
• algorithms
• artificial intelligence
• complexity
• genetic algorithms
• knowledge representation
• programming
• robot
• robotics

Policies and ethics