↓ Skip to main content
What is this page? Embed badge

Extensions of Logic Programming

Overview of attention for book
Cover of 'Extensions of Logic Programming'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 45 Introduction
  3. Altmetric Badge
    Chapter 46 Design for AKL with intelligent pruning
  4. Altmetric Badge
    Chapter 47 Contradiction: When avoidance equals removal Part I
  5. Altmetric Badge
    Chapter 48 Birkhoff's HSP-theorem for cumulative logic programs
  6. Altmetric Badge
    Chapter 49 Finite domains and exclusions as first-class citizens
  7. Altmetric Badge
    Chapter 50 Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture
  8. Altmetric Badge
    Chapter 51 A language with finite sets embedded in the CLP-scheme
  9. Altmetric Badge
    Chapter 52 Finitary partial inductive definitions as a general logic
  10. Altmetric Badge
    Chapter 53 Programming methodologies in GCLA
  11. Altmetric Badge
    Chapter 54 Computing cost estimates for proof strategies
  12. Altmetric Badge
    Chapter 55 Logic programming with multiple context management schemes
  13. Altmetric Badge
    Chapter 56 Non-procedural logic programming
  14. Altmetric Badge
    Chapter 57 Axioms in definitional calculi
  15. Altmetric Badge
    Chapter 58 A proposal for modules in λProlog
  16. Altmetric Badge
    Chapter 59 Regular search spaces as a foundation of logic programming
  17. Altmetric Badge
    Chapter 60 Answer sets and nonmonotonic S4
  18. Altmetric Badge
    Chapter 61 Contradiction: When avoidance equals removal Part II
  19. Altmetric Badge
    Chapter 62 Cut formulae and logic programming
  20. Altmetric Badge
    Chapter 63 Higher-order aspects of logic programming
  21. Altmetric Badge
    Chapter 64 Representation and inference with consistent temporal propositions
  22. Altmetric Badge
    Chapter 65 Definitional reflection and the completion
  23. Altmetric Badge
    Chapter 66 Linear logic semantics for Concurrent Prolog
Attention for Chapter 47: Contradiction: When avoidance equals removal Part I
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Contradiction: When avoidance equals removal Part I
Chapter number 47
Book title
Extensions of Logic Programming
Published by
Springer, Berlin, Heidelberg, March 1993
DOI 10.1007/3-540-58025-5_47
Book ISBNs
978-3-54-058025-6, 978-3-54-048417-2
Authors

José Júlio Alferes, Luís Moniz Pereira

View on publisher site

This page is provided by Altmetric.