Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Alexander Birch Jensen"'
Autor:
Alexander Birch Jensen
Publikováno v:
Proceedings of the 14th International Conference on Agents and Artificial Intelligence.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bec57ff3130006ba74fbc426d2762d8f
https://doi.org/10.5220/0010838700003116
https://doi.org/10.5220/0010838700003116
Publikováno v:
Studies in Computational Intelligence ISBN: 9783030901370
Studies in Computational Intelligence
Villadsen, J, From, A H, Jensen, A B & Schlichtkrull, A 2022, Interactive Theorem Proving for Logic and Information . in Natural Language Processing in Artificial Intelligence . vol. 999, Springer, Studies in Computational Intelligence, vol. 999, pp. 25-48, 13th International Conference on Agents and Artificial Intelligence, 04/02/2021 . https://doi.org/10.1007/978-3-030-90138-7_2
Studies in Computational Intelligence
Villadsen, J, From, A H, Jensen, A B & Schlichtkrull, A 2022, Interactive Theorem Proving for Logic and Information . in Natural Language Processing in Artificial Intelligence . vol. 999, Springer, Studies in Computational Intelligence, vol. 999, pp. 25-48, 13th International Conference on Agents and Artificial Intelligence, 04/02/2021 . https://doi.org/10.1007/978-3-030-90138-7_2
Automated reasoning is the study of computer programs that can build proofs of theorems in a logic. Such programs can be either automatic theorem provers or interactive theorem provers. The latter are also called proof assistants because the user con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c0ce1c5ac8995a711048a8f02dbbffe7
https://doi.org/10.1007/978-3-030-90138-7_2
https://doi.org/10.1007/978-3-030-90138-7_2
Autor:
Alexander Birch Jensen
Publikováno v:
Distributed Computing and Artificial Intelligence, Volume 1: 18th International Conference ISBN: 9783030862602
DCAI (1)
DCAI (1)
Theorem proving approaches have successfully been applied to verify various traditional software and hardware systems. However, it has not been explored how theorem proving can be applied to verify agent systems. We formalize a framework for verifica
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59d267727d56fdf9fe0aa0b899f54e14
https://doi.org/10.1007/978-3-030-86261-9_1
https://doi.org/10.1007/978-3-030-86261-9_1
Publikováno v:
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 .
Technical University of Denmark Orbit
Technical University of Denmark Orbit
Epistemic logic allows reasoning about the knowledge of agents, and deductive proof systems enable this reasoning with a few axioms and inference rules. We strengthen the logical foundations of such a system by formalizing it in the proof assistant I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5aee7905477306476100d1d2291f8936
https://orbit.dtu.dk/en/publications/4564df77-d713-4363-a7cd-a9e1eefbe7b4
https://orbit.dtu.dk/en/publications/4564df77-d713-4363-a7cd-a9e1eefbe7b4
Autor:
Alexander Birch Jensen
Publikováno v:
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 .
Technical University of Denmark Orbit
Technical University of Denmark Orbit
It is of key importance to be able to demonstrate reliability of cognitive multi agent systems. We are witnessing the success of theorem proving to verify traditional software and hardware systems. Meanwhile, we observe the lack of a theorem proving
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c3910a0a35c4bc93ae3059d39b06892c
https://orbit.dtu.dk/en/publications/5f9e23e0-3768-4415-adf5-9c3427364d29
https://orbit.dtu.dk/en/publications/5f9e23e0-3768-4415-adf5-9c3427364d29
Publikováno v:
The Multi-Agent Programming Contest 2021 ISBN: 9783030885489
Jensen, A B, Villadsen, J, Weile, J & Gylling, E K 2021, The 15 th Edition of the Multi-Agent Programming Contest-The GOAL-DTU Team . in Multi-Agent Progamming Contest . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12947, pp. 46-81, The Multi-Agent Programming Contest 2021, 15/03/2021 . https://doi.org/10.1007/978-3-030-88549-6_3
Jensen, A B, Villadsen, J, Weile, J & Gylling, E K 2021, The 15 th Edition of the Multi-Agent Programming Contest-The GOAL-DTU Team . in Multi-Agent Progamming Contest . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12947, pp. 46-81, The Multi-Agent Programming Contest 2021, 15/03/2021 . https://doi.org/10.1007/978-3-030-88549-6_3
We provide an overview of the GOAL-DTU system for the Multi-Agent Programming Contest, including the overall strategy and how the system is designed to apply this strategy. Our agents are implemented using the GOAL programming language. We evaluate t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::190fb830c946b0cf01991144f6ed19c7
https://doi.org/10.1007/978-3-030-88549-6_3
https://doi.org/10.1007/978-3-030-88549-6_3
Autor:
Alexander Birch Jensen
Publikováno v:
ICAART (1)
Technical University of Denmark Orbit
Technical University of Denmark Orbit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::15eb87aec6f334d5fe2e25a85309ddea
https://doi.org/10.5220/0010268303370344
https://doi.org/10.5220/0010268303370344
Publikováno v:
The Multi-Agent Programming Contest 2019 ISBN: 9783030592981
The Multi-Agent Programming Contest
The Multi-Agent Programming Contest
We provide a brief description of the GOAL-DTU system for the Multi-Agent Programming Contest, including the overall strategy and how the system is designed to apply this strategy. Our agents are implemented using the GOAL programming language. We ev
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4959a47c566d0cbf5eea8ae979dd82fe
https://doi.org/10.1007/978-3-030-59299-8_4
https://doi.org/10.1007/978-3-030-59299-8_4
Publikováno v:
From, A H, Jensen, A B, Schlichtkrull, A & Villadsen, J 2020, ' Teaching a Formalized Logical Calculus ', Electronic Proceedings in Theoretical Computer Science, vol. 313, pp. 73-92 . https://doi.org/10.4204/EPTCS.313.5
Classical first-order logic is in many ways central to work in mathematics, linguistics, computer science and artificial intelligence, so it is worthwhile to define it in full detail. We present soundness and completeness proofs of a sequent calculus
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::01290fb3635714af011507b00cf82b98
Publikováno v:
Jensen, A B, Larsen, J B, Schlichtkrull, A & Villadsen, J 2018, ' Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL ', AI Communications, vol. 31, no. 3, pp. 281-299 . https://doi.org/10.3233/AIC-180764
We certify in the proof assistant Isabelle/HOL the soundness of a declarative first-order prover with equality. The LCF-style prover is a translation we have made, to Standard ML, of a prover in John Harrison’s Handbook of Practical Logic and Autom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9bc04c6f2d7aad79f522442906803afe
https://doi.org/10.3233/aic-180764
https://doi.org/10.3233/aic-180764