↓ Skip to main content

Logic Programming and Nonmonotonic Reasoning

Overview of attention for book
Cover of 'Logic Programming and Nonmonotonic Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
  3. Altmetric Badge
    Chapter 2 Foundations and Extensions of Answer Set Programming: The Logical Approach
  4. Altmetric Badge
    Chapter 3 Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages
  5. Altmetric Badge
    Chapter 4 Modularity of P-Log Programs
  6. Altmetric Badge
    Chapter 5 Symmetry Breaking for Distributed Multi-Context Systems
  7. Altmetric Badge
    Chapter 6 Splitting an Argumentation Framework
  8. Altmetric Badge
    Chapter 7 Reactive Answer Set Programming
  9. Altmetric Badge
    Chapter 8 Communicating ASP and the Polynomial Hierarchy
  10. Altmetric Badge
    Chapter 9 Loop Formulas for Splitable Temporal Logic Programs
  11. Altmetric Badge
    Chapter 10 Logic Programming and Nonmonotonic Reasoning
  12. Altmetric Badge
    Chapter 11 Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems
  13. Altmetric Badge
    Chapter 12 Relational Information Exchange and Aggregation in Multi-Context Systems
  14. Altmetric Badge
    Chapter 13 Logic Programming and Nonmonotonic Reasoning
  15. Altmetric Badge
    Chapter 14 Dynamic Magic Sets for Programs with Monotone Recursive Aggregates
  16. Altmetric Badge
    Chapter 15 Strong Equivalence of Logic Programs with Abstract Constraint Atoms
  17. Altmetric Badge
    Chapter 16 Back and Forth between Rules and SE -Models
  18. Altmetric Badge
    Chapter 17 What Are the Necessity Rules in Defeasible Reasoning?
  19. Altmetric Badge
    Chapter 18 Partial Preferences and Ambiguity Resolution in Contextual Defeasible Logic
  20. Altmetric Badge
    Chapter 19 On Influence and Contractions in Defeasible Logic Programming
  21. Altmetric Badge
    Chapter 20 Termination of Grounding Is Not Preserved by Strongly Equivalent Transformations
  22. Altmetric Badge
    Chapter 21 Aggregates in Answer Set Optimization
  23. Altmetric Badge
    Chapter 22 Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis
  24. Altmetric Badge
    Chapter 23 Contingency-Based Equilibrium Logic
  25. Altmetric Badge
    Chapter 24 Weight Constraints with Preferences in ASP
  26. Altmetric Badge
    Chapter 25 Parametrized Equilibrium Logic
  27. Altmetric Badge
    Chapter 26 Logic Programming and Nonmonotonic Reasoning
  28. Altmetric Badge
    Chapter 27 Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
  29. Altmetric Badge
    Chapter 28 Logic Programming and Nonmonotonic Reasoning
  30. Altmetric Badge
    Chapter 29 New Semantics for Epistemic Specifications
  31. Altmetric Badge
    Chapter 30 cmMUS : A Tool for Circumscription-Based MUS Membership Testing
  32. Altmetric Badge
    Chapter 31 Transaction Logic with External Actions
  33. Altmetric Badge
    Chapter 32 An Application of Clasp in the Study of Logics
  34. Altmetric Badge
    Chapter 33 Industrial-Size Scheduling with ASP+CP
  35. Altmetric Badge
    Chapter 34 Secommunity: A Framework for Distributed Access Control
  36. Altmetric Badge
    Chapter 35 Itemset Mining as a Challenge Application for Answer Set Enumeration
  37. Altmetric Badge
    Chapter 36 Causal Reasoning for Planning and Coordination of Multiple Housekeeping Robots
  38. Altmetric Badge
    Chapter 37 ASPIDE: Integrated Development Environment for Answer Set Programming
  39. Altmetric Badge
    Chapter 38 ASP-Prolog for Negotiation among Dishonest Agents
  40. Altmetric Badge
    Chapter 39 Advances in gringo Series 3
  41. Altmetric Badge
    Chapter 40 A Portfolio Solver for Answer Set Programming: Preliminary Report
  42. Altmetric Badge
    Chapter 41 plasp: A Prototype for PDDL-Based Planning in ASP
  43. Altmetric Badge
    Chapter 42 Cluster-Based ASP Solving with claspar
  44. Altmetric Badge
    Chapter 43 STeLP – A Tool for Temporal Answer Set Programming
  45. Altmetric Badge
    Chapter 44 Compiling Answer Set Programs into Event-Driven Action Rules
  46. Altmetric Badge
    Chapter 45 Logic Programming and Nonmonotonic Reasoning
  47. Altmetric Badge
    Chapter 46 The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
9 Mendeley
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
Logic Programming and Nonmonotonic Reasoning
Published by
Lecture notes in computer science, January 2011
DOI 10.1007/978-3-642-20895-9
ISBNs
978-3-64-220894-2, 978-3-64-220895-9
Authors

James P. Delgrande, Wolfgang Faber

Editors

Delgrande, James P., Faber, Wolfgang, Delgrande, James P., Faber, Wolfgang

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 9 100%

Demographic breakdown

Readers by professional status Count As %
Professor 2 22%
Lecturer > Senior Lecturer 2 22%
Other 2 22%
Student > Master 1 11%
Student > Ph. D. Student 1 11%
Other 1 11%
Readers by discipline Count As %
Engineering 4 44%
Pharmacology, Toxicology and Pharmaceutical Science 1 11%
Agricultural and Biological Sciences 1 11%
Unspecified 1 11%
Medicine and Dentistry 1 11%
Other 1 11%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 06 February 2014.
All research outputs
#18,441,836
of 22,849,304 outputs
Outputs from Lecture notes in computer science
#6,012
of 8,126 outputs
Outputs of similar age
#160,489
of 180,885 outputs
Outputs of similar age from Lecture notes in computer science
#228
of 317 outputs
Altmetric has tracked 22,849,304 research outputs across all sources so far. This one is in the 11th percentile – i.e., 11% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,126 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 14th percentile – i.e., 14% of its peers scored the same or lower than it.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 180,885 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 5th percentile – i.e., 5% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 317 others from the same source and published within six weeks on either side of this one. This one is in the 12th percentile – i.e., 12% of its contemporaries scored the same or lower than it.