Table of contents

  1. Front Matter
  2. Galia Angelova, Ognyan Kalaydjiev, Walther von Hahn
    Pages 1-13
  3. Liliana Ardissono, Guido Boella
    Pages 14-27
  4. Alessandro Armando, Erica Melis, Silvio Ranise
    Pages 28-38
  5. Marco Baioletti, Stefano Marcugini, Alfredo Milani
    Pages 39-49
  6. P. Balbiani, J. -F. Condotta, L. Fariñas del Cerro, A. Osmani
    Pages 50-61
  7. Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
    Pages 62-75
  8. F. Benhammadi, P. Nicolas, T. Schaub
    Pages 76-87
  9. BelaÏd Benhamou, Amar Isli
    Pages 88-101
  10. Christoph Benzmüller, Volker Sorge
    Pages 102-114
  11. Brigitte Bessant, Eric Grégoire, Pierre Marquis, Lakhdar SaÏs
    Pages 115-128
  12. Veselka Boeva, Elena Tsiporkova, Bernard De Baets
    Pages 129-140
  13. Serenella Cerrito, Marta Cialdea Mayer
    Pages 141-152
  14. Amedeo Cesta, Marcello Collia, Daniela D'Aloisi
    Pages 153-166
  15. Lassaad Cheikhrouhou, Jörg Siekmann
    Pages 167-180
  16. Ilyas Cicekli
    Pages 181-194
  17. Claudio Delrieux
    Pages 195-208
  18. Christo Dichev
    Pages 209-220
  19. Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino
    Pages 221-229

About these proceedings


This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence: Methodology, Systems, Applications, AIMSA'98, held in Sozopol, Bulgaria, in September 1998.
The 40 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The papers address the whole spectrum of current topics in AI, in particular case-based reasoning, multi-agent systems, planning and temporal reasoning, decision procedures, inductive reasoning, abduction, constraint-based reasoning, knowledge acquisition, knowledge-based systems, learning, natural language processing, temporal and causal reasoning, etc.


Extension algorithms automated reasoning automated theorem proving expert system intelligence knowledge-based systems learning model checking modeling multi-agent system natural language nonmonotonic reasoning programming language uncertainty

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1998
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-64993-9
  • Online ISBN 978-3-540-49793-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book