Jørgen Villadsen

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