Logic in knowledge representation and reasoning: Central topics via readings.


Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Guest Editors’ Introduction.James Delgrande & Jérôme Lang - 2015 - Journal of Philosophical Logic 44 (2):111-115.
Knowledge Theoretic Properties of Topological Spaces.Konstantinos Georgatos - 1994 - In Masuch, Michael & Polos Laszlo (eds.), Knowledge Representation and Uncertainty. Springer Verlag. pp. 147--159.
Logic For Reasoning About Knowledge.Ewa Orlowska - 1987 - Bulletin of the Section of Logic 16 (1):26-36.
Logic For Reasoning About Knowledge.Ewa Orlowska - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (6):559-572.
Dynamic Epistemic Logic and Logical Omniscience.Mattias Skipper Rasmussen - 2015 - Logic and Logical Philosophy 24 (3):377-399.
Reasoning, logic and computation.Stewart Shapiro - 1995 - Philosophia Mathematica 3 (1):31-51.


Added to PP

194 (#84,763)

6 months
67 (#43,015)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Luis M. Augusto
Independent Scientist

Citations of this work

No citations found.

Add more citations