Følg
Jørgen Villadsen
Jørgen Villadsen
DTU Compute
Verificeret mail på dtu.dk
Titel
Citeret af
Citeret af
År
Implementing a multi-agent system in python with an auction-based agreement approach
MB Ettienne, S Vester, J Villadsen
Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 …, 2012
232012
NaDeA: A natural deduction assistant with a formalization in Isabelle
J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
212015
The AORTA Architecture: Integrating Organizational Reasoning in Jason
AS Jensen, V Dignum, J Villadsen
International Workshop on Engineering Multi-Agent Systems, 127-145, 2014
212014
A paraconsistent higher order logic
J Villadsen
International Conference on Artificial Intelligence and Symbolic Computation …, 2004
212004
Natural Deduction Assistant (NaDeA)
J Villadsen, AH From, A Schlichtkrull
International Workshop on Theorem proving components for Educational software, 2018
202018
Programming and verifying a declarative first-order prover in Isabelle/HOL
AB Jensen, JB Larsen, A Schlichtkrull, J Villadsen
Ai Communications 31 (3), 281-299, 2018
202018
A framework for organization-aware agents
AS Jensen, V Dignum, J Villadsen
Autonomous Agents and Multi-Agent Systems 31 (3), 387-422, 2017
202017
Building multi-agent systems using Jason
NS Boss, AS Jensen, J Villadsen
Annals of Mathematics and Artificial Intelligence 59 (3-4), 373-388, 2010
192010
Teaching a Formalized Logical Calculus
AH From, AB Jensen, A Schlichtkrull, J Villadsen
arXiv preprint arXiv:2002.12555, 2020
182020
Improving multi-agent systems using Jason
S Vester, NS Boss, AS Jensen, J Villadsen
Annals of Mathematics and Artificial Intelligence 61 (4), 297-307, 2011
182011
Isabelle/HOL as a Meta-Language for Teaching Logic
AH From, J Villadsen, P Blackburn
arXiv preprint arXiv:2010.16014, 2020
162020
Students' Proof Assistant (SPA)
A Schlichtkrull, J Villadsen, AH From
International Workshop on Theorem proving components for Educational software, 2018
162018
Preface
P Blackburn, T Bolander, T Braüner, V de Paiva, J Villadsen
Electronic Notes in Theoretical Computer Science 174 (6), 1-2, 2007
162007
Paraconsistent query answering systems
J Villadsen
International Conference on Flexible Query Answering Systems, 370-384, 2002
152002
Combinators for paraconsistent attitudes
J Villadsen
International Conference on Logical Aspects of Computational Linguistics …, 2001
152001
Paraconsistent assertions
J Villadsen
German Conference on Multiagent System Technologies, 99-113, 2004
142004
Using Isabelle in Two Courses on Logic and Automated Reasoning
J Villadsen, FK Jacobsen
Formal Methods Teaching Workshop, 117-132, 2021
132021
On Using Theorem Proving for Cognitive Agent-Oriented Programming
AB Jensen, KV Hindriks, J Villadsen
13th International Conference on Agents and Artificial Intelligence, 446-453, 2021
132021
Leading the teacher team–balancing between formal and informal power in program leadership
AK Högfeldt, L Malmi, P Kinnunen, A Jerbrant, E Strömberg, A Berglund, ...
Tertiary Education and Management 24 (1), 49-65, 2018
132018
Paraconsistent Knowledge Bases and Many-Valued Logic.
J Villadsen
BalticDB&IS 2, 77-90, 2002
132002
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–20