Anaphora and Intensionality in Classical Logic. - Jørgen Villadsen (NODALIDA, 1991)

Combinatory Categorial Grammar for Intensional Fragment of Natural Language. - Jørgen Villadsen (SCAI, 1991)

Information States as First Class Citizens. - Jørgen Villadsen (ACL, 1992)

Combinators for Paraconsistent Attitudes. - Jørgen Villadsen (LACL, 2001)

Meaning and Partiality Revised. - Jørgen Villadsen (SCAI, 2001)

Paraconsistent Knowledge Bases and Many-Valued Logic. - Jørgen Villadsen (BalticDB&IS, 2002)

Paraconsistent Query Answering Systems. - Jørgen Villadsen (FQAS, 2002)

A Paraconsistent Higher Order Logic. - Jørgen Villadsen (Paraconsistent Computational Logic, 2002)

Operational Semantics of an Imperative Language in Definite Clauses. - Jørgen Villadsen (APPIA-GULP-PRODE, 2003)

Paraconsistent Assertions. - Jørgen Villadsen (MATES, 2004)

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics - Jørgen Villadsen (CoRR, 2004)

Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. - Jørgen Villadsen (J. Appl. Non Class. Logics, 2005)

Natural Language Processing Using Lexical and Logical Combinators. - Juan Fernández Ortiz; Jørgen Villadsen (ICLP, 2006)

Preface. - Patrick Blackburn; Thomas Bolander; Torben Braüner; Valeria de Paiva; Jørgen Villadsen (HyLo@FLoC, 2006)

Nominalistic Logic (Extended Abstract) - Jørgen Villadsen (CoRR, 2008)

Building multi-agent systems using Jason. - Niklas Skamriis Boss; Andreas Schmidt Jensen; Jørgen Villadsen (Ann. Math. Artif. Intell., 2010)

Developing Artificial Herders Using Jason - Niklas Skamriis Boss; Andreas Schmidt Jensen; Jørgen Villadsen (CoRR, 2010)

Multi-Agent Programming Contest 2010 - The Jason-DTU Team - Jørgen Villadsen; Niklas Skamriis Boss; Andreas Schmidt Jensen; Steen Vester (CoRR, 2010)

SyntaxTrain: relieving the pain of learning syntax. - Andreas Leon Aagaard Moth; Jørgen Villadsen; Mordechai Ben-Ari (ITiCSE, 2011)

Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. - Mikko Berggren Ettienne; Steen Vester; Jørgen Villadsen (ProMAS, 2011)

Improving multi-agent systems using Jason. - Steen Vester; Niklas Skamriis Boss; Andreas Schmidt Jensen; Jørgen Villadsen (Ann. Math. Artif. Intell., 2011)

Multi-Agent Programming Contest 2011 - The Python-DTU Team - Jørgen Villadsen; Mikko Berggren Ettienne; Steen Vester (CoRR, 2011)

Reimplementing a Multi-Agent System in Python. - Jørgen Villadsen; Andreas Schmidt Jensen; Mikko Berggren Ettienne; Steen Vester; Kenneth Balsiger Andersen; Andreas Frøsig (ProMAS, 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)

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; et al. (EMAS@AAMAS, 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 (EMAS@AAMAS, 2013)

Formalizing Theatrical Performances Using Multi-Agent Organizations. - Andreas Schmidt Jensen; Johannes Svante Spurkeland; Jørgen Villadsen (SCAI, 2013)

A comparison of organization-centered and agent-centered multi-agent systems. - Andreas Schmidt Jensen; Jørgen Villadsen (Artif. Intell. Res., 2013)

The AORTA Architecture: Integrating Organizational Reasoning in Jason. - Andreas Schmidt Jensen; Virginia Dignum; Jørgen Villadsen (EMAS@AAMAS, 2014)

Combining Formal Logic and Machine Learning for Sentiment Analysis. - Niklas Christoffer Petersen; Jørgen Villadsen (ISMIS, 2014)

Plan-belief Revision in Jason. - Andreas Schmidt Jensen; Jørgen Villadsen (ICAART (1), 2015)

Interfacing Agents to Real-Time Strategy Games. - Andreas Schmidt Jensen; Christian Kaysø-Rørdam; Jørgen Villadsen (SCAI, 2015)

Paraconsistency. - Anders Schlichtkrull; Jørgen Villadsen (Arch. Formal Proofs, 2016)

Logical Entity Level Sentiment Analysis. - Niklas Christoffer Petersen; Jørgen Villadsen (FG, 2017)

An Approach for Hospital Planning with Multi-Agent Organizations. - John Bruntse Larsen; Jørgen Villadsen (IJCRS (2), 2017)

A framework for organization-aware agents. - Andreas Schmidt Jensen; Virginia Dignum; Jørgen Villadsen (Auton. Agents Multi Agent Syst., 2017)

First-Order Logic According to Harrison. - Alexander Birch Jensen; Anders Schlichtkrull; Jørgen Villadsen (Arch. Formal Proofs, 2017)

Natural Deduction and the Isabelle Proof Assistant. - Jørgen Villadsen; Asta Halkjær From; Anders Schlichtkrull (ThEdu@CADE, 2017)

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. - Jørgen Villadsen; Alexander Birch Jensen; Anders Schlichtkrull (FLAP, 2017)

Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. - Jørgen Villadsen; Anders Schlichtkrull (Trans. Large Scale Data Knowl. Centered Syst., 2017)

A Verified Simple Prover for First-Order Logic. - Jørgen Villadsen; Anders Schlichtkrull; Asta Halkjær From (PAAR@FLoC, 2018)

Querying Social Practices in Hospital Context. - John Bruntse Larsen; Virginia Dignum; Jørgen Villadsen; Frank Dignum (ICAART (2), 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)

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)

