-
Russell S., Norvig P.: Artificial Intelligence: A Modern Approach, Fourth Edition, Prentice Hall, 2020
-
Halpern J.: Actual Causality, MIT Press, 2016
-
Halpern J.: Reasoning about Uncertainty, MIT Press, 2003
-
Chriswell I., Hodges W.: Mathematical Logic, Oxford Uni. Press, 2007
-
Pearl J.: Causality: Models, Reasoning, and Inference, Cambridge University Press, 2009
-
Pearl J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inferences, Morgan Kaufmann Publishers, 1988
-
M. Bramer: Logic Programming with Prolog, Second edition, Springer Verlag, 2013
-
Clocksin W.F., Mellish C.S: Programming in Prolog, Fifth Edition, Springer Verlag, 2003
- Answer sets:There is a lot of information on this site โ from documentation to teaching slides
- Situation calculus, reasoning about actions, events, and time: An implementation of GOLOG by Reiter could be used for reasoning about actions in Situation Calculus
- Cognitive robotics: Competition https://robocup.rwth-aachen.de
- Semantics web: One project at NMSU: https://github.com/phylotastic
- demonstrates how can one use semantics web: https://phylo.cs.nmsu.edu