Nabla : a linguistic system based on multi-dimensional type theory

von Villadsen, Jørgen
Veröffentlicht 1995

Nabla : a linguistic system based on type theory

von Villadsen, Jørgen
Veröffentlicht 1020

Nabla : a linguistic system based on type theory

von Villadsen, Jørgen
Veröffentlicht 2010

Nabla : a linguistic system based on type theory

von Villadsen, Jørgen
Veröffentlicht 2010

The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team

von Villadsen, Jørgen
Veröffentlicht in Multi-Agent Programming Contest (16. : 2022) The multi-agent programming contest 2022 (2023)

A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness

von From, Asta Halkjeer
Veröffentlicht in TABLEAUX (32. : 2023 : Prag) Automated reasoning with analytic tableaux and related methods (2023)

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest

von Jensen, Alexander Birch
Veröffentlicht in Multi-Agent Programming Contest (14. : 2019) The multi-agent programming contest 2019 (2020)

Using Isabelle in Two Courses on Logic and Automated Reasoning

von Villadsen, Jørgen
Veröffentlicht in FMTea (4. : 2021 : Online) Formal methods teaching (2021)

Formalizing a Seligman-Style Tableau System for Hybrid Logic (Short Paper)

von From, Asta Halkjær
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

Proceedings of the 5th International Workshop on Constraints and Language Processing, CSLP 2008 : Hamburg, Germany, 11-15 August 2008 ; part of ESSLLI 2008 European Summer School...

Veröffentlicht 2008

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL

von From, Asta Halkjer
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)

On using Theorem Proving for Cognitive Agent-oriented Programming

von Jensen, Alexander Birch
Veröffentlicht in ICAART (13. : 2021 : Online) ICAART 2021 ; Volume 1 (2021)

A Case Study in Computer-Assisted Meta-reasoning

von From, Asta Halkjær
Veröffentlicht in International Symposium on Distributed Computing and Artificial Intelligence (18. : 2021) Distributed computing and artificial intelligence ; Volume 2: Special sessions, 18th international conference (2022)

Interactive Theorem Proving for Logic and Information

von Villadsen, Jorgen
Veröffentlicht in NLPinAI (2021 : Online) Natural Language Processing in Artificial Intelligence – NLPinAI 2021 (2022)

The 15th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team

von Jensen, Alexander Birch
Veröffentlicht in Multi-Agent Programming Contest (15. : 2021) The Multi-Agent Programming Contest 2021 (2021)