| 2023 | TABLEAUX | A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. | Asta Halkjr From, Jrgen Villadsen |
| 2022 | ACIIDS | On Verified Automated Reasoning in Propositional Logic. | Simon Tobias Lund, Jrgen Villadsen |
| 2021 | DCAI | A Case Study in Computer-Assisted Meta-reasoning. | Asta Halkjr From, Simon Tobias Lund, Jrgen Villadsen |
| 2021 | ICAART | On using Theorem Proving for Cognitive Agent-oriented Programming. | Alexander Birch Jensen, Koen V. Hindriks, Jrgen Villadsen |
| 2020 | CADE | Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). | Asta Halkjr From, Patrick Blackburn, Jrgen Villadsen |
| 2019 | BPM | A Data Driven Agent Elicitation Pipeline for Prediction Models. | John Bruntse Larsen, Andrea Burattin, Christopher John Davis, Rasmus Hjardem-Hansen, Jrgen Villadsen |
| 2018 | CADE | A Verified Simple Prover for First-Order Logic. | Jrgen Villadsen, Anders Schlichtkrull, Asta Halkjr From |
| 2018 | ICAART | Querying Social Practices in Hospital Context. | John Bruntse Larsen, Virginia Dignum, Jrgen Villadsen, Frank Dignum |
| 2017 | FG | Logical Entity Level Sentiment Analysis. | Niklas Christoffer Petersen, Jrgen Villadsen |
| 2015 | ICAART | Plan-belief Revision in Jason. | Andreas Schmidt Jensen, Jrgen Villadsen |
| 2014 | ISMIS | Combining Formal Logic and Machine Learning for Sentiment Analysis. | Niklas Christoffer Petersen, Jrgen Villadsen |
| 2011 | ITiCSE | SyntaxTrain: relieving the pain of learning syntax. | Andreas Leon Aagaard Moth, Jrgen Villadsen, Mordechai Ben-Ari |
| 2006 | ICLP | Natural Language Processing Using Lexical and Logical Combinators. | Juan Fernndez Ortiz, Jrgen Villadsen |
| 2004 | AISC | A Paraconsistent Higher Order Logic. | Jrgen Villadsen |
| 2002 | FQAS | Paraconsistent Query Answering Systems. | Jrgen Villadsen |
| 1992 | ACL | Information States as First Class Citizens. | Jrgen Villadsen |