Student Ideas
Multi-Agent Systems - Research & Teaching - Laboratory
Poster Available
I highly recommend Larry Paulson's gentle introduction to the use of formal logic and mathematics to create trustworthy systems: Computational Logic: Its Origins and Applications
Main topics for research group
Logic, computational linguistics and artificial intelligence / multi-agent systems. Formalizations of logics and algorithms in the Isabelle proof assistant. Mathematical logic, type theory and higher-order logic. Applications of logic. Non-classical logics. Tools for teaching logic and computer science. Higher education management. Computer science education.
Current and former group members
Alexander Birch Jensen
Anders Schlichtkrull
Andreas Schmidt Jensen
Asta Halkjær From
John Bruntse Larsen
Recent Papers
Isabelle/HOL as a Meta-Language for Teaching Logic. Asta Halkjær From, Jørgen Villadsen & Patrick Blackburn. Electronic Proceedings in Theoretical Computer Science (Accepted) 1-17 2020.
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest. Alexander Birch Jensen & Jørgen Villadsen. AI Challenges (Accepted) 1-28 2020.
A Micro Prover for Teaching Automated Reasoning. Jørgen Villadsen. Workshop on Practical Aspects of Automated Reasoning 1-12 2020.
A Concise Sequent Calculus for Teaching First-Order Logic. Asta Halkjær From & Jørgen Villadsen. Isabelle Workshop 2020.
Formalizing a Seligman-Style Tableau System for Hybrid Logic. Asta Halkjær From, Patrick Blackburn & Jørgen Villadsen. International Joint Conference on Automated Reasoning 474-481 2020.
Teaching a Formalized Logical Calculus. Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull & Jørgen Villadsen.
Electronic Proceedings in Theoretical Computer Science 313:73-92 2020.
Multi-Agent Programming Contest 2018 - The Jason-DTU Team. Jørgen Villadsen, Mads Okholm Bjørn, Andreas Halkjær From, Thomas Søren Henney & John Bruntse Larsen. AI Challenges 11957:41-71 2019.
A Data Driven Agent Elicitation Pipeline for Prediction Models. John Bruntse Larsen, Andrea Burattin, Christopher John Davis, Rasmus Hjardem-Hansen & Jørgen Villadsen. Business Information Processing 362:570-582 2019.
Students' Proof Assistant (SPA). Anders Schlichtkrull, Jørgen Villadsen & Andreas Halkjær From. Electronic Proceedings in Theoretical Computer Science 290:1-13 2019.
Natural Deduction Assistant (NaDeA). Jørgen Villadsen, Andreas Halkjær From & Anders Schlichtkrull. Electronic Proceedings in Theoretical Computer Science 290:14-29 2019.
A Verified Simple Prover for First-Order Logic. Jørgen Villadsen, Anders Schlichtkrull & Andreas Halkjær From. Workshop on Practical Aspects of Automated Reasoning 88-104 2018.
Querying Social Practices in Hospital Context. John Bruntse Larsen, Virginia Dignum, Jørgen Villadsen & Frank Dignum. International Conference on Agents and Artificial Intelligence 405-412 2018.
Substitutionless First-Order Logic: A Formal Soundness Proof. Andreas Halkjær From, John Bruntse Larsen, Anders Schlichtkrull & Jørgen Villadsen. Isabelle Workshop 2018.
Drawing Trees. Andreas Halkjær From, Anders Schlichtkrull & Jørgen Villadsen. Isabelle Workshop 2018.
Natural Deduction and the Isabelle Proof Assistant. Jørgen Villadsen, Andreas Halkjær From & Anders Schlichtkrull. Electronic Proceedings in Theoretical Computer Science 267:140-155 2018.
Engineering a Multi-Agent System in Jason and CArtAgO. Jørgen Villadsen, Oliver Fleckenstein, Helge Hatteland & John Bruntse Larsen. Annals of Mathematics and Artificial Intelligence 84:57-74 2018.
Multi-Agent Programming Contest 2016 - The Python-DTU Team. Jørgen Villadsen, Andreas Halkjær From, Salvador Jacobi & Nikolaj Nøkkentved Larsen. International Journal of Agent-Oriented Software Engineering 6: 86-100 2018.
Programming and Verifying a Declarative First-Order Prover in Isabelle/HOL. Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull & Jørgen Villadsen. AI Communications 31:281-299 2018.
Leading the Teacher Team - Balancing Between Formal and Informal Power in Program Leadership. Anna-Karin Högfeldt, Lauri Malmi, Päivi Kinnunen, Anna Jerbrant, Emma Strömberg, Anders Berglund & Jørgen Villadsen. Tertiary Education and Management 24:49-65 2018.
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. Jørgen Villadsen & Anders Schlichtkrull. Transactions on Large-Scale Data- and Knowledge-Centered Systems 34:92-122 2017.
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle. Jørgen Villadsen, Alexander Birch Jensen & Anders Schlichtkrull. IFCoLog Journal of Logics and their Applications 4:55-82 2017.
A Framework for Organization-Aware Agents. Andreas Schmidt Jensen, Virginia Dignum & Jørgen Villadsen. Autonomous Agents and Multi-Agent Systems 31:387-422 2017.
Publications: https://orcid.org/0000-0003-3624-1159 Since 2001
PC Member: AAMAS2019 ACIIDS2019 BIGDACI2019 EMAS2019 ICAART2019 NLPinAI2019
The following information has not been updated in recent years
Student Ideas
Multi-Agent Systems - Research & Teaching - Laboratory
Poster Available
Algorithms, Logic and Graphs Section - Department of Applied Mathematics and Computer Science - Technical University of Denmark
Mail jovi(the-at-sign)dtu.dk - CV - Danish Bio - Contact Information
Research Area: Logic in Computer Science and Artificial Intelligence Automated Reasoning * Natural Language Processing * IT Security * Isabelle
Teaching Competence: Computer Science and Engineering Logic * Algorithms * AI Programming * Semantics
Logic Tools: NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle
Seminars: Proof Assistants and Related Tools - The PART Project
The Isabelle Proof Assistant: Higher-Order Logic - DTU Compute - Denmark
Edited Book: Constraints and Language Editors Philippe Blache, Henning Christiansen, Verónica Dahl, Denys Duchier & Jørgen Villadsen - Cambridge Scholars Publishing 2014
Textbook: Java to C: A Primer Charlie McDowell & Jørgen Villadsen - Polyteknisk Forlag 2013
Monograph: Nabla: A Linguistic System Based on Type Theory Foundations of Communication and Cognition (New Series) - LIT Verlag 2010
A Synthetic Axiomatization of Map Theory Talk by Klaus Grue, Edlund A/S, on Wednesday 17 February 2016 14:00-15:00 at DTU Lyngby Campus, Building 101, Room S10
International Conference on Big Data Analytics, Data Mining and Computational Intelligences Program Committee Member BigDaCI 2016
International Workshop on Consistency and Inconsistency Program Committee Member COIN 2016
International Workshop on AI Aspects of Reasoning, Information, and Memory Program Committee Member AIRIM 2016
International Workshop on Engineering Multi-Agent Systems Program Committee Member EMAS 2016
International Conference on Agents and Artificial Intelligence Special Session Program Committee Member ICAART 2016
Asian Conference on Intelligent Information and Database Systems Program Committee Member ACIIDS 2016
International Conference on Advanced Cognitive Technologies and Applications Program Committee Member COGNITIVE 2016
In Control of Autonomous Decision Systems Talk by Koen Hindriks - Host 2015
TU Wien - Faculty of Informatics - Theory and Logic Group Visit 2015
Scandinavian Conference on Artificial Intelligence Program Committee Member SCAI 2015
International Conference - IEEE TENCON Languages, Information, and Computational Intelligence Program Committee Member LangInfoCompInt 2015
International Workshop on Engineering Multi-Agent Systems Program Committee Member EMAS 2015
International Conference on Green Computing and Internet of Things Program Committee Member ICGCIoT 2015
International Conference on Intelligent Systems and Agents Program Committee Member ISA 2015
Asian Conference on Intelligent Information and Database Systems Program Committee Member ACIIDS 2015
International Conference on Advanced Cognitive Technologies and Applications Program Committee Member COGNITIVE 2015
Technische Universität München - Fakultät für Informatik - Theorem Proving Group Visit 2014
FLoC - Federated Logic Conference Vienna Summer of Logic 2014
International Symposium on Methodologies for Intelligent Systems Participant ISMIS 2014
International Conference on Artificial Intelligence Applications and Innovations Program Committee Member AIAI 2014
(Cognitive) Agents for Social Simulation Talk by Virginia Dignum - Host 2014
Socio-technical Organisation Talk by Virginia Dignum - Host 2014
Durham University - School of Engineering and Computing Sciences Visit 2014
ESSLLI - European Summer School in Logic, Language and Information Program Committee Member (Area Co-Chair for Logic and Computation) 2014
International Workshop on Constraint Solving and Language Processing Program Committee Member CSLP 2014
International Conference on Intelligent Systems and Agents Program Committee Member ISA 2014
International Workshop on Engineering Multi-Agent Systems Program Committee Member EMAS 2014
International Conference on Advanced Cognitive Technologies and Applications Program Committee Member COGNITIVE 2014
Asian Conference on Intelligent Information and Database Systems Program Committee Member ACIIDS 2014
TU Clausthal - Department of Informatics - Computational Intelligence Group Visit 2013
TU Delft - Interactive Intelligence Group Visit 2013
Lorentz Center Workshop: Formal Methods for the Informal World Invited Participant 2013
International Conference on Advanced Cognitive Technologies and Applications Program Committee Member COGNITIVE 2013
International Conference on Intelligent Systems and Agents Program Committee Member ISA 2013
International Workshop on Engineering Multi-Agent Systems Program Committee Member EMAS 2013
Algolog Multi-Agent Programming Seminar Organization Committee Chair AMAPS 2012
International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII) / European Conference on Artificial Intelligence (ECAI XX) Member DAIS-ECCAI 2012
Dagstuhl Seminar: Engineering Multi-Agent Systems Invited Participant 2012
International Workshop on Constraints and Language Processing Program Committee Member CSLP 2012
International Conference on Intelligent Systems and Agents Program Committee Member ISA 2012
International Workshop on Programming Multi-Agent Systems Program Committee Member ProMAS 2012
Mathematical Reviews MR Reviewer 2011
Algolog Multi-Agent Programming Seminar Organization Committee Chair AMAPS 2011
International Conference on Intelligent Systems and Agents Program Committee Member ISA 2011
International Workshop on Data, Logic and Inconsistency Program Committee Member DALI 2011
International Workshop on Programming Multi-Agent Systems Program Committee Member ProMAS 2011
World Congress on Computer Science and Information Engineering Program Committee Member CSIE 2011
International Conference on Intelligent Systems and Agents Program Committee Member ISA 2010
Talk by Mordechai (Moti) Ben-Ari 10 December 2010
Talk by Klaus Robering 25 November 2010
ESSLLI - European Summer School in Logic, Language and Information Local Organization Committee Member 2010
FLoC - Federated Logic Conference Association for Symbolic Logic Member 2010
Using and Teaching Logic and Machine Learning for Modeling Cognitive Processes Talk by Anders Søgaard - Host 2009
International Workshop on Methods for Modalities Program Committee Member M4M 2009
International Conference on Intelligent Systems and Agents Program Committee Member ISA 2009
Current and Planned Educational Initiatives in AI at the IT University of Copenhagen Talk by Rune Møller Jensen - Host 2009
Combining Logics & Proving Paraconsistent, Many-Valued and Modal Logics by Handling Polynomials Talks by Walter Carnielli (State University of Campinas / Brazil) - Host 2008
International Workshop on Constraints and Language Processing Organization Committee Co-Chair & Program Committee Co-Chair CSLP 2008
Lorenzen-Style Dialog Games for Classical Natural Deduction and Sequent Calculus Talk by Morten Heine Sørensen (Formalit) - Host 2008
International Workshop on Constraints and Language Processing Organization Committee Co-Chair & Program Committee Co-Chair CSLP 2007
International and Interdisciplinary Conference on Modeling and Using Context Organization Committee Member CONTEXT 2007
International Workshop on Hybrid Logic at European Summer School in Logic, Language and Information Organization Committee Member & Program Committee Member HyLo 2007
Tableau-Based Decision Procedures for Modal Logics Talk by Rajeev Goré (Australian National University) - Host 2007
Logiweb Talk by Klaus Grue (University of Copenhagen) - Host 2007
International Workshop on Hybrid Logic Organization Committee Member & Program Committee Member HyLo 2006
International Workshop on Constraints and Language Processing Organization Committee Member & Program Committee Member CSLP 2004 / 2005 / 2006
CONTROL: Constraint Based Tools for Robust Language Processing Principal Investigator Henning Christiansen - Danish Natural Science Research Council Grant
Nabla: A Linguistic System Based on Multi-dimensional Type Theory. PhD Thesis - Department of Computer Science DTU ID-TR-156 300 p. 1995
Meta-logical Knowledge Representation. MSc Thesis - Department of Computer Science DTU ID-E-474 112 p. 1989
Previous Affiliations: Associate Professor, Computer Science, Roskilde University (2002-2006); Assistant Professor, IMM-DTU (1999-2002); Prolog Development Center A/S (1999); Danish Defence Research Establishment (1997-1999); Tryg-Baltica A/S (1994-1996); Centre for Language Technology (1992-1994); DTU/UNI-C/CBS (1984-1992); Tårnby Gymnasium (1981-1984)
Visits Abroad: Centre for Mathematics and Computer Science (CWI), Amsterdam (6 months); Dae Duck Electronics (IAESTE), South Korea (2 months); European Organization for Nuclear Research (CERN), Geneve (3 months); Davies's School of English (EUROCENTRES), London (1 month); Institute of National Research Council of Italy (CNUCE), Pisa (2 months)
Invited Talks: University of Southern Denmark, Kolding; Royal Danish Defence College, Copenhagen; University of Copenhagen (KU); Linköping University, Sweden; University of Copenhagen Amager (KUA)
University Censor: Department of Computer Science, University of Copenhagen (DIKU); IT University of Copenhagen (ITU); Roskilde University; DTU
Nabla: A Linguistic System Based on Type Theory Principal Investigator Jørgen Villadsen - Danish Research Council for the Humanities Grant
HyLoMOL: Hybrid Logic Meets Other Logics Principal Investigator Torben Braüner - Danish Natural Science Research Council Grant
CONTROL: Constraint Based Tools for Robust Language Processing Principal Investigator Henning Christiansen - Danish Natural Science Research Council Grant
Sole author or editor unless otherwise stated - Note that if the special "o-slash" letter in my first name is not available then use the following official spelling: Joergen Villadsen
International Journal Publications:
The AORTA Architecture: Integrating Organizational Reasoning in Jason. With Andreas Schmidt Jensen & Virginia Dignum. Springer Lecture Notes in Computer Science 8758:127-145 2014
Combining Formal Logic and Machine Learning for Sentiment Analysis. With Niklas Christoffer Petersen. Springer Lecture Notes in Computer Science 8502:375-384 2014
Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. With Tobias Ahlbrecht et al. Springer Lecture Notes in Computer Science 8245:366-390 2013
Engineering a Multi-Agent System in GOAL. With Andreas Schmidt Jensen, Nicolai Christian Christensen, Andreas Viktor Hess, Jannick Boese Johnsen, Øyvind Grønland Woller & Philip Bratt Ørum. Springer Lecture Notes in Computer Science 8245:329-338 2013
Belief Revision in the GOAL Agent Programming Language. With Johannes Svante Spurkeland & Andreas Schmidt Jensen. ISRN Artificial Intelligence 632319:1-11 2013
A Comparison of Organization-Centered and Agent-Centered Multi-Agent Systems. With Andreas Schmidt Jensen. Artificial Intelligence Research 2(3): 59-69 2013
Reimplementing a Multi-Agent System in Python. With Andreas Schmidt Jensen, Mikko Berggren Ettienne, Steen Vester, Kenneth Balsiger Andersen & Andreas Frøsig. Springer Lecture Notes in Computer Science 7837:205-216 2013
Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. With Mikko Berggren Ettienne & Steen Vester. Springer Lecture Notes in Computer Science 7217:185-196 2012.
Improving Multi-Agent Systems Using Jason. With Steen Vester, Niklas Skamriis Boss & Andreas Schmidt Jensen. Annals of Mathematics and Artificial Intelligence 61: 297-307 2011
Building Multi-Agent Systems Using Jason. With Niklas Skamriis Boss & Andreas Schmidt Jensen. Annals of Mathematics and Artificial Intelligence 59: 373-388 2010
Natural Language Processing Using Lexical and Logical Combinators. With Juan Fernández Ortiz. Springer Lecture Notes in Computer Science 4079:444-446 2006
Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. Journal of Applied Non-Classical Logics 15:45-58 2005
A Paraconsistent Higher Order Logic. Springer Lecture Notes in Computer Science 3249:38-51 2004
Paraconsistent Assertions. Springer Lecture Notes in Computer Science 3187:99-113 2004
Paraconsistent Query Answering Systems. Springer Lecture Notes in Computer Science 2522:370-384 2002
Combinators for Paraconsistent Attitudes. Springer Lecture Notes in Computer Science 2099:261-278 2001
Other Scientific Publications:
Plan-Belief Revision in Jason. With Andreas Schmidt Jensen. In Proceedings of International Conference on Agents and Artificial Intelligence, p. 182-189, 2015.
The AORTA Architecture: Integrating Organizational Reasoning in Jason. With Andreas Schmidt Jensen & Virginia Dignum. In Proceedings of Engineering Multi-Agent Systems, p. 112-128, 2014
Formalizing Theatrical Performances Using Multi-Agent Organizations. With Andreas Schmidt Jensen & Johannes Svante Spurkeland. In 12th Scandinavian Conference on AI, p. 135-144, IOS Press, Amsterdam, Netherlands, 2013
Program Leadership from a Nordic Perspective - Program Leaders' Power to Influence Their Program. With Anna-Karin Högfeldt, Emma Strömberg, Anna Jerbrant, Anders Berglund, Peter Munkebo Hussmann, Päivi Kinnunen, Lauri Malmi, Johan Malmqvist & Bjørn Baggerud. Paper 186 11 p. In Proceedings of 9th International CDIO Conference, Cambridge, Massachusetts, 2013
Program Leadership from a Nordic Perspective - Managing Education Development. With Anna-Karin Högfeldt, Ann Cornell, Mikael Cronhjort, Anna Jerbrant, Reidar Lyng, Raimo Kantola, Lauri Malmi, Ulrika Lundqvist, Johan Malmqvist, Peter Munkebo Hussmann, Helge Brattebø & Tim Torvatn. Paper WB3 20 p. In Proceedings of 8th International CDIO Conference, Brisbane, Australia, 2012
Paraconsistent Computational Logic. With Andreas Schmidt Jensen. In Patrick Blackburn, Klaus Frovin Jørgensen, Neil Jones & Erik Palmgren, Editors, 8th Scandinavian Logic Symposium, p. 59-61, 2012
SyntaxTrain: Relieving the Pain of Learning Syntax. With Andreas Leon Aagaard Moth & Mordechai Ben-Ari. In Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE, p. 387, Darmstadt, Germany, 2011
Developing Artificial Herders Using Jason. With Niklas Skamriis Boss & Andreas Schmidt Jensen. In CLIMA Proceedings p. 193-197 Germany 2009
Infinite-Valued Propositional Type Theory for Semantics. In Jean-Yves Béziau & Alexandre Costa-Leite, Editors, Dimensions of Logical Concepts. UNICAMP p. 277-297, Campinas, Brazil 2009
Nominalistic Logic (Extended Abstract). Computing Research Repository (CoRR) 0812.4814 3 p. 2008
Nominalistic Logic: From Naive Set Theory to Intensional Type Theory. In Klaus Robering, Editor, New Approaches to Classes and Concepts. Volume 14 of Studies in Logic, p. 57-85, College Publications, London, UK, 2008
International Workshop on Constraints and Language Processing. Editors Jørgen Villadsen & Henning Christiansen - Proceedings 94 p. ESSLLI, Hamburg, Germany 2008
International Workshop on Constraints and Language Processing. Editors Henning Christiansen & Jørgen Villadsen - Proceedings 101 p. CONTEXT, Roskilde, Denmark 2007
International Workshop on Hybrid Logic. Editors Jørgen Villadsen, Thomas Bolander & Torben Braüner - Proceedings 90 p. ESSLLI, Dublin, Ireland 2007
Many-Valued Modal Logic. Hybrid Logic Workshop - 6 p. Denmark 2007
Proceedings of the International Workshop on Hybrid Logic (HyLo 2006). Editors Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva & Jørgen Villadsen - Elsevier ENTCS 174(6) p. 1-148 2007
International Workshop on Hybrid Logic. Editors Patrick Blackburn, Thomas Bolander, Torben Braüner, Valeria de Paiva & Jørgen Villadsen - Preliminary Proceedings 138 p. FLoC, Seattle, USA 2006
Nominalization in Intensional Type Theory. LICS Short Presentation 2 p. 2006
On Intensional Type Theory. International Conference on Computational, Foundational and Philosophical Issues in Non-Standard Set Theories - 6 p. Denmark 2006
Notes on Data Structures and Algorithms. Notes in Computer Science - Roskilde University 50 p. Denmark 2006
International Workshop on Constraint Solving and Language Processing. Editors Henning Christiansen & Jørgen Villadsen - Proceedings 65 p. Denmark 2005
Constraint Solving and Language Processing. Editors Henning Christiansen, Peter Rossen Skadhauge & Jørgen Villadsen - Springer LNCS/LNAI 3438 205 p. 2005
Infinite-Valued Propositional Type Theory for Semantics. In Handbook of the First World Congress and School on Universal Logic p. 102 Switzerland 2005
International Workshop on Constraint Solving and Language Processing. Editors Henning Christiansen, Peter Rossen Skadhauge & Jørgen Villadsen - Proceedings 165 p. Denmark 2004
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. In CSLP Proceedings p. 160-165 Denmark 2004
Studies in Logic and Practical Reasoning. Seminar on Information Navigation - 4 p. Denmark 2004
User Interfaces for Automated Reasoning Systems. In HCI Proceedings p. 95-98 Denmark 2003
Operational Semantics of an Imperative Language in Definite Clauses. In AGP Procedings p. 337-349 Italy 2003
Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. In WCP Proceedings p. 73 France 2003
International Workshop on Paraconsistent Computational Logic. Editors Hendrik Decker, Jørgen Villadsen & Toshiharu Waragai - Proceedings 134 p. Denmark 2002
A Paraconsistent Higher Order Logic. In PCL Proceedings p. 33-49 Denmark 2002
Paraconsistent Knowledge Bases and Many-Valued Logic. In BALT Proceedings p. 77-90 Estonia 2002
The Status of Stable Quicksort. Standard Template Library Workshop - 4 p. Denmark 2001
On Programs in Rational Agents. In NWPT Proceedings p. 8 Denmark 2001
Meaning and Partiality Revised. In SCAI Proceedings p. 163-164 IOS Press 2001
Logic Based on Semiotics. In NASS Proceedings p. 39-40 Denmark 2000
[9 Publications 1989-1999]
Scientific Dissemination / Industrial Collaborations / Information Technology Patents / Postdoc Positions / PhD Supervision
I take care to have an updated and interoperable homepage - I also prefer to use open source programs - Thanks for the visit and please come back soon :-)
