Reasoning about knowledge
Joseph Halpern low
No abstract in the source record.
this paper
works it cites
works citing it
node size = global citations · hover for the full title
What this paper cites, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| Reasoning About Knowledge | 1995 | 2,609 |
What cites it, inside the corpus
| Paper | Year | Cited |
|---|---|---|
| The Description Logic Handbook | 2009 | 1,893 |
| Modal Logic | 2001 | 1,670 |
| Dynamic Epistemic Logic | 2007 | 1,398 |
Links
Topics
| Semantic Web and Ontologies | Computer Science |
| Logic, Reasoning, and Knowledge | Computer Science |
| Computability, Logic, AI Algorithms | Computer Science |
Is this record sound?
complete
Nothing in this record contradicts itself and no field we check is missing.
- supports1 author record(s) attached.
- supports2 reference(s) recorded.
- neutralThe DOI carries no year to check against.
- supportsA title is present.
Provenance
sha256 bba2969b3567609a…