Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

  • Jacques Calmet
  • Belaid Benhamou
  • Olga Caprotti
  • Laurent Henocque
  • Volker Sorge
Conference proceedings

DOI: 10.1007/3-540-45470-5

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

Table of contents (30 papers)

  1. Front Matter
    Pages I-XI
  2. Invited Talks

  3. AISC Regular Talks

    1. Inductive Synthesis of Functional Programs
      Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki
      Pages 26-37
    2. A Symbolic Computation-Based Expert System for Alzheimer’s Disease Diagnosis
      Begoña Herrero, Luis M. Laita, Eugenio Roanes-Lozano, Víctor Maojo, Luis de Ledesma, José Crespo et al.
      Pages 38-50
    3. On a Generalised Logicality Theorem
      Marc Aiguier, Diane Bahrami, Catherine Dubois
      Pages 51-63
    4. The Wright ω Function
      Robert M. Corless, D. J. Jeffrey
      Pages 76-89
    5. Multicontext Logic for Semigroups of Contexts
      Rolf Nossum, Luciano Serafini
      Pages 90-101
    6. A Novel Face Recognition Method
      Li Bai, Yihui Liu
      Pages 128-135
    7. On Mathematical Modeling of Networks and Implementation Aspects
      Regina Bernhaupt, Jochen Pfalzgraf
      Pages 168-180
    8. Continuous First-Order Constraint Satisfaction
      Stefan Ratschan
      Pages 181-195

About these proceedings

Keywords

Automat artificial intelligence automated reasoning automated theorem proving intelligence modeling proving theorem proving

Editors and affiliations

  • Jacques Calmet
    • 1
  • Belaid Benhamou
    • 2
  • Olga Caprotti
    • 3
  • Laurent Henocque
    • 4
  • Volker Sorge
    • 5
  1. 1.University of Karlsruhe (TH)KarlsruheGermany
  2. 2.CMIUniversité de ProvenceMarseille Cedex 13France
  3. 3.Research Institute for Symbolic Computation (RISC-Linz)Johannes Kepler UniversityLinzAustria
  4. 4.ESILUniversité de la MéditerannéeMarseille Cedex 09France
  5. 5.School of Computer ScienceUniversity of BirminghamBirminghamUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43865-6
  • Online ISBN 978-3-540-45470-0
  • Series Print ISSN 0302-9743