Table of contents

  1. Front Matter
  2. Luís Moniz Pereira, Luis Caires, José Alferes
    Pages 1-23
  3. María José Ramírez, Moreno Falaschi
    Pages 59-79
  4. Elisa Bertino, Maurizio Martelli, Danilo Montesi
    Pages 80-99
  5. Hassan Aïl-Kaci, Andreas Podelski
    Pages 100-119
  6. Agostino Dovier, Eugenio G. Omodeo, Enrico Pontelli, Gianfranco Rossi
    Pages 150-167
  7. Laura Giordano, Alberto Martelli
    Pages 168-186
  8. Antonio Brogi, Franco Turini
    Pages 187-204
  9. António Porto, Paulo Rosado
    Pages 216-241
  10. Micha Meier, Joachim Schimpf
    Pages 319-338
  11. Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini
    Pages 339-358
  12. Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
    Pages 359-393
  13. Back Matter

About these proceedings


This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions.


Constraint Extension Natural Turing abductive reasoning artificial intelligence functional programming intelligence knowledge logic programming proof theory software engineering

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-56454-6
  • Online ISBN 978-3-540-47562-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site