Jørgen Villadsen

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 37

Top Topics

Propositional Logic

Theorem Proving

Natural Deduction

Sentiment Analysis

Top Venues

Arch. Formal Proofs

Publications

Simon Tobias Lund, Jørgen Villadsen
Teaching Higher-Order Logic Using Isabelle. ThEdu@CADE (2023)
Asta Halkjær From, Jørgen Villadsen
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. TABLEAUX (2023)
Frederik Krogsdal Jacobsen, Jørgen Villadsen
On Exams with the Isabelle Proof Assistant. CoRR (2023)
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
A sequent calculus for first-order logic formalized in Isabelle/HOL. J. Log. Comput. 33 (4) (2023)
Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen
ProofBuddy: A Proof Assistant for Learning and Monitoring. CoRR (2023)
Asta Halkjær From, Jørgen Villadsen
Soundness and Completeness of Implicational Logic. Arch. Formal Proofs 2022 (2022)
Frederik Krogsdal Jacobsen, Jørgen Villadsen
Teaching Functional Programmers Logic and Metatheory. TFPIE (2022)
Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. CoRR (2022)
Simon Tobias Lund, Jørgen Villadsen
On Verified Automated Reasoning in Propositional Logic. ACIIDS (1) (2022)
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. LSFA (2021)
Alexander Birch Jensen, Koen V. Hindriks, Jørgen Villadsen
On using Theorem Proving for Cognitive Agent-oriented Programming. ICAART (1) (2021)
Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. CICM (2021)
Jørgen Villadsen, Frederik Krogsdal Jacobsen
Using Isabelle in Two Courses on Logic and Automated Reasoning. FMTea (2021)
Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen
A Case Study in Computer-Assisted Meta-reasoning. DCAI (2) (2021)
Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. CILC (2021)
Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn
Isabelle/HOL as a Meta-Language for Teaching Logic. ThEdu@IJCAR (2020)
Jørgen Villadsen
Tautology Checkers in Isabelle and Haskell. CILC (2020)
Alexander Birch Jensen, Jørgen Villadsen
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest. CoRR (2020)
Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). IJCAR (1) (2020)
John Bruntse Larsen, Andrea Burattin, Christopher John Davis, Rasmus Hjardem-Hansen, Jørgen Villadsen
A Data Driven Agent Elicitation Pipeline for Prediction Models. Business Process Management Workshops (2019)
Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
Teaching a Formalized Logical Calculus. ThEdu@CADE (2019)
Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From
Students' Proof Assistant (SPA). ThEdu@FLoC (2018)
Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen
Programming and verifying a declarative first-order prover in Isabelle/HOL. AI Commun. 31 (3) (2018)
Jørgen Villadsen, Oliver Fleckenstein, Helge Hatteland, John Bruntse Larsen
Engineering a multi-agent system in Jason and CArtAgO - Multi-agent programming contest 2017. Ann. Math. Artif. Intell. 84 (1-2) (2018)
Jørgen Villadsen, Asta Halkjær From, Salvador Jacobi, Nikolaj Nøkkentved Larsen
Multi-agent programming contest 2016 - the Python-DTU team. Int. J. Agent Oriented Softw. Eng. 6 (1) (2018)
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
Natural Deduction Assistant (NaDeA). ThEdu@FLoC (2018)
John Bruntse Larsen, Virginia Dignum, Jørgen Villadsen, Frank Dignum
Querying Social Practices in Hospital Context. ICAART (2) (2018)
Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From
A Verified Simple Prover for First-Order Logic. PAAR@FLoC (2018)
Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen
A framework for organization-aware agents. Auton. Agents Multi Agent Syst. 31 (3) (2017)
Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull
Natural Deduction and the Isabelle Proof Assistant. ThEdu@CADE (2017)
Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen
First-Order Logic According to Harrison. Arch. Formal Proofs 2017 (2017)
Niklas Christoffer Petersen, Jørgen Villadsen
Logical Entity Level Sentiment Analysis. FG (2017)
John Bruntse Larsen, Jørgen Villadsen
An Approach for Hospital Planning with Multi-Agent Organizations. IJCRS (2) (2017)
Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. FLAP 4 (1) (2017)
Jørgen Villadsen, Anders Schlichtkrull
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. Trans. Large Scale Data Knowl. Centered Syst. 34 (2017)
Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen
A Framework for Organization-Aware Agents. AAMAS (2016)
Anders Schlichtkrull, Jørgen Villadsen
Paraconsistency. Arch. Formal Proofs 2016 (2016)
Andreas Schmidt Jensen, Jørgen Villadsen
Plan-belief Revision in Jason. ICAART (1) (2015)
Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. CoRR (2015)
Andreas Schmidt Jensen, Christian Kaysø-Rørdam, Jørgen Villadsen
Interfacing Agents to Real-Time Strategy Games. SCAI (2015)
Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen
The AORTA Architecture: Integrating Organizational Reasoning in Jason. EMAS@AAMAS (2014)
Niklas Christoffer Petersen, Jørgen Villadsen
Combining Formal Logic and Machine Learning for Sentiment Analysis. ISMIS (2014)
Jørgen Villadsen, Andreas Schmidt Jensen, Nicolai Christian Christensen, Andreas Viktor Hess, Jannick Boese Johnsen, Øyvind Grønland Woller, Philip Bratt Ørum
Engineering a Multi-Agent System in GOAL. EMAS@AAMAS (2013)
Andreas Schmidt Jensen, Jørgen Villadsen
A comparison of organization-centered and agent-centered multi-agent systems. Artif. Intell. Res. 2 (3) (2013)
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
Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. EMAS@AAMAS (2013)
Andreas Schmidt Jensen, Johannes Svante Spurkeland, Jørgen Villadsen
Formalizing Theatrical Performances Using Multi-Agent Organizations. SCAI (2013)
Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig
Multi-Agent Programming Contest 2012 - The Python-DTU Team CoRR (2012)
Jørgen Villadsen, Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen, Andreas Frøsig
Reimplementing a Multi-Agent System in Python. ProMAS (2012)
Steen Vester, Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen
Improving multi-agent systems using Jason. Ann. Math. Artif. Intell. 61 (4) (2011)
Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. ProMAS (2011)
Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester
Multi-Agent Programming Contest 2011 - The Python-DTU Team CoRR (2011)
Andreas Leon Aagaard Moth, Jørgen Villadsen, Mordechai Ben-Ari
SyntaxTrain: relieving the pain of learning syntax. ITiCSE (2011)
Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen
Developing Artificial Herders Using Jason CoRR (2010)
Jørgen Villadsen, Niklas Skamriis Boss, Andreas Schmidt Jensen, Steen Vester
Multi-Agent Programming Contest 2010 - The Jason-DTU Team CoRR (2010)
Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen
. Ann. Math. Artif. Intell. 59 (3-4) (2010)
Jørgen Villadsen
Nominalistic Logic (Extended Abstract) CoRR (2008)
Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen
Preface. Electron. Notes Theor. Comput. Sci. 174 (6) (2007)
Juan Fernández Ortiz, Jørgen Villadsen
Natural Language Processing Using Lexical and Logical Combinators. ICLP (2006)
Jørgen Villadsen
Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. J. Appl. Non Class. Logics 15 (1) (2005)
Jørgen Villadsen
A Paraconsistent Higher Order Logic. AISC (2004)
Jørgen Villadsen
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics CoRR (2004)
Jørgen Villadsen
Paraconsistent Assertions. MATES (2004)
Jørgen Villadsen
Operational Semantics of an Imperative Language in Definite Clauses. APPIA-GULP-PRODE (2003)
Jørgen Villadsen
Paraconsistent Knowledge Bases and Many-Valued Logic. BalticDB&IS (2002)
Jørgen Villadsen
A Paraconsistent Higher Order Logic. Paraconsistent Computational Logic (2002)
Jørgen Villadsen
Paraconsistent Query Answering Systems. FQAS (2002)
Jørgen Villadsen
Combinators for Paraconsistent Attitudes. LACL (2001)
Jørgen Villadsen
Meaning and Partiality Revised. SCAI (2001)
Jørgen Villadsen
Information States as First Class Citizens. ACL (1992)
Jørgen Villadsen
Combinatory Categorial Grammar for Intensional Fragment of Natural Language. SCAI (1991)
Jørgen Villadsen
Anaphora and Intensionality in Classical Logic. NODALIDA (1991)