↓ Skip to main content

Logics in Artificial Intelligence

Overview of attention for book
Cover of 'Logics in Artificial Intelligence'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Query Answering over Description Logic Ontologies
  3. Altmetric Badge
    Chapter 2 Tools for the Investigation of Substructural and Paraconsistent Logics
  4. Altmetric Badge
    Chapter 3 Non-classical Planning with a Classical Planner: The Power of Transformations
  5. Altmetric Badge
    Chapter 4 Opportunities for Argument-Centric Persuasion in Behaviour Change
  6. Altmetric Badge
    Chapter 5 The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics
  7. Altmetric Badge
    Chapter 6 Tight Complexity Bounds for Reasoning in the Description Logic $\mathcal{BE{\kern-.1em}L}$
  8. Altmetric Badge
    Chapter 7 Relevant Closure: A New Form of Defeasible Reasoning for Description Logics
  9. Altmetric Badge
    Chapter 8 Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$
  10. Altmetric Badge
    Chapter 9 Sub-propositional Fragments of the Interval Temporal Logic of Allen’s Relations
  11. Altmetric Badge
    Chapter 10 SAT Modulo Graphs: Acyclicity
  12. Altmetric Badge
    Chapter 11 Enumerating Prime Implicants of Propositional Formulae in Conjunctive Normal Form
  13. Altmetric Badge
    Chapter 12 Improving the Normalization of Weight Rules in Answer Set Programs
  14. Altmetric Badge
    Chapter 13 Logical Foundations of Possibilistic Keys
  15. Altmetric Badge
    Chapter 14 Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information
  16. Altmetric Badge
    Chapter 15 LEG Networks for Ranking Functions
  17. Altmetric Badge
    Chapter 16 Logics for Approximating Implication Problems of Saturated Conditional Independence
  18. Altmetric Badge
    Chapter 17 Finitary S5 -Theories
  19. Altmetric Badge
    Chapter 18 Efficient Program Transformers for Translating LCC to PDL
  20. Altmetric Badge
    Chapter 19 On the Expressiveness of the Interval Logic of Allen’s Relations Over Finite and Discrete Linear Orders
  21. Altmetric Badge
    Chapter 20 Only-Knowing à la Halpern-Moses for Non-omniscient Rational Agents: A Preliminary Report
  22. Altmetric Badge
    Chapter 21 A Complexity Assessment for Queries Involving Sufficient and Necessary Causes
  23. Altmetric Badge
    Chapter 22 Inductive Learning of Answer Set Programs
  24. Altmetric Badge
    Chapter 23 Stable Models of Fuzzy Propositional Formulas
  25. Altmetric Badge
    Chapter 24 A Free Logic for Stable Models with Partial Intensional Functions
  26. Altmetric Badge
    Chapter 25 Constructive Models for Contraction with Intransitive Plausibility Indifference
  27. Altmetric Badge
    Chapter 26 Four Floors for the Theory of Theory Change: The Case of Imperfect Discrimination
  28. Altmetric Badge
    Chapter 27 Revisiting Postulates for Inconsistency Measures
  29. Altmetric Badge
    Chapter 28 A Translation-Based Approach for Revision of Argumentation Frameworks
  30. Altmetric Badge
    Chapter 29 Preserving Strong Equivalence while Forgetting
  31. Altmetric Badge
    Chapter 30 Logics in Artificial Intelligence
  32. Altmetric Badge
    Chapter 31 A Prioritized Assertional-Based Revision for DL-Lite Knowledge Bases
  33. Altmetric Badge
    Chapter 32 Modular Paracoherent Answer Sets
  34. Altmetric Badge
    Chapter 33 Action Theories over Generalized Databases with Equality Constraints
  35. Altmetric Badge
    Chapter 34 A Dynamic View of Active Integrity Constraints
  36. Altmetric Badge
    Chapter 35 Similarity Orders from Causal Equations
  37. Altmetric Badge
    Chapter 36 Verification of Context-Sensitive Knowledge and Action Bases
  38. Altmetric Badge
    Chapter 37 System aspmt2smt : Computing ASPMT Theories by SMT Solvers
  39. Altmetric Badge
    Chapter 38 A Library of Anti-unification Algorithms
  40. Altmetric Badge
    Chapter 39 The D-FLAT System for Dynamic Programming on Tree Decompositions
  41. Altmetric Badge
    Chapter 40 Logics in Artificial Intelligence
  42. Altmetric Badge
    Chapter 41 Drawing Euler Diagrams from Region Connection Calculus Specifications with Local Search
  43. Altmetric Badge
    Chapter 42 Probabilistic Abstract Dialectical Frameworks
  44. Altmetric Badge
    Chapter 43 Argumentative Aggregation of Individual Opinions
  45. Altmetric Badge
    Chapter 44 Measuring Dissimilarity between Judgment Sets
  46. Altmetric Badge
    Chapter 45 Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario
  47. Altmetric Badge
    Chapter 46 Reasoning about Dynamic Normative Systems
  48. Altmetric Badge
    Chapter 47 A Modal Logic of Knowledge, Belief, and Estimation
  49. Altmetric Badge
    Chapter 48 A Logic for Belief Contraction
  50. Altmetric Badge
    Chapter 49 Logic Foundations of the OCL Modelling Language
  51. Altmetric Badge
    Chapter 50 Constraint-Based Algorithm for Computing Temporal Invariants
  52. Altmetric Badge
    Chapter 51 Answer Set Solver Backdoors
  53. Altmetric Badge
    Chapter 52 Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
  54. Altmetric Badge
    Chapter 53 Revisiting Reductants in the Multi-adjoint Logic Programming Framework
Attention for Chapter 12: Improving the Normalization of Weight Rules in Answer Set Programs
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
3 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
Improving the Normalization of Weight Rules in Answer Set Programs
Chapter number 12
Book title
Logics in Artificial Intelligence
Published in
Lecture notes in computer science, September 2014
DOI 10.1007/978-3-319-11558-0_12
Book ISBNs
978-3-31-911557-3, 978-3-31-911558-0
Authors

Jori Bomanson, Martin Gebser, Tomi Janhunen, Bomanson, Jori, Gebser, Martin, Janhunen, Tomi

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

Geographical breakdown

Country Count As %
Unknown 3 100%

Demographic breakdown

Readers by professional status Count As %
Lecturer 1 33%
Unknown 2 67%
Readers by discipline Count As %
Unknown 3 100%
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 21 September 2014.
All research outputs
#21,285,712
of 26,017,215 outputs
Outputs from Lecture notes in computer science
#6,140
of 8,225 outputs
Outputs of similar age
#197,866
of 267,300 outputs
Outputs of similar age from Lecture notes in computer science
#205
of 266 outputs
Altmetric has tracked 26,017,215 research outputs across all sources so far. This one is in the 10th percentile – i.e., 10% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,225 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.3. This one is in the 13th percentile – i.e., 13% 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 267,300 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 14th percentile – i.e., 14% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 266 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.