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

Artificial Intelligence: Methodology, Systems, and Applications

8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings

Editors:

  1. Fausto Giunchiglia
    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 1480)

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

Conference series link(s): AIMSA: International Conference on Artificial Intelligence: Methodology, Systems, and Applications

Conference proceedings info: AIMSA 1998.

Sections

Buy it now

Softcover Book USD 54.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 (40 papers)

  1. Front Matter

    PDF

  2. The gain of failures: Using side-effects of anaphora resolution for term consistency checks

    • Galia Angelova, Ognyan Kalaydjiev, Walther von Hahn
    Pages 1-13

  3. An agent model for NL dialog interfaces

    • Liliana Ardissono, Guido Boella
    Pages 14-27

  4. Constraint solving in Logic Programming and in Automated Deduction: A comparison

    • Alessandro Armando, Erica Melis, Silvio Ranise
    Pages 28-38

  5. An extension of SATPLAN for planning with constraints

    • Marco Baioletti, Stefano Marcugini, Alfredo Milani
    Pages 39-49

  6. Reasoning about generalized intervals

    • P. Balbiani, J. -F. Condotta, L. Fariñas del Cerro, A. Osmani
    Pages 50-61

  7. Formalizing belief reports — The approach and a case study

    • Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
    Pages 62-75

  8. Extension calculus and query answering in prioritized default logic

    • F. Benhammadi, P. Nicolas, T. Schaub
    Pages 76-87

  9. Study of symmetry in qualitative temporal interval networks

    • BelaÏd Benhamou, Amar Isli
    Pages 88-101

  10. A blackboard architecture for guiding interactive proofs

    • Christoph Benzmüller, Volker Sorge
    Pages 102-114

  11. Combining nonmonotonic reasoning and belief revision: A practical approach

    • Brigitte Bessant, Eric Grégoire, Pierre Marquis, Lakhdar SaÏs
    Pages 115-128

  12. Modelling uncertainty with kripke's semantics

    • Veselka Boeva, Elena Tsiporkova, Bernard De Baets
    Pages 129-140

  13. Using linear temporal logic to model and solve planning problems

    • Serenella Cerrito, Marta Cialdea Mayer
    Pages 141-152

  14. Tailorable interactive agents for scheduling meetings

    • Amedeo Cesta, Marcello Collia, Daniela D'Aloisi
    Pages 153-166

  15. Planning diagonalization proofs

    • Lassaad Cheikhrouhou, Jörg Siekmann
    Pages 167-180

  16. Theories and proofs in fault diagnosis

    • Ilyas Cicekli
    Pages 181-194

  17. Nonmonotonic reasoning under uncertain evidence

    • Claudio Delrieux
    Pages 195-208

  18. Multicontext systems with importing contexts

    • Christo Dichev
    Pages 209-220

  19. Planning via model checking in determistic domains: Preliminary report

    • Mauro Di Manzo, Enrico Giunchiglia, Simone Ruffino
    Pages 221-229
Back to top

Other Volumes

  1. Artificial Intelligence: Methodology, Systems, and Applications

Back to top

About this book

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.
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Artificial Intelligence: Methodology, Systems, and Applications

  • Book Subtitle: 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998, Proceedings

  • Editors: Fausto Giunchiglia

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0057429

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1998

  • Softcover ISBN: 978-3-540-64993-9Published: 02 September 1998

  • eBook ISBN: 978-3-540-49793-6Published: 26 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 508

  • Topics: Artificial Intelligence

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 54.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