Advertisement

Logic Programming and Nonmonotonic Reasoning

5th International Conference, LPNMR’ 99 El Paso, Texas, USA, December 2–4, 1999 Proceedings

  • Michael Gelfond
  • Nicola Leone
  • Gerald Pfeifer

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1730)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Contributed Papers

    1. Georg Gottlob, Francesco Scarcello, Martha Sideri
      Pages 1-18
    2. Douglas Cenzer, Jeffrey B. Remmel, Amy Vanderbilt
      Pages 34-48
    3. Victor Marek, Inna Pivkina, Miroslaw Truszczyński
      Pages 49-62
    4. Antonis Kakas, Rob Miller, Francesca Toni
      Pages 78-91
    5. Vladimir Lifschitz, Hudson Turner
      Pages 92-106
    6. Esra Erdem, Vladimir Lifschitz
      Pages 107-116
    7. Fangzhen Lin, Kewen Wang
      Pages 117-131
    8. Michael Dekhtyar, Alexander Dikovsky, Sergey Dudakov, Nicolas Spyratos
      Pages 132-146
    9. Chiaki Sakama, Katsumi Inoue
      Pages 147-161
    10. José Júlio Alferes, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski
      Pages 162-176
    11. Wolfgang Faber, Nicola Leone, Gerald Pfeifer
      Pages 177-191
    12. Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou
      Pages 192-205
    13. Baoqiu Cui, Terrance Swift, David S. Warren
      Pages 206-220
    14. Marina De Vos, Dirk Vermeir
      Pages 236-246
    15. Thomas Linke, Torsten Schaub
      Pages 247-261
    16. Carlos Viegas Damásio1, Luís Moniz Pereira, Terrance Swift
      Pages 262-276
    17. Ilkka Niemelá1, Patrik Simons, Timo Soininen
      Pages 317-331
    18. Riccardo Rosati
      Pages 332-346
    19. G. Antoniou, M. J. Maher, Billington Billington, G. Governatori
      Pages 347-356
    20. Pascal Hitzler, Anthony Karel Seda
      Pages 357-371
  3. Invited Talks

  4. Back Matter
    Pages 391-391

About these proceedings

Keywords

Automated Deduction Constraint Programming Logic Programming Nonclassical Logics Nonmonotonic Reasoning complexity knowledge representation logic programming semantics

Editors and affiliations

  • Michael Gelfond
    • 1
  • Nicola Leone
    • 2
  • Gerald Pfeifer
    • 2
  1. 1.Department of Computer ScienceUniversity of Texas at El PasoEl PasoUSA
  2. 2.Institut für Informationssysteme 184/2Technische Universität WienViennaAustria

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46767-X
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-66749-0
  • Online ISBN 978-3-540-46767-0
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site