Follow
Jørgen Villadsen
Jørgen Villadsen
DTU Compute
Verified email at dtu.dk
Title
Cited by
Cited by
Year
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
222012
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
212018
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
NaDeA: A natural deduction assistant with a formalization in Isabelle
J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
202015
A framework for organization-aware agents
AS Jensen, V Dignum, J Villadsen
Autonomous Agents and Multi-Agent Systems 31 (3), 387-422, 2017
192017
Teaching a Formalized Logical Calculus
AH From, AB Jensen, A Schlichtkrull, J Villadsen
arXiv preprint arXiv:2002.12555, 2020
182020
Building multi-agent systems using Jason
NS Boss, AS Jensen, J Villadsen
Annals of Mathematics and Artificial Intelligence 59 (3-4), 373-388, 2010
182010
Preface
P Blackburn, T Bolander, T Braüner, V de Paiva, J Villadsen
Electronic Notes in Theoretical Computer Science 174 (6), 1-2, 2007
182007
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
172011
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
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
152018
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
Paraconsistent Knowledge Bases and Many-Valued Logic.
J Villadsen
BalticDB&IS 2, 77-90, 2002
132002
Using Isabelle in Two Courses on Logic and Automated Reasoning
J Villadsen, FK Jacobsen
Formal Methods Teaching Workshop, 117-132, 2021
122021
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
122021
The system can't perform the operation now. Try again later.
Articles 1–20