Skip to main content
SpringerLink
Log in

AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Roberto Basili
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Maria Teresa Pazienza
    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 4733)

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

Included in the following conference series:

Conference proceedings info: AI*IA 2007.

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (77 papers)

  1. Front Matter

    Download chapter PDF

  3. Knowledge Representation and Reasoning

    1. Model-Based Diagnosability Analysis for Web Services

      • Stefano Bocconi, Claudia Picardi, Xavier Pucel, Daniele Theseider Dupré, Louise Travé-Massuyès
      Pages 24-35

    2. Finite Model Reasoning on UML Class Diagrams Via Constraint Programming

      • Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
      Pages 36-47

    3. Model Checking and Preprocessing

      • Andrea Ferrara, Paolo Liberatore, Marco Schaerf
      Pages 48-59

    4. Some Issues About Cognitive Modelling and Functionalism

      • Francesco Gagliardi
      Pages 60-71

    5. Understanding the Environment Through Wireless Sensor Networks

      • Salvatore Gaglio, Luca Gatani, Giuseppe Lo Re, Marco Ortolani
      Pages 72-83

    6. An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0

      • Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
      Pages 84-96

    7. Ranking and Reputation Systems in the QBF Competition

      • Massimo Narizzano, Luca Pulina, Armando Tacchella
      Pages 97-108

    8. A Top Down Interpreter for LPAD and CP-Logic

      • Fabrizio Riguzzi
      Pages 109-120

  4. Multiagent Systems, Distributed AI

    1. A Multi-layered General Agent Model

      • Stefania Costantini, Arianna Tocchio, Francesca Toni, Panagiota Tsintza
      Pages 121-132

    2. Goal Generation with Ordered Beliefs

      • Célia da Costa Pereira, Andrea G. B. Tettamanzi
      Pages 133-144

    3. Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic

      • Laura Giordano, Alberto Martelli
      Pages 145-156

  5. Knowledge Engineering, Ontologies and the Semantic Web

    1. Harvesting Relational and Structured Knowledge for Ontology Building in the WPro Architecture

      • Daniele Bagni, Marco Cappella, Maria Teresa Pazienza, Marco Pennacchiotti, Armando Stellato
      Pages 157-169

    2. English Querying over Ontologies: E-QuOnto

      • Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne
      Pages 170-181

    3. Use of Ontologies in Practical NL Query Interpretation

      • Leonardo Lesmo, Livio Robaldo
      Pages 182-193

  6. Machine Learning

    1. Evolving Complex Neural Networks

      • Mauro Annunziato, Ilaria Bertini, Matteo De Felice, Stefano Pizzuti
      Pages 194-205

    2. Discovering Relational Emerging Patterns

      • Annalisa Appice, Michelangelo Ceci, Carlo Malgieri, Donato Malerba
      Pages 206-217
Back to top

Other volumes

  1. AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

Keywords

Bibliographic Information

  • Book Title: AI*IA 2007: Artificial Intelligence and Human-Oriented Computing

  • Book Subtitle: 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings

  • Editors: Roberto Basili, Maria Teresa Pazienza

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-540-74782-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2007

  • Softcover ISBN: 978-3-540-74781-9Published: 28 August 2007

  • eBook ISBN: 978-3-540-74782-6Published: 26 August 2007

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XVII, 862

  • Topics: Artificial Intelligence, Computation by Abstract Devices, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation