↓ 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 Representing and Reasoning with Preferences
  3. Altmetric Badge
    Chapter 2 Engineering of Logics for the Content-Based Representation of Information
  4. Altmetric Badge
    Chapter 3 Formal Methods in Robotics
  5. Altmetric Badge
    Chapter 4 Games for Cognitive Agents
  6. Altmetric Badge
    Chapter 5 Knowledge-Theoretic Properties of Strategic Voting
  7. Altmetric Badge
    Chapter 6 The CIFF Proof Procedure for Abductive Logic Programming with Constraints
  8. Altmetric Badge
    Chapter 7 Hierarchical Decision Making by Autonomous Agents
  9. Altmetric Badge
    Chapter 8 Verifying Communicating Agents by Model Checking in a Temporal Action Logic
  10. Altmetric Badge
    Chapter 9 Qualitative Action Theory
  11. Altmetric Badge
    Chapter 10 Practical Reasoning for Uncertain Agents
  12. Altmetric Badge
    Chapter 11 Modelling Communicating Agents in Timed Reasoning Logics
  13. Altmetric Badge
    Chapter 12 On the Relation Between ID-Logic and Answer Set Programming
  14. Altmetric Badge
    Chapter 13 An Implementation of Statistical Default Logic
  15. Altmetric Badge
    Chapter 14 Capturing Parallel Circumscription with Disjunctive Logic Programs
  16. Altmetric Badge
    Chapter 15 Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning
  17. Altmetric Badge
    Chapter 16 Characterizations for Relativized Notions of Equivalence in Answer Set Programming
  18. Altmetric Badge
    Chapter 17 Equivalence of Logic Programs Under Updates
  19. Altmetric Badge
    Chapter 18 Cardinality Constraint Programs
  20. Altmetric Badge
    Chapter 19 Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
  21. Altmetric Badge
    Chapter 20 A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach
  22. Altmetric Badge
    Chapter 21 A Logic with Conditional Probabilities
  23. Altmetric Badge
    Chapter 22 Reasoning About Quantum Systems
  24. Altmetric Badge
    Chapter 23 Sorted Multi-adjoint Logic Programs: Termination Results and Applications
  25. Altmetric Badge
    Chapter 24 The Modal Logic Programming System MProlog
  26. Altmetric Badge
    Chapter 25 Soundness and Completeness of an “Efficient” Negation for Prolog
  27. Altmetric Badge
    Chapter 26 Logic Programs with Functions and Default Values
  28. Altmetric Badge
    Chapter 27 Parallel Encodings of Classical Planning as Satisfiability
  29. Altmetric Badge
    Chapter 28 Relational Markov Games
  30. Altmetric Badge
    Chapter 29 On the Logic of ‘Being Motivated to Achieve ρ , Before δ ’
  31. Altmetric Badge
    Chapter 30 Representation and Complexity in Boolean Games
  32. Altmetric Badge
    Chapter 31 Complexity in Value-Based Argument Systems
  33. Altmetric Badge
    Chapter 32 A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment
  34. Altmetric Badge
    Chapter 33 Transforming Fuzzy Description Logics into Classical Description Logics
  35. Altmetric Badge
    Chapter 34 Computing the Least Common Subsumer w.r.t. a Background Terminology
  36. Altmetric Badge
    Chapter 35 Explaining Subsumption by Optimal Interpolation
  37. Altmetric Badge
    Chapter 36 Two Approaches to Merging Knowledge Bases
  38. Altmetric Badge
    Chapter 37 An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment
  39. Altmetric Badge
    Chapter 38 Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach
  40. Altmetric Badge
    Chapter 39 On Sceptical Versus Credulous Acceptance for Abstract Argument Systems
  41. Altmetric Badge
    Chapter 40 Line-Based Affine Reasoning in Euclidean Plane
  42. Altmetric Badge
    Chapter 41 Measure Logics for Spatial Reasoning
  43. Altmetric Badge
    Chapter 42 Only Knowing with Confidence Levels: Reductions and Complexity
  44. Altmetric Badge
    Chapter 43 Time Granularities and Ultimately Periodic Automata
  45. Altmetric Badge
    Chapter 44 Logics in Artificial Intelligence
  46. Altmetric Badge
    Chapter 45 Some Techniques for Branch-Saturation in Free-Variable Tableaux
  47. Altmetric Badge
    Chapter 46 Semantic Knowledge Partitioning
  48. Altmetric Badge
    Chapter 47 Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs
  49. Altmetric Badge
    Chapter 48 Discovering Anomalies in Evidential Knowledge by Logic Programming
  50. Altmetric Badge
    Chapter 49 Logic Programming Infrastructure for Inferences on FrameNet
  51. Altmetric Badge
    Chapter 50 An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS
  52. Altmetric Badge
    Chapter 51 Automatic Compilation of Protocol Insecurity Problems into Logic Programming
  53. Altmetric Badge
    Chapter 52 Exploiting Functional Dependencies in Declarative Problem Specifications
  54. Altmetric Badge
    Chapter 53 Combining Decision Procedures for Sorted Theories
  55. Altmetric Badge
    Chapter 54 Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving
  56. Altmetric Badge
    Chapter 55 Towards a Logical Analysis of Biochemical Pathways
  57. Altmetric Badge
    Chapter 56 Abductive Logic Programming with CIFF: System Description
  58. Altmetric Badge
    Chapter 57 The DALI Logic Programming Agent-Oriented Language
  59. Altmetric Badge
    Chapter 58 Qsmodels: ASP Planning in Interactive Gaming Environment
  60. Altmetric Badge
    Chapter 59 A System with Template Answer Set Programs
  61. Altmetric Badge
    Chapter 60 New DLV Features for Data Integration
  62. Altmetric Badge
    Chapter 61 Profiling Answer Set Programming: The Visualization Component of the noMoRe System
  63. Altmetric Badge
    Chapter 62 The PLP System
  64. Altmetric Badge
    Chapter 63 The MyYapDB Deductive Database System
  65. Altmetric Badge
    Chapter 64 InterProlog: Towards a Declarative Embedding of Logic Programming in Java
  66. Altmetric Badge
    Chapter 65 IndLog — Induction in Logic
  67. Altmetric Badge
    Chapter 66 OLEX – A Reasoning-Based Text Classifier
  68. Altmetric Badge
    Chapter 67 Verdi : An Automated Tool for Web Sites Verification
  69. Altmetric Badge
    Chapter 68 SATMC: A SAT-Based Model Checker for Security Protocols
  70. Altmetric Badge
    Chapter 69 tabeql : A Tableau Based Suite for Equilibrium Logic
  71. Altmetric Badge
    Chapter 70 tascpl : TAS Solver for Classical Propositional Logic
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
4 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 Science & Business Media, September 2004
DOI 10.1007/b100483
ISBNs
978-3-54-023242-1, 978-3-54-030227-8
Editors

Alferes, Jóse Júlio, Leite, João

X Demographics

X Demographics

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

Geographical breakdown

Country Count As %
United Kingdom 1 25%
Unknown 3 75%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 50%
Researcher 1 25%
Unknown 1 25%
Readers by discipline Count As %
Computer Science 2 50%
Linguistics 1 25%
Unknown 1 25%