20162022

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Book chapter

Search results

  • 2022

    Interactive Theorem Proving for Logic and Information

    Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence. Springer, Vol. 999. p. 25-48 (Studies in Computational Intelligence, Vol. 999).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

    Open Access
    File
    54 Downloads (Pure)
  • 2021

    Formalized Soundness and Completeness of Epistemic Logic

    From, A. H., 2021, Logic, Language, Information, and Computation. Springer, p. 1-15 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13038).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review