↓ 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 1 Extensions of Logic Programming
  3. Altmetric Badge
    Chapter 2 Translating a modal language with embedded implication into Horn clause logic
  4. Altmetric Badge
    Chapter 3 Pruning the search space of logic programs
  5. Altmetric Badge
    Chapter 4 A significant extension of logic programming by adapting model building rules
  6. Altmetric Badge
    Chapter 5 Efficient resource management for linear logic proof search
  7. Altmetric Badge
    Chapter 6 A logic language based on GAMMA-like multiset rewriting
  8. Altmetric Badge
    Chapter 7 Default negated conclusions: Why not?
  9. Altmetric Badge
    Chapter 8 Extensions of Logic Programming
  10. Altmetric Badge
    Chapter 9 An abstract machine for reasoning about situations, actions, and causality
  11. Altmetric Badge
    Chapter 10 On the computational complexity of propositional logic programs with nested implications
  12. Altmetric Badge
    Chapter 11 Proof-theory for extensions of Logic Programming
  13. Altmetric Badge
    Chapter 12 A fibrational semantics for logic programs
  14. Altmetric Badge
    Chapter 13 Higher Order Babel: Language and implementation
  15. Altmetric Badge
    Chapter 14 A new framework for declarative programming: Categorical perspectives
  16. Altmetric Badge
    Chapter 15 Extending constructive negation for partial functions in lazy functional-logic languages
  17. Altmetric Badge
    Chapter 16 Super logic programs and negation as belief
  18. Altmetric Badge
    Chapter 17 Total correctness of logic programs: A formal approach
  19. Altmetric Badge
    Chapter 18 A declarative semantics for the P rolog cut operator
  20. Altmetric Badge
    Chapter 19 A definitional approach to functional logic programming
  21. Altmetric Badge
    Chapter 20 Soundness and completeness of non-classical extended SLD-resolution
  22. Altmetric Badge
    Chapter 21 Some postulates for nonmonotonic theory revision applied to logic programming
Attention for Chapter 1: Extensions of Logic Programming
Altmetric Badge

Citations

dimensions_citation
3 Dimensions
Summary Dimensions citations
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
Extensions of Logic Programming
Chapter number 1
Book title
Extensions of Logic Programming
Published in
Lecture notes in computer science, June 2005
DOI 10.1007/3-540-60983-0_1
Book ISBNs
978-3-54-060983-4, 978-3-54-049751-6
Authors

Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, Martin Argenius, Andrei Voronkov, Argenius, Martin, Voronkov, Andrei

View on publisher site

This page is provided by Altmetric.