Advertisement

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
  20. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer
    Pages 240-253
  21. Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
    Pages 254-266
  22. Chiara Ghidini, Luciano Serafini
    Pages 267-280
  23. Antonis Kakas, Evelina Lamma, Fabrizio Riguzzi
    Pages 303-316
  24. Churn-Jung Liau
    Pages 317-330
  25. Zdravko Markov, Nikolay Pelov
    Pages 341-352
  26. Anatoly Nachev, Niall Griffith, Alexander Gerov
    Pages 353-362
  27. Roberto Sebastiani, Adolfo Villafiorita
    Pages 377-388
  28. Evgueni N. Smirnov, Peter J. Braspenning
    Pages 389-402
  29. Adolfo Villafiorita
    Pages 427-437
  30. Ioannis Vlahavas, Nick Bassiliades, Ilias Sakellariou, Martin Molina, Sascha Ossowski, Ivan Futo et al.
    Pages 438-451
  31. Qiang Yang, Irène Abi-Zeid, Luc Lamontagne
    Pages 466-474
  32. Yiming Ye, John K. Tsotsos
    Pages 475-488
  33. Back Matter

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/BFb0057429
  • 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
  • Buy this book on publisher's site