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
International Workshop on Programming Multi-Agent Systems, 185-196, 2011
212011
The AORTA Architecture: Integrating Organizational Reasoning in Jason
AS Jensen, V Dignum, J Villadsen
International Workshop on Engineering Multi-Agent Systems, 127-145, 2014
202014
A paraconsistent higher order logic
J Villadsen
International Conference on Artificial Intelligence and Symbolic Computation …, 2004
202004
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
182018
A framework for organization-aware agents
AS Jensen, V Dignum, J Villadsen
Autonomous Agents and Multi-Agent Systems 31 (3), 387-422, 2017
172017
NaDeA: A natural deduction assistant with a formalization in Isabelle
J Villadsen, AB Jensen, A Schlichtkrull
arXiv preprint arXiv:1507.04002, 2015
172015
Preface
P Blackburn, T Bolander, T Braüner, V de Paiva, J Villadsen
Electronic Notes in Theoretical Computer Science 174 (6), 1-2, 2007
172007
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
162011
Building multi-agent systems using Jason
NS Boss, AS Jensen, J Villadsen
Annals of Mathematics and Artificial Intelligence 59 (3-4), 373-388, 2010
162010
Natural Deduction Assistant (NaDeA)
J Villadsen, AH From, A Schlichtkrull
International Workshop on Theorem proving components for Educational software, 2018
142018
Paraconsistent assertions
J Villadsen
German Conference on Multiagent System Technologies, 99-113, 2004
142004
Paraconsistent query answering systems
J Villadsen
International Conference on Flexible Query Answering Systems, 370-384, 2002
142002
Combinators for paraconsistent attitudes
J Villadsen
International Conference on Logical Aspects of Computational Linguistics …, 2001
142001
Teaching a Formalized Logical Calculus
AH From, AB Jensen, A Schlichtkrull, J Villadsen
arXiv preprint arXiv:2002.12555, 2020
132020
Students' Proof Assistant (SPA)
A Schlichtkrull, J Villadsen, AH From
International Workshop on Theorem proving components for Educational software, 2018
122018
Paraconsistent Knowledge Bases and Many-Valued Logic.
J Villadsen
BalticDB&IS 2, 77-90, 2002
122002
Supra-logic: Using transfinite type theory with type variables for paraconsistency
J Villadsen
Journal of Applied Non-Classical Logics 15 (1), 45-58, 2005
112005
Reimplementing a Multi-Agent System in Python
J Villadsen, AS Jensen, MB Ettienne, S Vester, KB Andersen, A Frøsig
International Workshop on Programming Multi-Agent Systems, 205-216, 2012
102012
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
92021
Isabelle/HOL as a Meta-Language for Teaching Logic
AH From, J Villadsen, P Blackburn
arXiv preprint arXiv:2010.16014, 2020
92020
The system can't perform the operation now. Try again later.
Articles 1–20