Table of contents

  1. Front Matter
  2. Pages 1-2
  3. Salvador Abreu, Luís Moniz Pereira
    Pages 3-10
  4. José Júlio Alferes, Luís Moniz Pereira
    Pages 11-23
  5. Anna Ciampolini, Evelina Lamma, Paola Mello, Cesare Stefanelli
    Pages 62-76
  6. Göran Falkman, Olof Torgersson
    Pages 120-151
  7. Knut Hinkelmann, Helge Hintze
    Pages 152-170
  8. Seppo Keronen
    Pages 183-195
  9. Per Kreuger
    Pages 196-205
  10. Dale Miller
    Pages 206-221
  11. Alberto Momigliano, Mario Ornaghi
    Pages 222-254
  12. David Pearce, Gruppe LWI
    Pages 255-267
  13. Luís Moniz Pereira, José Júlio Alferes
    Pages 268-281
  14. Luis Pinto
    Pages 282-300
  15. Uday S. Reddy
    Pages 301-321
  16. Cristina Ribeiro, António Porto
    Pages 322-332
  17. Peter Schroeder-Heister
    Pages 333-347
  18. Jiří Zlatuška
    Pages 348-360
  19. Back Matter

About these proceedings


The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks.


Extension Prolog knowledge knowledge representation logic programming proof theory

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58025-6
  • Online ISBN 978-3-540-48417-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment