Jørgen Villadsen

According to our database, Jørgen Villadsen authored at least 72 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students.

Simon Tobias Lund, Jørgen Villadsen

Vietnam. J. Comput. Sci., November, 2024

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned.

Jørgen Villadsen

Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024

2023

Teaching Higher-Order Logic Using Isabelle.

Simon Tobias Lund, Jørgen Villadsen

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

ProofBuddy: A Proof Assistant for Learning and Monitoring.

Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen

Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

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

Asta Halkjær From, Jørgen Villadsen

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team.

Jørgen Villadsen, Jonas Weile

Proceedings of the Multi-Agent Programming Contest 2022, 2022

On Exams with the Isabelle Proof Assistant.

Frederik Krogsdal Jacobsen, Jørgen Villadsen

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

Teaching Functional Programmers Logic and Metatheory.

Frederik Krogsdal Jacobsen, Jørgen Villadsen

Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

Soundness and Completeness of Implicational Logic.

Asta Halkjær From, Jørgen Villadsen

Arch. Formal Proofs, 2022

On Verified Automated Reasoning in Propositional Logic.

Simon Tobias Lund, Jørgen Villadsen

Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022

2021

SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.

Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.

Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

Using Isabelle in Two Courses on Logic and Automated Reasoning.

Jørgen Villadsen, Frederik Krogsdal Jacobsen

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL.

Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen

Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

On using Theorem Proving for Cognitive Agent-oriented Programming.

Alexander Birch Jensen, Koen V. Hindriks, Jørgen Villadsen

Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

A Case Study in Computer-Assisted Meta-reasoning.

Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen

Proceedings of the Distributed Computing and Artificial Intelligence, 2021

A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL.

Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen

Proceedings of the 36th Italian Conference on Computational Logic, 2021

2020

Isabelle/HOL as a Meta-Language for Teaching Logic.

Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn

Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest.

Alexander Birch Jensen, Jørgen Villadsen

CoRR, 2020

Tautology Checkers in Isabelle and Haskell.

Jørgen Villadsen

Proceedings of the 35th Italian Conference on Computational Logic, 2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).

Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest.

Alexander Birch Jensen, Jørgen Villadsen

The Multi-Agent Programming Contest, 2019

Teaching a Formalized Logical Calculus.

Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

A Data Driven Agent Elicitation Pipeline for Prediction Models.

John Bruntse Larsen, Andrea Burattin, Christopher John Davis, Rasmus Hjardem-Hansen, Jørgen Villadsen

Proceedings of the Business Process Management Workshops, 2019

2018

Multi-Agent Programming Contest 2018 - The Jason-DTU Team.

Jørgen Villadsen, Mads Okholm Bjørn, Asta Halkjær From, Thomas Søren Henney, John Bruntse Larsen

Proceedings of the Multi-Agent Programming Contest 2018, 2018

Multi-agent programming contest 2016 - the Python-DTU team.

Jørgen Villadsen, Asta Halkjær From, Salvador Jacobi, Nikolaj Nøkkentved Larsen

Int. J. Agent Oriented Softw. Eng., 2018

Natural Deduction Assistant (NaDeA).

Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Students' Proof Assistant (SPA).

Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Engineering a multi-agent system in Jason and CArtAgO - Multi-agent programming contest 2017.

Jørgen Villadsen, Oliver Fleckenstein, Helge Hatteland, John Bruntse Larsen

Ann. Math. Artif. Intell., 2018

Programming and verifying a declarative first-order prover in Isabelle/HOL.

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen

AI Commun., 2018

Querying Social Practices in Hospital Context.

John Bruntse Larsen, Virginia Dignum, Jørgen Villadsen, Frank Dignum

Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

A Verified Simple Prover for First-Order Logic.

Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant.

Jørgen Villadsen, Anders Schlichtkrull

Trans. Large Scale Data Knowl. Centered Syst., 2017

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.

Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull

FLAP, 2017

Natural Deduction and the Isabelle Proof Assistant.

Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

First-Order Logic According to Harrison.

Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen

Arch. Formal Proofs, 2017

An Approach for Hospital Planning with Multi-Agent Organizations.

John Bruntse Larsen, Jørgen Villadsen

Proceedings of the Rough Sets - International Joint Conference, 2017

Logical Entity Level Sentiment Analysis.

Niklas Christoffer Petersen, Jørgen Villadsen

Proceedings of the Formal Grammar - 22nd International Conference, 2017

2016

Paraconsistency.

Anders Schlichtkrull, Jørgen Villadsen

Arch. Formal Proofs, 2016

A Framework for Organization-Aware Agents.

Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Interfacing Agents to Real-Time Strategy Games.

Andreas Schmidt Jensen, Christian Kaysø-Rørdam, Jørgen Villadsen

Proceedings of the Thirteenth Scandinavian Conference on Artificial Intelligence, 2015

Plan-belief Revision in Jason.

Andreas Schmidt Jensen, Jørgen Villadsen

Proceedings of the ICAART 2015, 2015

2014

Combining Formal Logic and Machine Learning for Sentiment Analysis.

Niklas Christoffer Petersen, Jørgen Villadsen

Proceedings of the Foundations of Intelligent Systems - 21st International Symposium, 2014

The AORTA Architecture: Integrating Organizational Reasoning in Jason.

Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013

A comparison of organization-centered and agent-centered multi-agent systems.

Andreas Schmidt Jensen, Jørgen Villadsen

Artif. Intell. Res., 2013

Formalizing Theatrical Performances Using Multi-Agent Organizations.

Andreas Schmidt Jensen, Johannes Svante Spurkeland, Jørgen Villadsen

Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013

Engineering a Multi-Agent System in GOAL.

Jørgen Villadsen, Andreas Schmidt Jensen, Nicolai Christian Christensen, Andreas Viktor Hess, Jannick Boese Johnsen, Øyvind Grønland Woller, Philip Bratt Ørum

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems.

Tobias Ahlbrecht, Christian Bender-Saebelkampf, Maiquel de Brito, Nicolai Christian Christensen, Jürgen Dix, Mariana Ramos Franco, Hendrik Heller, Andreas Viktor Hess, Axel Heßler, Jomi Fred Hübner, Andreas Schmidt Jensen, Jannick Boese Johnsen, Michael Köster, Chengqian Li, Lu Liu, Marcelo Menezes Morato, Philip Bratt Ørum, Federico Schlesinger, Tiago Luiz Schmitz, Jaime Simão Sichman, Kaio Siqueira de Souza, Daniela Maria Uez, Jørgen Villadsen, Sebastian Werner, Øyvind Grønland Woller, Maicon Rafael Zatelli

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012

Multi-Agent Programming Contest 2012 - The Python-DTU Team

Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig

CoRR, 2012

Reimplementing a Multi-Agent System in Python.

Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

2011

Multi-Agent Programming Contest 2011 - The Python-DTU Team

Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester

CoRR, 2011

Improving multi-agent systems using Jason.

Steen Vester, Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen

Ann. Math. Artif. Intell., 2011

Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach.

Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

SyntaxTrain: relieving the pain of learning syntax.

Andreas Leon Aagaard Moth, Jørgen Villadsen, Mordechai Ben-Ari

Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2010

Multi-Agent Programming Contest 2010 - The Jason-DTU Team

Jørgen Villadsen, Niklas Skamriis Boss, Andreas Schmidt Jensen, Steen Vester

CoRR, 2010

Developing Artificial Herders Using Jason

Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen

CoRR, 2010

Building multi-agent systems using <i>Jason</i>.

Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen

Ann. Math. Artif. Intell., 2010

2008

Nominalistic Logic (Extended Abstract)

Jørgen Villadsen

CoRR, 2008

2006

Preface.

Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen

Proceedings of the International Workshop on Hybrid Logic, 2006

Natural Language Processing Using Lexical and Logical Combinators.

Juan Fernández Ortiz, Jørgen Villadsen

Proceedings of the Logic Programming, 22nd International Conference, 2006

2005

Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency.

Jørgen Villadsen

J. Appl. Non Class. Logics, 2005

2004

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Jørgen Villadsen

CoRR, 2004

Paraconsistent Assertions.

Jørgen Villadsen

Proceedings of the Multiagent System Technologies, Second German Conference, 2004

A Paraconsistent Higher Order Logic.

Jørgen Villadsen

Proceedings of the Artificial Intelligence and Symbolic Computation, 2004

2003

Operational Semantics of an Imperative Language in Definite Clauses.

Jørgen Villadsen

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Paraconsistent Query Answering Systems.

Jørgen Villadsen

Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

Paraconsistent Knowledge Bases and Many-Valued Logic.

Jørgen Villadsen

Proceedings of the Baltic Conference, 2002

2001

Meaning and Partiality Revised.

Jørgen Villadsen

Proceedings of the SCAI'01, 2001

Combinators for Paraconsistent Attitudes.

Jørgen Villadsen

Proceedings of the Logical Aspects of Computational Linguistics, 2001

1992

Information States as First Class Citizens.

Jørgen Villadsen

Proceedings of the 30th Annual Meeting of the Association for Computational Linguistics, 28 June, 1992

1991

Combinatory Categorial Grammar for Intensional Fragment of Natural Language.

Jørgen Villadsen

Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Anaphora and Intensionality in Classical Logic.

Jørgen Villadsen

Proceedings of the 8th Nordic Conference of Computational Linguistics, 1991