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

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 Train Scheduling with Hybrid ASP
  3. Altmetric Badge
    Chapter 2 Telco Network Inventory Validation with NoHR
  4. Altmetric Badge
    Chapter 3 An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots
  5. Altmetric Badge
    Chapter 4 C-ASP: Continuous ASP-Based Reasoning over RDF Streams
  6. Altmetric Badge
    Chapter 5 Internet Routing and Non-monotonic Reasoning
  7. Altmetric Badge
    Chapter 6 Assessing Arguments with Schemes and Fallacies
  8. Altmetric Badge
    Chapter 7 Simple Contrapositive Assumption-Based Frameworks
  9. Altmetric Badge
    Chapter 8 Argumentation-Based Explanations for Answer Sets Using ADF
  10. Altmetric Badge
    Chapter 9 Treewidth and Counting Projected Answer Sets
  11. Altmetric Badge
    Chapter 10 Splitting Epistemic Logic Programs
  12. Altmetric Badge
    Chapter 11 Founded World Views with Autoepistemic Equilibrium Logic
  13. Altmetric Badge
    Chapter 12 Towards Dynamic Answer Set Programming over Finite Traces
  14. Altmetric Badge
    Chapter 13 A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur
  15. Altmetric Badge
    Chapter 14 Diagnosing Data Pipeline Failures Using Action Languages
  16. Altmetric Badge
    Chapter 15 Repair-Based Degrees of Database Inconsistency
  17. Altmetric Badge
    Chapter 16 Elect: An Inconsistency Handling Approach for Partially Preordered Lightweight Ontologies
  18. Altmetric Badge
    Chapter 17 Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language $$p\mathcal{BC}{+}$$
  19. Altmetric Badge
    Chapter 18 Evaluation of Disjunctive Programs in WASP
  20. Altmetric Badge
    Chapter 19 telingo  = ASP + Time
  21. Altmetric Badge
    Chapter 20 Verifying Strong Equivalence of Programs in the Input Language of gringo
  22. Altmetric Badge
    Chapter 21 The Return of xorro
  23. Altmetric Badge
    Chapter 22 Degrees of Laziness in Grounding
  24. Altmetric Badge
    Chapter 23 Enhancing DLV for Large-Scale Reasoning
  25. Altmetric Badge
    Chapter 24 Pruning External Minimality Checking for ASP Using Semantic Dependencies
  26. Altmetric Badge
    Chapter 25 Declarative Local Search for Predicate Logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
6 X users

Citations

dimensions_citation
14 Dimensions

Readers on

mendeley
5 Mendeley
Summary X 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
Logic Programming and Nonmonotonic Reasoning
Published by
Springer International Publishing, July 2019
DOI 10.1007/978-3-030-20528-7
ISBNs
978-3-03-020527-0, 978-3-03-020528-7
Editors

Balduccini, Marcello, Lierler, Yuliya, Woltran, Stefan

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 6 X users 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 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 3 60%
Unspecified 2 40%
Readers by discipline Count As %
Computer Science 3 60%
Unspecified 2 40%

This page is provided by Altmetric.