↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
12 Mendeley
Summary Wikipedia 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.
Title
Extensions of Logic Programming
Published by
Springer Science & Business Media, March 1996
DOI 10.1007/3-540-60983-0
ISBNs
978-3-54-060983-4, 978-3-54-049751-6
Editors

Dyckhoff, Roy, Herre, Heinrich, Schroeder-Heister, Peter

View on publisher site Google Preview
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 12 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United Kingdom 1 8%
Unknown 11 92%

Demographic breakdown

Readers by professional status Count As %
Professor 3 25%
Professor > Associate Professor 2 17%
Lecturer > Senior Lecturer 1 8%
Student > Master 1 8%
Student > Bachelor 1 8%
Other 2 17%
Unknown 2 17%
Readers by discipline Count As %
Computer Science 9 75%
Business, Management and Accounting 1 8%
Unknown 2 17%

This page is provided by Altmetric.