Alexander Birch Jensen

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2021

On using Theorem Proving for Cognitive Agent-oriented Programming.

[BibT_eX]

[DOI]

Koen V. Hindriks

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Towards Verifying GOAL Agents in Isabelle/HOL.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Towards Verifying a Blocks World for Teams GOAL Agent.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

A Theorem Proving Approach to Formal Verification of a Cognitive Agent.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2021

2020

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

[BibT_eX]

[DOI]

CoRR, 2020

2019

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

[BibT_eX]

[DOI]

The Multi-Agent Programming Contest, 2019

Teaching a Formalized Logical Calculus.

[BibT_eX]

[DOI]

Asta Halkjær From

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

2018

Programming and verifying a declarative first-order prover in Isabelle/HOL.

[BibT_eX]

[DOI]

John Bruntse Larsen

AI Commun., 2018

2017

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.

[BibT_eX]

[DOI]

FLAP, 2017

First-Order Logic According to Harrison.

[BibT_eX]

[DOI]