Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2007

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

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)

Conference series link(s): AIxIA: International Conference of the Italian Association for Artificial Intelligence

Conference proceedings info: AI*IA 2007.

Sections

Buy it now

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

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

Table of contents (77 papers)

  1. Front Matter

    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

    5. Understanding the Environment Through Wireless Sensor Networks

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

    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

  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

Back to top

Keywords

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation