Table of contents

  1. Front Matter
  2. Thomas Eiter, Georg Gottlob, Nicola Leone
    Pages 1-14
  3. Carlos Viegas Damásio, Luís Moniz Pereira
    Pages 29-42
  4. V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    Pages 43-56
  5. D. Aquilino, P. Asirelli, C. Renso, F. Turini
    Pages 57-70
  6. M. Halfeld Ferrari Alves, D. Laurent, N. Spyratos
    Pages 71-84
  7. Kenneth A. Berman, John S. Schlipf, John V. Franco
    Pages 113-126
  8. Vladimir Lifschitz, Norman McCain, Teodor C. Przymusinski, Robert F. Stärk
    Pages 127-142
  9. Melvin Fitting
    Pages 143-155
  10. Teodor C. Przymusinski, Hudson Turner
    Pages 156-174
  11. João C. P. da Silva, Sheila R. M. Veloso
    Pages 175-188
  12. Cees Witteveen, Wiebe van der Hoek
    Pages 189-202
  13. D. Gabbay, L. Giordano, A. Martelli, N. Olivetti
    Pages 203-216
  14. Artur Mikitiuk, Miroslaw Truszczyński
    Pages 259-272
  15. Paweł Cholewiński
    Pages 273-286
  16. Raymond T. Ng, Xiaomei Tian
    Pages 287-301
  17. Phan Minh Dung, Tran Cao Son
    Pages 316-329
  18. Antonio Brogi, Evelina Lamma, Paolo Mancarella, Paola Mello
    Pages 330-343
  19. Chiaki Sakama, Katsumi Inoue
    Pages 344-357
  20. David Pearce
    Pages 372-387
  21. Arcot Rajasekar
    Pages 388-400
  22. Francesca Toni, Antonios C. Kakas
    Pages 401-415
  23. Back Matter

About these proceedings


This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently attracted much interest.


Nichtklassische Logiken Nichtmonotones Schließen Programm-Semantik artificial intelligence logic logic programming nonclassical logics nonmonotonic reasoning program semantics prolog

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1995
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-59487-1
  • Online ISBN 978-3-540-49282-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking