default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJørgen Villadsen
Person information
- affiliation: Technical University of Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j14]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): 818-836 (2023)- [c49]Asta Halkjær From, Jørgen Villadsen:
A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness. TABLEAUX 2023: 468-480 - [c48]Nadine Karsten, Frederik Krogsdal Jacobsen, Kim Jana Eiken, Uwe Nestmann, Jørgen Villadsen:
ProofBuddy: A Proof Assistant for Learning and Monitoring. TFPIE 2023: 1-21 - [c47]Simon Tobias Lund, Jørgen Villadsen:
Teaching Higher-Order Logic Using Isabelle. ThEdu@CADE 2023: 59-78 - 2022
- [j13]Asta Halkjær From, Jørgen Villadsen:
Soundness and Completeness of Implicational Logic. Arch. Formal Proofs 2022 (2022) - [c46]Simon Tobias Lund, Jørgen Villadsen:
On Verified Automated Reasoning in Propositional Logic. ACIIDS (1) 2022: 390-402 - [c45]Frederik Krogsdal Jacobsen, Jørgen Villadsen:
On Exams with the Isabelle Proof Assistant. ThEdu@FLoC 2022: 63-76 - [c44]Frederik Krogsdal Jacobsen, Jørgen Villadsen:
Teaching Functional Programmers Logic and Metatheory. TFPIE 2022: 74-92 - [p3]Jørgen Villadsen, Jonas Weile:
The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team. The Multi-Agent Programming Contest 2022: 151-164 - 2021
- [c43]Asta Halkjær From, Anders Schlichtkrull, Jørgen Villadsen:
A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. CILC 2021: 107-121 - [c42]Asta Halkjær From, Simon Tobias Lund, Jørgen Villadsen:
A Case Study in Computer-Assisted Meta-reasoning. DCAI (2) 2021: 53-63 - [c41]Alexander Birch Jensen, Koen V. Hindriks, Jørgen Villadsen:
On using Theorem Proving for Cognitive Agent-oriented Programming. ICAART (1) 2021: 446-453 - [c40]Asta Halkjær From, Agnes Moesgård Eschen, Jørgen Villadsen:
Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL. CICM 2021: 32-46 - [c39]Jørgen Villadsen, Frederik Krogsdal Jacobsen:
Using Isabelle in Two Courses on Logic and Automated Reasoning. FMTea 2021: 117-132 - [c38]Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen:
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. LSFA 2021: 38-55 - [c37]Jørgen Villadsen, Asta Halkjær From, Patrick Blackburn:
Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. ThEdu@CADE 2021: 71-85 - 2020
- [c36]Asta Halkjær From, Patrick Blackburn, Jørgen Villadsen:
Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper). IJCAR (1) 2020: 474-481 - [c35]Jørgen Villadsen:
Tautology Checkers in Isabelle and Haskell. CILC 2020: 327-341 - [c34]Asta Halkjær From, Jørgen Villadsen, Patrick Blackburn:
Isabelle/HOL as a Meta-Language for Teaching Logic. ThEdu@IJCAR 2020: 18-34 - [i8]Alexander Birch Jensen, Jørgen Villadsen:
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest. CoRR abs/2006.06844 (2020)
2010 – 2019
- 2019
- [c33]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: 570-582 - [c32]Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen:
Teaching a Formalized Logical Calculus. ThEdu@CADE 2019: 73-92 - [p2]Alexander Birch Jensen, Jørgen Villadsen:
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest. The Multi-Agent Programming Contest 2019: 79-105 - 2018
- [j12]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): 281-299 (2018) - [j11]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): 57-74 (2018) - [j10]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): 86-100 (2018) - [c31]Jørgen Villadsen, Anders Schlichtkrull, Asta Halkjær From:
A Verified Simple Prover for First-Order Logic. PAAR@FLoC 2018: 88-104 - [c30]John Bruntse Larsen, Virginia Dignum, Jørgen Villadsen, Frank Dignum:
Querying Social Practices in Hospital Context. ICAART (2) 2018: 405-412 - [c29]Anders Schlichtkrull, Jørgen Villadsen, Asta Halkjær From:
Students' Proof Assistant (SPA). ThEdu@FLoC 2018: 1-13 - [c28]Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull:
Natural Deduction Assistant (NaDeA). ThEdu@FLoC 2018: 14-29 - [p1]Jørgen Villadsen, Mads Okholm Bjørn, Asta Halkjær From, Thomas Søren Henney, John Bruntse Larsen:
Multi-Agent Programming Contest 2018 - The Jason-DTU Team. The Multi-Agent Programming Contest 2018: 41-71 - 2017
- [j9]Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen:
A framework for organization-aware agents. Auton. Agents Multi Agent Syst. 31(3): 387-422 (2017) - [j8]Alexander Birch Jensen, Anders Schlichtkrull, Jørgen Villadsen:
First-Order Logic According to Harrison. Arch. Formal Proofs 2017 (2017) - [j7]Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull:
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. FLAP 4(1) (2017) - [j6]Jørgen Villadsen, Anders Schlichtkrull:
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. Trans. Large Scale Data Knowl. Centered Syst. 34: 92-122 (2017) - [c27]Niklas Christoffer Petersen, Jørgen Villadsen:
Logical Entity Level Sentiment Analysis. FG 2017: 54-71 - [c26]John Bruntse Larsen, Jørgen Villadsen:
An Approach for Hospital Planning with Multi-Agent Organizations. IJCRS (2) 2017: 454-465 - [c25]Jørgen Villadsen, Asta Halkjær From, Anders Schlichtkrull:
Natural Deduction and the Isabelle Proof Assistant. ThEdu@CADE 2017: 140-155 - 2016
- [j5]Anders Schlichtkrull, Jørgen Villadsen:
Paraconsistency. Arch. Formal Proofs 2016 (2016) - [c24]Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen:
A Framework for Organization-Aware Agents. AAMAS 2016: 1133-1134 - 2015
- [c23]Andreas Schmidt Jensen, Jørgen Villadsen:
Plan-belief Revision in Jason. ICAART (1) 2015: 182-189 - [c22]Andreas Schmidt Jensen, Christian Kaysø-Rørdam, Jørgen Villadsen:
Interfacing Agents to Real-Time Strategy Games. SCAI 2015: 68-77 - [i7]Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull:
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. CoRR abs/1507.04002 (2015) - 2014
- [c21]Andreas Schmidt Jensen, Virginia Dignum, Jørgen Villadsen:
The AORTA Architecture: Integrating Organizational Reasoning in Jason. EMAS@AAMAS 2014: 127-145 - [c20]Niklas Christoffer Petersen, Jørgen Villadsen:
Combining Formal Logic and Machine Learning for Sentiment Analysis. ISMIS 2014: 375-384 - 2013
- [j4]Andreas Schmidt Jensen, Jørgen Villadsen:
A comparison of organization-centered and agent-centered multi-agent systems. Artif. Intell. Res. 2(3): 59-69 (2013) - [c19]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: 329-338 - [c18]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: 366-390 - [c17]Andreas Schmidt Jensen, Johannes Svante Spurkeland, Jørgen Villadsen:
Formalizing Theatrical Performances Using Multi-Agent Organizations. SCAI 2013: 135-144 - 2012
- [c16]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: 205-216 - [i6]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 abs/1210.0437 (2012) - 2011
- [j3]Steen Vester, Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen:
Improving multi-agent systems using Jason. Ann. Math. Artif. Intell. 61(4): 297-307 (2011) - [c15]Andreas Leon Aagaard Moth, Jørgen Villadsen, Mordechai Ben-Ari:
SyntaxTrain: relieving the pain of learning syntax. ITiCSE 2011: 387 - [c14]Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen:
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. ProMAS 2011: 185-196 - [i5]Jørgen Villadsen, Mikko Berggren Ettienne, Steen Vester:
Multi-Agent Programming Contest 2011 - The Python-DTU Team. CoRR abs/1110.0105 (2011) - 2010
- [j2]Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen:
Building multi-agent systems using Jason. Ann. Math. Artif. Intell. 59(3-4): 373-388 (2010) - [i4]Niklas Skamriis Boss, Andreas Schmidt Jensen, Jørgen Villadsen:
Developing Artificial Herders Using Jason. CoRR abs/1001.0115 (2010) - [i3]Jørgen Villadsen, Niklas Skamriis Boss, Andreas Schmidt Jensen, Steen Vester:
Multi-Agent Programming Contest 2010 - The Jason-DTU Team. CoRR abs/1010.0145 (2010)
2000 – 2009
- 2008
- [i2]Jørgen Villadsen:
Nominalistic Logic (Extended Abstract). CoRR abs/0812.4814 (2008) - 2007
- [e3]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006. Electronic Notes in Theoretical Computer Science 174(6), Elsevier 2007 [contents] - 2006
- [c13]Juan Fernández Ortiz, Jørgen Villadsen:
Natural Language Processing Using Lexical and Logical Combinators. ICLP 2006: 444-446 - [c12]Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva, Jørgen Villadsen:
Preface. HyLo@FLoC 2006: 1-2 - 2005
- [j1]Jørgen Villadsen:
Supra-logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. J. Appl. Non Class. Logics 15(1): 45-58 (2005) - [e2]Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen:
Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3438, Springer 2005, ISBN 3-540-26165-6 [contents] - 2004
- [c11]Jørgen Villadsen:
A Paraconsistent Higher Order Logic. AISC 2004: 38-51 - [c10]Jørgen Villadsen:
Paraconsistent Assertions. MATES 2004: 99-113 - [i1]Jørgen Villadsen:
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. CoRR cs.CL/0408037 (2004) - 2003
- [c9]Jørgen Villadsen:
Operational Semantics of an Imperative Language in Definite Clauses. APPIA-GULP-PRODE 2003: 337-349 - 2002
- [c8]Jørgen Villadsen:
Paraconsistent Knowledge Bases and Many-Valued Logic. BalticDB&IS 2002: 77-90 - [c7]Jørgen Villadsen:
Paraconsistent Query Answering Systems. FQAS 2002: 370-384 - [c6]Jørgen Villadsen:
A Paraconsistent Higher Order Logic. Paraconsistent Computational Logic 2002: 33-49 - [e1]Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai:
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). Datalogiske Skrifter 95, Roskilde University, Roskilde, Denmark 2002 [contents] - 2001
- [c5]Jørgen Villadsen:
Combinators for Paraconsistent Attitudes. LACL 2001: 261-278 - [c4]Jørgen Villadsen:
Meaning and Partiality Revised. SCAI 2001: 163-164
1990 – 1999
- 1992
- [c3]Jørgen Villadsen:
Information States as First Class Citizens. ACL 1992: 303-305 - 1991
- [c2]Jørgen Villadsen:
Anaphora and Intensionality in Classical Logic. NODALIDA 1991: 165-176 - [c1]Jørgen Villadsen:
Combinatory Categorial Grammar for Intensional Fragment of Natural Language. SCAI 1991: 328-339
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
