↓ Skip to main content
What is this page? Embed badge

Knowledge Representation and Reasoning Under Uncertainty

Overview of attention for book
Cover of 'Knowledge Representation and Reasoning Under Uncertainty'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The role of expectations in reasoning
  3. Altmetric Badge
    Chapter 2 On logics of approximate reasoning
  4. Altmetric Badge
    Chapter 3 Gentzen sequent calculus for possibilistic reasoning
  5. Altmetric Badge
    Chapter 4 A model of inductive reasoning
  6. Altmetric Badge
    Chapter 5 Automated reasoning with uncertainties
  7. Altmetric Badge
    Chapter 6 An axiomatic approach to systems of prior distributions in inexact reasoning
  8. Altmetric Badge
    Chapter 7 Contradiction removal semantics with explicit negation
  9. Altmetric Badge
    Chapter 8 Logic programming for non-monotonic reasoning
  10. Altmetric Badge
    Chapter 9 Agent oriented programming: An overview of the framework and summary of recent research
  11. Altmetric Badge
    Chapter 10 An application of temporal logic for representation and reasoning about design
  12. Altmetric Badge
    Chapter 11 Knowledge theoretic properties of topological spaces
  13. Altmetric Badge
    Chapter 12 Rough logic for multi-agent systems
  14. Altmetric Badge
    Chapter 13 A logical approach to multi-sources reasoning
  15. Altmetric Badge
    Chapter 14 Situation theory and social structure
Attention for Chapter 10: An application of temporal logic for representation and reasoning about design
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.