E-LIB Suche - Ergebnisse für: Jensen, Alexander Birch

1

The 15th Edition of the Multi-Agent Programming Contest - T..:

, In: The Multi-Agent Programming Contest 2021; Lecture Notes in Computer Science,

Jensen, Alexander Birch ; Villadsen, Jørgen ; Weile, Jonas. - p. 46-81 , 2021

2

A Theorem Proving Approach to Formal Verification of a Cogn..:

, In: Distributed Computing and Artificial Intelligence, Volume 1: 18th International Conference; Lecture Notes in Networks and Systems,

Jensen, Alexander Birch - p. 1-11 , 2021

Link: https://doi.org/10.1007/..

3

Interactive Theorem Proving for Logic and Information:

, In: Studies in Computational Intelligence; Natural Language Processing in Artificial Intelligence — NLPinAI 2021,

Villadsen, Jørgen ; From, Asta Halkjær ; Jensen, Alexander Birch. - p. 25-48 , 2021

Link: https://doi.org/10.1007/..

4

GOAL-DTU: Development of Distributed Intelligence for the M..:

, In: The Multi-Agent Programming Contest 2019; Lecture Notes in Computer Science,

Jensen, Alexander Birch ; Villadsen, Jørgen - p. 79-105 , 2020

Link: https://doi.org/10.1007/..

5

Interactive Theorem Proving for Logic and Information:

Villadsen, Jørgen ; From, Asta Halkjær ; Jensen, Alexander Birch.
https://vbn.aau.dk/da/publications/97e7857f-f1ff-48d3-aae7-9303d1dc3c03. , 2022

Link: https://vbn.aau.dk/da/pu..

6

Interactive Theorem Proving for Logic and Information:

Villadsen, Jørgen ; From, Asta Halkjær ; Jensen, Alexander Birch.
https://orbit.dtu.dk/en/publications/f2502f31-2216-4976-8f4c-353287ac1815. , 2022

Link: https://orbit.dtu.dk/en/..

7

The 15 th Edition of the Multi-Agent Programming Contest - ..:

Jensen, Alexander Birch ; Villadsen, Jørgen ; Weile, Jonas.
https://orbit.dtu.dk/en/publications/21b9d856-0f0a-4ac9-995e-2abbc0cc236a. , 2021

Link: https://orbit.dtu.dk/en/..

8

Formalized Soundness and Completeness of Epistemic Logic:

From, Asta Halkjær ; Jensen, Alexander Birch ; Villadsen, Jørgen
From , A H , Jensen , A B & Villadsen , J 2021 , Formalized Soundness and Completeness of Epistemic Logic . in Proceedings of International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning . International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning , 03/05/2021 .. , 2021

Link: https://orbit.dtu.dk/en/..

9

Student Paper: Formal Verification of a Cognitive Agent Usi..:

Jensen, Alexander Birch
Jensen , A B 2021 , Student Paper: Formal Verification of a Cognitive Agent Using Theorem Proving . in Proceedings of 9 th International Workshop on Engineering Multi-Agent Systems . 9 th International Workshop on Engineering Multi-Agent Systems , London , United Kingdom , 03/05/2021 .. , 2021

Link: https://orbit.dtu.dk/en/..

10

Teaching a Formalized Logical Calculus:

From, Asta Halkjær ; Jensen, Alexander Birch ; Schlichtkrull, Anders.
http://arxiv.org/abs/2002.12555. , 2020

Link: http://arxiv.org/abs/200..

11

A Verification Framework for GOAL Agents:

Jensen, Alexander Birch
Jensen , A B 2020 , A Verification Framework for GOAL Agents . in Pre-Proceedings of 8 th International Workshop on Engineering Multi-Agent Systems . 8 th International Workshop on Engineering Multi-Agent Systems , Auckland , New Zealand , 09/05/2020 .. , 2020

Link: https://orbit.dtu.dk/en/..

12

GOAL-DTU: Development of Distributed Intelligence for the M..:

Jensen, Alexander Birch ; Villadsen, Jørgen
http://arxiv.org/abs/2006.06844. , 2020

Link: http://arxiv.org/abs/200..

13

Teaching a Formalized Logical Calculus:

From, Andreas Halkjær ; Jensen, Alexander Birch ; Schlichtkrull, Anders.
https://orbit.dtu.dk/en/publications/3ecf0cbb-66ff-4951-be26-edd90d9a41ce. , 2020

Link: https://orbit.dtu.dk/en/..

14

Programming and Verifying a Declarative First-Order Prover ..:

Jensen, Alexander Birch ; Larsen, John Bruntse ; Schlichtkrull, Anders.
https://orbit.dtu.dk/en/publications/91820919-f9bc-41ee-b80f-84b9f912aecc. , 2018

Link: https://orbit.dtu.dk/en/..

15

First-Order Logic According to Harrison:

Jensen, Alexander Birch ; Schlichtkrull, Anders ; Villadsen, Jørgen
Jensen , A B , Schlichtkrull , A & Villadsen , J 2017 , ' First-Order Logic According to Harrison ' , Archive of Formal Proofs , pp. 1-66 .. , 2017

Link: https://orbit.dtu.dk/en/..