↓ Skip to main content

Practical Reasoning

Overview of attention for book
Cover of 'Practical Reasoning'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 59 Integrating statistical audit evidence with belief function theory
  3. Altmetric Badge
    Chapter 60 A comparative survey of default logic variants
  4. Altmetric Badge
    Chapter 61 Modal logics with relative accessibility relations
  5. Altmetric Badge
    Chapter 62 Geometrical structures and modal logic
  6. Altmetric Badge
    Chapter 63 A unified framework for hypothetical and practical reasoning (1): Theoretical foundations
  7. Altmetric Badge
    Chapter 64 A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications
  8. Altmetric Badge
    Chapter 65 General domain circumscription and its first-order reduction
  9. Altmetric Badge
    Chapter 66 Reasoning about rational, but not logically omniscient agents (extended abstract)
  10. Altmetric Badge
    Chapter 67 Specification of nonmonotonic reasoning
  11. Altmetric Badge
    Chapter 68 Intelligent agents in the Situation Calculus: An application to user modelling
  12. Altmetric Badge
    Chapter 69 Talkin'bout consistency, or: When logically possible becomes possible
  13. Altmetric Badge
    Chapter 70 The analysis and evaluation of legal argumentation from a pragma-dialectical perspective
  14. Altmetric Badge
    Chapter 71 Reasoning about reasoning
  15. Altmetric Badge
    Chapter 72 A resolution-based proof method for temporal logics of knowledge and belief
  16. Altmetric Badge
    Chapter 73 A methodology for iterated theory change
  17. Altmetric Badge
    Chapter 74 A formal framework for causal modeling and argumentation
  18. Altmetric Badge
    Chapter 75 Goals in argumentation
  19. Altmetric Badge
    Chapter 76 An abductive proof procedure for conditional logic programming
  20. Altmetric Badge
    Chapter 77 Commands in dialogue logic
  21. Altmetric Badge
    Chapter 78 Ideal and real belief about belief
  22. Altmetric Badge
    Chapter 79 Analogical reasoning of organic reactions based on the structurized compound-reaction diagram
  23. Altmetric Badge
    Chapter 80 Labelling ideality and subideality
  24. Altmetric Badge
    Chapter 81 Mind, morals, and reasons
  25. Altmetric Badge
    Chapter 82 Aristotle, Whately, and the taxonomy of fallacies
  26. Altmetric Badge
    Chapter 83 Nonmonotonic reasoning with multiple belief sets
  27. Altmetric Badge
    Chapter 84 SEdit — Graphically validating technical systems
  28. Altmetric Badge
    Chapter 85 The need for a dialectical tier in arguments
  29. Altmetric Badge
    Chapter 86 Two kinds of non-monotonic analogical inference
  30. Altmetric Badge
    Chapter 87 The normative reconstruction of analogy argumentation in judicial decisions: A pragma-dialectical perspective
  31. Altmetric Badge
    Chapter 88 Formal reasoning about modules, reuse and their correctness
  32. Altmetric Badge
    Chapter 89 A tableau calculus for first-order branching time logic
  33. Altmetric Badge
    Chapter 90 Possible world semantics for analogous reasoning
  34. Altmetric Badge
    Chapter 91 Using temporary integrity constraints to optimize databases
  35. Altmetric Badge
    Chapter 92 Graded inheritance nets for knowledge representation
  36. Altmetric Badge
    Chapter 93 Defining normative systems for qualitative argumentation
  37. Altmetric Badge
    Chapter 94 Complex argumentation in judicial decisions. Analysing conflicting arguments
  38. Altmetric Badge
    Chapter 95 Combining partitions and modal logic for user modeling
  39. Altmetric Badge
    Chapter 96 Reason in a changing world
  40. Altmetric Badge
    Chapter 97 A system for defeasible argumentation, with defeasible priorities
  41. Altmetric Badge
    Chapter 98 Modal logic for modelling actions and agents
  42. Altmetric Badge
    Chapter 99 Formalization of reasoning about default action (preliminary report)
  43. Altmetric Badge
    Chapter 100 An architecture for argumentative dialogue planning
  44. Altmetric Badge
    Chapter 101 Skeptical query-answering in Constrained Default Logic
  45. Altmetric Badge
    Chapter 102 Type theoretic semantics for SemNet
  46. Altmetric Badge
    Chapter 103 From syllogisms to audiences: The prospects for logic in a rhetorical model of argumentation
  47. Altmetric Badge
    Chapter 104 Human reasoning with negative defaults
  48. Altmetric Badge
    Chapter 105 On the semantics of the unknown
  49. Altmetric Badge
    Chapter 106 System J — Revision entailment
  50. Altmetric Badge
    Chapter 107 Deep disagreements and public demoralization
  51. Altmetric Badge
    Chapter 108 Practical reasoning with procedural knowledge
  52. Altmetric Badge
    Chapter 109 Towards the assessment of logics for concurrent actions
  53. Altmetric Badge
    Chapter 110 Default reasoning and belief revision in the CIN Project
  54. Altmetric Badge
    Chapter 111 Mechanizing multi-agent reasoning with belief contexts
  55. Altmetric Badge
    Chapter 112 Arguments and mental models: A position paper
  56. Altmetric Badge
    Chapter 113 Argumentation and decision making: A position paper
  57. Altmetric Badge
    Chapter 114 The implementation of LENA
  58. Altmetric Badge
    Chapter 115 The implementation of CondLP
  59. Altmetric Badge
    Chapter 116 How to reason about akratic action practically?
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
5 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
Practical Reasoning
Published by
Springer Berlin Heidelberg, January 1996
DOI 10.1007/3-540-61313-7
ISBNs
978-3-54-061313-8, 978-3-54-068454-1
Editors

Dov M. Gabbay, Hans Jürgen Ohlbach

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

Geographical breakdown

Country Count As %
United Kingdom 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%