↓ Skip to main content

Logic for Programming, Artificial Intelligence, and Reasoning

Overview of attention for book
Cover of 'Logic for Programming, Artificial Intelligence, and Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics
  3. Altmetric Badge
    Chapter 2 May-Happen-in-Parallel Analysis for Priority-Based Scheduling
  4. Altmetric Badge
    Chapter 3 The complexity of clausal fragments of LTL
  5. Altmetric Badge
    Chapter 4 A Semantic Basis for Proof Queries and Transformations
  6. Altmetric Badge
    Chapter 5 Expressive Path Queries on Graphs with Data
  7. Altmetric Badge
    Chapter 6 Proving Infinite Satisfiability
  8. Altmetric Badge
    Chapter 7 SAT-Based Preprocessing for MaxSAT
  9. Altmetric Badge
    Chapter 8 Dynamic and Static Symmetry Breaking in Answer Set Programming
  10. Altmetric Badge
    Chapter 9 HOL Based First-Order Modal Logic Provers
  11. Altmetric Badge
    Chapter 10 Resourceful Reachability as HORN-LA
  12. Altmetric Badge
    Chapter 11 A Seligman-Style Tableau System
  13. Altmetric Badge
    Chapter 12 Comparison of LTL to Deterministic Rabin Automata Translators
  14. Altmetric Badge
    Chapter 13 Logic for Programming, Artificial Intelligence, and Reasoning
  15. Altmetric Badge
    Chapter 14 Polarizing Double-Negation Translations
  16. Altmetric Badge
    Chapter 15 Revisiting the Equivalence of Shininess and Politeness
  17. Altmetric Badge
    Chapter 16 Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic
  18. Altmetric Badge
    Chapter 17 Multi-objective Discounted Reward Verification in Graphs and MDPs
  19. Altmetric Badge
    Chapter 18 Description Logics, Rules and Multi-context Systems
  20. Altmetric Badge
    Chapter 19 Complexity Analysis in Presence of Control Operators and Higher-Order Functions
  21. Altmetric Badge
    Chapter 20 Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo
  22. Altmetric Badge
    Chapter 21 Logic for Programming, Artificial Intelligence, and Reasoning
  23. Altmetric Badge
    Chapter 22 Verifying Temporal Properties in Real Models
  24. Altmetric Badge
    Chapter 23 Logic for Programming, Artificial Intelligence, and Reasoning
  25. Altmetric Badge
    Chapter 24 Logic for Programming, Artificial Intelligence, and Reasoning
  26. Altmetric Badge
    Chapter 25 Relaxing Synchronization Constraints in Behavioral Programs
  27. Altmetric Badge
    Chapter 26 Characterizing Subset Spaces as Bi-topological Structures
  28. Altmetric Badge
    Chapter 27 Proof-Pattern Recognition and Lemma Discovery in ACL2
  29. Altmetric Badge
    Chapter 28 Semantic A-translations and Super-Consistency Entail Classical Cut Elimination
  30. Altmetric Badge
    Chapter 29 Logic for Programming, Artificial Intelligence, and Reasoning
  31. Altmetric Badge
    Chapter 30 Maximal Falsifiability
  32. Altmetric Badge
    Chapter 31 Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning
  33. Altmetric Badge
    Chapter 32 On QBF Proofs and Preprocessing
  34. Altmetric Badge
    Chapter 33 Partial Backtracking in CDCL Solvers
  35. Altmetric Badge
    Chapter 34 Lemma Mining over HOL Light
  36. Altmetric Badge
    Chapter 35 On Module-Based Abstraction and Repair of Behavioral Programs
  37. Altmetric Badge
    Chapter 36 Prediction and Explanation over DL- Lite Data Streams
  38. Altmetric Badge
    Chapter 37 Logic for Programming, Artificial Intelligence, and Reasoning
  39. Altmetric Badge
    Chapter 38 Simulating Parity Reasoning
  40. Altmetric Badge
    Chapter 39 Herbrand Theorems for Substructural Logics
  41. Altmetric Badge
    Chapter 40 On Promptness in Parity Games
  42. Altmetric Badge
    Chapter 41 Defining Privacy Is Supposed to Be Easy
  43. Altmetric Badge
    Chapter 42 Reachability Modules for the Description Logic $\mathcal{SRIQ}$
  44. Altmetric Badge
    Chapter 43 An Event Structure Model for Probabilistic Concurrent Kleene Algebra
  45. Altmetric Badge
    Chapter 44 Three SCC-Based Emptiness Checks for Generalized Büchi Automata
  46. Altmetric Badge
    Chapter 45 PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification
  47. Altmetric Badge
    Chapter 46 Incremental Tabling for Query-Driven Propagation of Logic Program Updates
  48. Altmetric Badge
    Chapter 47 Tracking Data-Flow with Open Closure Types
  49. Altmetric Badge
    Chapter 48 Putting Newton into Practice: A Solver for Polynomial Equations over Semirings
  50. Altmetric Badge
    Chapter 49 System Description: E 1.8
  51. Altmetric Badge
    Chapter 50 Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light
  52. Altmetric Badge
    Chapter 51 On Minimality and Integrity Constraints in Probabilistic Abduction
  53. Altmetric Badge
    Chapter 52 Polar: A Framework for Proof Refactoring
Attention for Chapter 3: The complexity of clausal fragments of LTL
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
9 Dimensions

Readers on

mendeley
5 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.
Chapter title
The complexity of clausal fragments of LTL
Chapter number 3
Book title
Logic for Programming, Artificial Intelligence, and Reasoning
Published in
Lecture notes in computer science, January 2013
DOI 10.1007/978-3-642-45221-5_3
Book ISBNs
978-3-64-245220-8, 978-3-64-245221-5
Authors

Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev, Artale, Alessandro, Kontchakov, Roman, Ryzhikov, Vladislav, Zakharyaschev, Michael

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 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Japan 1 20%
United Kingdom 1 20%
United States 1 20%
Unknown 2 40%

Demographic breakdown

Readers by professional status Count As %
Researcher 2 40%
Professor 1 20%
Librarian 1 20%
Student > Doctoral Student 1 20%
Readers by discipline Count As %
Computer Science 4 80%
Business, Management and Accounting 1 20%
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 11 August 2014.
All research outputs
#18,379,655
of 22,765,347 outputs
Outputs from Lecture notes in computer science
#6,007
of 8,125 outputs
Outputs of similar age
#218,206
of 280,922 outputs
Outputs of similar age from Lecture notes in computer science
#247
of 314 outputs
Altmetric has tracked 22,765,347 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,125 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 280,922 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 11th percentile – i.e., 11% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 314 others from the same source and published within six weeks on either side of this one. This one is in the 8th percentile – i.e., 8% of its contemporaries scored the same or lower than it.