E-LIB Suche - Ergebnisse für: Villadsen, Jørgen

1

On Verified Automated Reasoning in Propositional Logic: Tea..:

Lund, Simon Tobias ; Villadsen, Jørgen
Vietnam Journal of Computer Science. , 2024

Link: https://doi.org/10.1142/..

2

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

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

Villadsen, Jørgen ; Weile, Jonas - p. 151-164 , 2023

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

3

A sequent calculus for first-order logic formalized in Isab..:

From, Asta Halkjær ; Schlichtkrull, Anders ; Villadsen, Jørgen
Journal of Logic and Computation. 33 (2023) 4 - p. 818-836 , 2023

Link: https://doi.org/10.1093/..

4

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

, In: Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods,

From, Asta Halkjær ; Villadsen, Jørgen - p. 468-480 , 2023

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

5

On Verified Automated Reasoning in Propositional Logic:

, In: Intelligent Information and Database Systems; Lecture Notes in Computer Science,

Lund, Simon Tobias ; Villadsen, Jørgen - p. 390-402 , 2022

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

6

Formalizing Axiomatic Systems for Propositional Logic in Is..:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,

From, Asta Halkjær ; Eschen, Agnes Moesgård ; Villadsen, Jørgen - p. 32-46 , 2021

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

7

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

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

8

Using Isabelle in Two Courses on Logic and Automated Reason..:

, In: Formal Methods Teaching; Lecture Notes in Computer Science,

Villadsen, Jørgen ; Jacobsen, Frederik Krogsdal - p. 117-132 , 2021

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

9

A Case Study in Computer-Assisted Meta-reasoning:

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

From, Asta Halkjær ; Lund, Simon Tobias ; Villadsen, Jørgen - p. 53-63 , 2021

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

10

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/..

11

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/..

12

Formalizing a Seligman-Style Tableau System for Hybrid Logi..:

, In: Automated Reasoning; Lecture Notes in Computer Science,

From, Asta Halkjær ; Blackburn, Patrick ; Villadsen, Jørgen - p. 474-481 , 2020

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

13

A Data Driven Agent Elicitation Pipeline for Prediction Mod..:

, In: Business Process Management Workshops; Lecture Notes in Business Information Processing,

Larsen, John Bruntse ; Burattin, Andrea ; Davis, Christopher John.. - p. 570-582 , 2019

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

14

Multi-Agent Programming Contest 2018—The Jason-DTU Team:

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

Villadsen, Jørgen ; Bjørn, Mads Okholm ; From, Andreas Halkjær.. - p. 41-71 , 2019

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

15

Engineering a multi-agent system in Jason and CArtAgO: Mult..:

Villadsen, Jørgen ; Fleckenstein, Oliver ; Hatteland, Helge.
Annals of Mathematics and Artificial Intelligence. 84 (2018) 1-2 - p. 57-74 , 2018

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