References

  1. Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis & Sergio Yovine (1995): The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), pp. 3–34, doi:10.1016/0304-3975(94)00202-T.
  2. Gleifer Vaz Alves, Louise Dennis & Michael Fisher (2021): A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations. Journal of Sensor and Actuator Networks 10(3), doi:10.3390/jsan10030041.
  3. Sergei N Artemov (2001): Explicit provability and constructive semantics. Bulletin of Symbolic logic 7(1), pp. 1–36, doi:10.2307/2687821.
  4. Sergei N. Artemov (2006): Justified common knowledge. Theoretical Computer Science 357(1-3), pp. 4–22, doi:10.1016/j.tcs.2006.03.009.
  5. Sergei N. Artemov (2008): The Logic of Justification. The Review of Symbolic Logic 1(4), pp. 477–513, doi:10.1017/S1755020308090060.
  6. Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer & Robin Ziemek (2021): From Verification to Causality-based Explications. arXiv preprint arXiv:2105.09533.
  7. Jon Barwise (1989): The situation in logic. CSLI Lecture notes 17. Center for the Study of Language and Information (CSLI), Stanford.
  8. G. Bińczak, A.B. Romanowska & J.D.H. Smith (2007): Poset extensions, convex sets, and semilattice presentations. Discrete Mathematics 307(1), pp. 1–11, doi:10.1016/j.disc.2006.09.021.
  9. Patrick Blackburn, Johan van Benthem & Frank Wolter (2006): Handbook of modal logic. Elsevier.
  10. Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled & Helmut Veith (2018): Model checking, 2nd edition, Cyper Physical Systems Series. MIT press.
  11. Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann & Boris Wirtz (2012): Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces. Science of Computer Programming 77(10-11), pp. 1122–1150, doi:10.1016/j.scico.2011.07.006.
  12. DARPA: Explainable Artificial Intelligence (XAI) Program. Available at https://www.darpa.mil/program/explainable-artificial-intelligence. Last accessed on 06/10/2021.
  13. Lasse Dissing & Thomas Bolander (2020): Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic. In: Christian Bessiere: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. International Joint Conferences on Artificial Intelligence Organization, pp. 1615–1621, doi:10.24963/ijcai.2020/224.
  14. Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Y. Vardi (2003): Reasoning About Knowledge. MIT Press, Cambridge, MA, USA.
  15. Michael Fisher, Louise Dennis & Matt Webster (2013): Verifying autonomous systems. Communications of the ACM 56(9), pp. 84–93, doi:10.1145/2494558.
  16. Melvin Fitting (1983): Proof methods for modal and intuitionistic logics. Synthese Library 169. Springer Science & Business Media, doi:10.1007/978-94-017-2794-5.
  17. Melvin Fitting (2008): A quantified logic of evidence. Annals of Pure and Applied Logic 152(1), pp. 67–83, doi:10.1016/j.apal.2007.11.003.
  18. Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang & Oded Maler (2011): SpaceEx: Scalable Verification of Hybrid Systems. In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification, Lecture Notes in Computer Science 6806. Springer, Heidelberg, pp. 379–395, doi:10.1007/978-3-642-22110-1_30.
  19. Jelle Gerbrandy (1998): Distributed knowledge. In: Twendial 1998: Formal Semantics and Pragmatics of Dialogue 98, pp. 111–124.
  20. Volker Haarslev, Kay Hidde, Ralf Möller & Michael Wessel (2012): The RacerPro knowledge representation and reasoning system. Semantic Web Journal 3(3), pp. 267–277, doi:10.3233/SW-2011-0032.
  21. Joseph Y. Halpern & Yoram Moses (1985): A guide to the modal logics of knowledge and belief: preliminary draft. In: Proceedings of the 9th international joint conference on Artificial Intelligence – Volume 1. Morgan Kaufmann Publishers Inc., pp. 480–490.
  22. Carl G. Hempel & Paul Oppenheim (1948): Studies in the Logic of Explanation. Philosophy of science 15(2), pp. 135–175, doi:10.1086/286983.
  23. Mark Kaminski & Tobias Tebbi (2013): InKreSAT: modal reasoning via incremental reduction to SAT. In: Maria Paola Bonacina: Automated Deduction – CADE-24. Springer, pp. 436–442, doi:10.1007/978-3-642-38574-2_31.
  24. David Lewis (1973): Counterfactuals, reissued 2001 edition. Blackwell.
  25. Fabio Massacci (2000): Single step tableaux for modal logics. Journal of Automated Reasoning 24(3), pp. 319–364, doi:10.1023/A:1006155811656.
  26. On-Road Automated Driving (ORAD) committee: Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles, 2021-04-30 edition. SAE International, doi:10.4271/J3016_202104.
  27. Foundations of Perspicuous Software Systems: Center for Perspicuous Computing+.1667em—+.1667emResearch. Available at https://www.perspicuous-computing.science/research/. Last accessed on 06/10/2021.
  28. André Platzer (2019): The logical path to autonomous cyber-physical systems. In: International Conference on Quantitative Evaluation of Systems. Springer, pp. 25–33, doi:10.1007/978-3-030-30281-8_2.
  29. Karl Popper (2002): The logic of scientific discovery, 2nd edition. Routledge, doi:10.4324/9780203994627.
  30. Anand S. Rao & Michael P. Georgeff (1995): BDI agents: From theory to practice.. In: Proceedings of the First International Conference on Multiagent Systems (ICMAS), pp. 312–319.
  31. Roberto Sebastiani & Michele Vescovi (2009): Automated reasoning in modal and description logics via SAT encoding: the case study of K(m)/ALC-satisfiability. Journal of Artificial Intelligence Research 35, pp. 343–389, doi:10.1613/jair.2675.
  32. Pedro V. Silva (1993): On the semilattice of idempotents of a free inverse monoid. Proceedings of the Edinburgh Mathematical Society 36(2), pp. 349360, doi:10.1017/S0013091500018447.
  33. Pedro V. Silva (2000): On unique factorization semilattices. Discussiones Mathematicae-General Algebra and Applications 20(1), pp. 97–120, doi:10.7151/dmgaa.1009.
  34. Stephen Edelston Toulmin (2003): The Uses of Argument. Updated ed. Cambridge University Press, doi:10.1017/CBO9780511840005.
  35. Dmitry Tsarkov & Ian Horrocks (2006): FaCT++ Description Logic Reasoner: System Description. In: Ulrich Furbach & Natarajan Shankar: Automated Reasoning. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 292–297, doi:10.1007/11814771_26.
  36. Hans Van Ditmarsch, Wiebe van Der Hoek & Barteld Kooi (2007): Dynamic epistemic logic 337. Springer Science & Business Media.
  37. Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev & Dalibor Topic (2007): System Description: Spass Version 3.0. In: Frank Pfenning: Automated Deduction – CADE-21. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 514–520, doi:10.1007/978-3-540-73595-3_38.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org