↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
3 X users
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
1 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
Logics in Artificial Intelligence
Published by
Springer International Publishing, September 2014
DOI 10.1007/978-3-319-11558-0
ISBNs
978-3-31-911557-3, 978-3-31-911558-0
Editors

Fermé, Eduardo, Leite, João

X Demographics

X Demographics

The data shown below were collected from the profiles of 3 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 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Readers by discipline Count As %
Computer Science 1 100%