↓ 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 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
Attention for Chapter 43: STeLP – A Tool for Temporal Answer Set Programming
Altmetric Badge

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
5 Mendeley
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
STeLP – A Tool for Temporal Answer Set Programming
Chapter number 43
Book title
Logic Programming and Nonmonotonic Reasoning
Published by
Springer, Berlin, Heidelberg, May 2011
DOI 10.1007/978-3-642-20895-9_43
Book ISBNs
978-3-64-220894-2, 978-3-64-220895-9
Authors

Pedro Cabalar, Martín Diéguez

View on publisher site
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 > Ph. D. Student 2 40%
Professor 1 20%
Researcher 1 20%
Student > Master 1 20%
Readers by discipline Count As %
Computer Science 4 80%
Mathematics 1 20%

This page is provided by Altmetric.