Approximation Fixpoint Theory as a General Algebraic Theory of Constructive Knowledge

  • 6 Conference paper
  • 5 Article
  • 1 Chapter
  • 1 Unpublished abstract
Filter
Conference paper

Search results

  • 2024

    Towards a Unifying View on Monotone Constructive Definitions

    Vanbesien, L., Pollaci, S., Bogaerts, B. & Denecker, M., 23 Jul 2024, Artificial Intelligence and Image Analysis: 18th International Symposium on Artificial Intelligence and Mathematics, ISAIM 2024, and 22nd International Workshop on Combinatorial Image Analysis, IWCIA 2024, Fort Lauderdale, FL, USA, January 8–10, 2024, Revised Selected Papers. Barneva, R., Brimkov, V., Gentile, C. & Pacchiano, A. (eds.). 1 ed. Springer Cham, p. 218-235 18 p. (Lecture Notes in Computer Science; vol. 14494).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
  • 2023

    Mathematical Foundations for Joining Only Knowing and Common Knowledge

    Cramer, M., Pollaci, S. & Bogaerts, B., Sep 2023, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). ijcai.org, p. 167-177 11 p. (Proceedings of the International Conference on Knowledge Representation and Reasoning).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    1 Citation (Scopus)
  • 2022

    Tree-Like Justification Systems are Consistent

    Marynissen, S. & Bogaerts, B., 4 Aug 2022, Proceedings 38th International Conference on Logic Programming. Lierler, Y., Morales, J., Dodaro, C., Dahl, V., Gebser, M. & Tekle, T. (eds.). Open Publishing Association, Vol. 364. p. 1-11 11 p. (Electronic Proceedings in Theoretical Computer Science; vol. 364).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    1 Citation (Scopus)
    21 Downloads (Pure)
  • 2021

    Fixpoint Semantics for Recursive SHACL

    Bogaerts, B. & Jakubowski, M., 17 Sep 2021, Proceedings 37th International Conference on Logic Programming (Technical Communications). Open Publishing Association, Vol. 345. p. 41-47 7 p. (Electronic Proceedings in Computer Science; vol. 345).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    8 Citations (Scopus)
    32 Downloads (Pure)

  • On the Relation Between Approximation Fixpoint Theory and Justification Theory

    Marynissen, S., Bogaerts, B. & Denecker, M., 2021, Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021. Zhou, Z-H. (ed.). IJCAI, p. 1973-1980 8 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    3 Citations (Scopus)
    93 Downloads (Pure)
  • 2018

    Consistency in Justification Theory

    Marynissen, S., Bogaerts, B. & Marc, D., 2018, 17th INTERNATIONAL WORKSHOP ON NON-MONOTONIC REASONING . 17 ed. p. 41-52

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    39 Downloads (Pure)