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

Logic Programming and Automated Reasoning

4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

Editors:

  1. Andrei Voronkov
    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 698)

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

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 (36 papers)

  1. Front Matter

    PDF

  2. Entailment and disentailment of order-sorted feature constraints

    • Hassan Aït-Kaci, Andreas Podelski
    Pages 1-18

  3. Computing extensions of default logic — Preliminary report

    • Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider
    Pages 19-27

  4. Prolog with arrays and bounded quantifications

    • Jonas Barklund, Johan Bevemyr
    Pages 28-39

  8. Consistency checking of automata functional specifications

    • Anatoli N. Chebotarev, Marina K. Morokhovets
    Pages 76-85

  9. Yet another application for Toupie: Verification of mutual exclusion algorithms

    • Marc-Michel Corsini, Alain Griffault, Antoine Rauzy
    Pages 86-97

  10. Parsing with DCG-terms

    • Andrew Davison
    Pages 98-109

  12. Ordered paramodulation and resolution as decision procedure

    • Christian Fermüller, Gernot Salzer
    Pages 122-133

  13. Static analysis of Prolog with cut

    • Gilberto Filé, Sabina Rossi
    Pages 134-145

  14. A new type theory for representing logics

    • Philippa Gardner
    Pages 146-157

  15. Verification of Switch-level designs with many-valued logic

    • Reiner Hähnle, Werner Kernig
    Pages 158-169

  16. Deciding in HFS-theory via linear integer programming

    • M. Hibti, H. Lombardi, B. Legeard
    Pages 170-181

  18. Increasing the versatility of heuristic based theorem provers

    • Alistair Manning, Andrew Ireland, Alan Bundy
    Pages 194-204
Back to top

About this book

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".
Back to top

Keywords

Back to top

Bibliographic Information

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