dogear

enter for all results · esc to close

Logics for Epistemic Programs

link.springer.comsite

Synthese, 2004. [All Versions].

visit link.springer.com ↗
0
sign in to dogear this
from
AGI & CoCoSci
added
2026-10-10
likes
0

similar

  1. Learning higher-order logic programs andrewcropper.com

    Machine Learning, 2019. [All Versions].

    site topic ai link ↗

  2. Learning efficient logic programs andrewcropper.com

    Machine Learning, 2018. [All Versions].

    site topic ai link ↗

  3. Epistemic Logic plato.stanford.edu

    Plato Stanford. A computational philosophy account on Epistemic Logic, which is a subfield of epistemology concerned with logical approaches to knowledge, belief and related notions.

    site topic philosophy link ↗

  4. Program Logics github.com

    Companion Coq sources for a course on program logics at Collège de France.

    tool link ↗

  5. Forgetting to Learn Logic Programs andrewcropper.com

    AAAI'20, 2020. [All Versions].

    site topic ai link ↗

  6. Learning Higher-Order Logic Programs through Abstraction and Invention andrewcropper.com

    IJCAI'16, 2016. [All Versions].

    site topic ai link ↗

AGI & CoCoSci › Papers > Knowledge Representation: “Synthese, 2004. [All Versions].”