Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 12
Number of items: 12
  • Open Access
    Ferguson, T. M. (2021). Modeling Intentional States with Subsystems of ALC. In M. Homola, V. Ryzhikov, & R. Schmidt (Eds.), Proceedings of the 34th International Workshop on Description Logics (DL 2021): part of Bratislava Knowledge September (BAKS 2021) : Bratislava, Slovakia, September 19th to 22nd, 2021 Article article 11 (CEUR Workshop Proceedings; Vol. 2954). CEUR-WS. http://ceur-ws.org/Vol-2954/paper-11.pdf
  • Open Access
    Ferguson, T. M. (2021). Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic. In A. Das, & S. Negri (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp. 3-19). (Lecture Notes in Computer Science; Vol. 12842), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-86059-2_1
Page 2 of 2