| 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 | 23 | 2012 |
| The AORTA Architecture: Integrating Organizational Reasoning in Jason AS Jensen, V Dignum, J Villadsen International Workshop on Engineering Multi-Agent Systems, 127-145, 2014 | 22 | 2014 |
| Natural Deduction Assistant (NaDeA) J Villadsen, AH From, A Schlichtkrull International Workshop on Theorem proving components for Educational software, 2018 | 21 | 2018 |
| 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 | 21 | 2018 |
| NaDeA: A natural deduction assistant with a formalization in Isabelle J Villadsen, AB Jensen, A Schlichtkrull arXiv preprint arXiv:1507.04002, 2015 | 21 | 2015 |
| Isabelle/HOL as a Meta-Language for Teaching Logic AH From, J Villadsen, P Blackburn arXiv preprint arXiv:2010.16014, 2020 | 20 | 2020 |
| Teaching a Formalized Logical Calculus AH From, AB Jensen, A Schlichtkrull, J Villadsen arXiv preprint arXiv:2002.12555, 2020 | 20 | 2020 |
| A framework for organization-aware agents AS Jensen, V Dignum, J Villadsen Autonomous Agents and Multi-Agent Systems 31 (3), 387-422, 2017 | 20 | 2017 |
| Building multi-agent systems using Jason NS Boss, AS Jensen, J Villadsen Annals of Mathematics and Artificial Intelligence 59 (3-4), 373-388, 2010 | 20 | 2010 |
| A paraconsistent higher order logic J Villadsen International Conference on Artificial Intelligence and Symbolic Computation …, 2004 | 20 | 2004 |
| 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 | 19 | 2011 |
| Preface P Blackburn, T Bolander, T Braüner, V de Paiva, J Villadsen Electronic Notes in Theoretical Computer Science 174 (6), 1-2, 2007 | 19 | 2007 |
| Using Isabelle in Two Courses on Logic and Automated Reasoning J Villadsen, FK Jacobsen Formal Methods Teaching Workshop, 117-132, 2021 | 16 | 2021 |
| Students' Proof Assistant (SPA) A Schlichtkrull, J Villadsen, AH From International Workshop on Theorem proving components for Educational software, 2018 | 16 | 2018 |
| 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 | 15 | 2021 |
| 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 | 15 | 2018 |
| SeCaV: a sequent calculus verifier in Isabelle/HOL AH From, FK Jacobsen, J Villadsen 16th International Workshop on Logical and Semantic Frameworks with …, 2021 | 14 | 2021 |
| Natural Deduction and the Isabelle Proof Assistant J Villadsen, AH From, A Schlichtkrull arXiv preprint arXiv:1803.01473, 2018 | 14 | 2018 |
| A Verified Simple Prover for First-Order Logic J Villadsen, A Schlichtkrull, AH From 6th Workshop on Practical Aspects of Automated Reasoning (PAAR), 2018 | 14 | 2018 |
| Paraconsistent query answering systems J Villadsen International Conference on Flexible Query Answering Systems, 370-384, 2002 | 14 | 2002 |