Students' Proof Assistant (SPA). - Anders Schlichtkrull; Jørgen Villadsen; Asta Halkjær From (ThEdu@FLoC, 2018)

Natural Deduction Assistant (NaDeA). - Jørgen Villadsen; Asta Halkjær From; Anders Schlichtkrull (ThEdu@FLoC, 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)

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 (The Multi-Agent Programming Contest, 2018)

A Data Driven Agent Elicitation Pipeline for Prediction Models. - John Bruntse Larsen; Andrea Burattin; Christopher John Davis; Rasmus Hjardem-Hansen; Jørgen Villadsen (Business Process Management Workshops, 2019)

Teaching a Formalized Logical Calculus. - Asta Halkjær From; Alexander Birch Jensen; Anders Schlichtkrull; Jørgen Villadsen (ThEdu@CADE, 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)

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). - Asta Halkjær From; Patrick Blackburn; Jørgen Villadsen (IJCAR (1), 2020)

Tautology Checkers in Isabelle and Haskell. - Jørgen Villadsen (CILC, 2020)

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest. - Alexander Birch Jensen; Jørgen Villadsen (CoRR, 2020)

Isabelle/HOL as a Meta-Language for Teaching Logic. - Asta Halkjær From; Jørgen Villadsen; Patrick Blackburn (ThEdu@IJCAR, 2020)

A Case Study in Computer-Assisted Meta-reasoning. - Asta Halkjær From; Simon Tobias Lund; Jørgen Villadsen (DCAI (2), 2021)

On using Theorem Proving for Cognitive Agent-oriented Programming. - Alexander Birch Jensen; Koen V. Hindriks; Jørgen Villadsen (ICAART (1), 2021)

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. - Asta Halkjær From; Agnes Moesgård Eschen; Jørgen Villadsen (CICM, 2021)

Using Isabelle in Two Courses on Logic and Automated Reasoning. - Jørgen Villadsen; Frederik Krogsdal Jacobsen (FMTea, 2021)

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. - Jørgen Villadsen; Asta Halkjær From; Patrick Blackburn (ThEdu@CADE, 2021)

SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. - Asta Halkjær From; Frederik Krogsdal Jacobsen; Jørgen Villadsen (LSFA, 2021)

On Verified Automated Reasoning in Propositional Logic. - Simon Tobias Lund; Jørgen Villadsen (ACIIDS (1), 2022)

Soundness and Completeness of Implicational Logic. - Asta Halkjær From; Jørgen Villadsen (Arch. Formal Proofs, 2022)

Teaching Functional Programmers Logic and Metatheory. - Frederik Krogsdal Jacobsen; Jørgen Villadsen (TFPIE, 2022)

On Exams with the Isabelle Proof Assistant. - Frederik Krogsdal Jacobsen; Jørgen Villadsen (ThEdu@FLoC, 2022)

The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team. - Jørgen Villadsen; Jonas Weile (The Multi-Agent Programming Contest, 2022)

A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. - Asta Halkjær From; Jørgen Villadsen (TABLEAUX, 2023)

ProofBuddy: A Proof Assistant for Learning and Monitoring. - Nadine Karsten; Frederik Krogsdal Jacobsen; Kim Jana Eiken; Uwe Nestmann; Jørgen Villadsen (TFPIE, 2023)

Teaching Higher-Order Logic Using Isabelle. - Simon Tobias Lund; Jørgen Villadsen (ThEdu@CADE, 2023)

A sequent calculus for first-order logic formalized in Isabelle/HOL. - Asta Halkjær From; Anders Schlichtkrull; Jørgen Villadsen (J. Log. Comput., 2023)

Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned. - Jørgen Villadsen (ThEdu@CADE, 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., 2024)