Jørgen Villadsen

Orcid: 0000-0003-3624-1159

Affiliations:
  • Technical University of Denmark


According to our database1, Jørgen Villadsen authored at least 70 papers between 1991 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A sequent calculus for first-order logic formalized in Isabelle/HOL.
J. Log. Comput., June, 2023

Teaching Higher-Order Logic Using Isabelle.
Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

ProofBuddy: A Proof Assistant for Learning and Monitoring.
Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022
The 16th Edition of the Multi-Agent Programming Contest - The GOAL-DTU Team.
Proceedings of the Multi-Agent Programming Contest 2022, 2022

On Exams with the Isabelle Proof Assistant.
Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

Teaching Functional Programmers Logic and Metatheory.
Proceedings of the Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, 2022

Soundness and Completeness of Implicational Logic.
Arch. Formal Proofs, 2022

On Verified Automated Reasoning in Propositional Logic.
Proceedings of the Intelligent Information and Database Systems - 14th Asian Conference, 2022

2021
SeCaV: A Sequent Calculus Verifier in Isabelle/HOL.
Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

Teaching Intuitionistic and Classical Propositional Logic Using Isabelle.
Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

Using Isabelle in Two Courses on Logic and Automated Reasoning.
Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL.
Proceedings of the Intelligent Computer Mathematics - 14th International Conference, 2021

On using Theorem Proving for Cognitive Agent-oriented Programming.
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

A Case Study in Computer-Assisted Meta-reasoning.
Proceedings of the Distributed Computing and Artificial Intelligence, 2021

2020
Isabelle/HOL as a Meta-Language for Teaching Logic.
Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest.
CoRR, 2020

Tautology Checkers in Isabelle and Haskell.
Proceedings of the 35th Italian Conference on Computational Logic, 2020

Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short Paper).
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019
GOAL-DTU: Development of Distributed Intelligence for the Multi-Agent Programming Contest.
The Multi-Agent Programming Contest, 2019

Teaching a Formalized Logical Calculus.
Proceedings of the Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, 2019

A Data Driven Agent Elicitation Pipeline for Prediction Models.
Proceedings of the Business Process Management Workshops, 2019

2018
Multi-Agent Programming Contest 2018 - The Jason-DTU Team.
Proceedings of the Multi-Agent Programming Contest 2018, 2018

Multi-agent programming contest 2016 - the Python-DTU team.
Int. J. Agent Oriented Softw. Eng., 2018

Natural Deduction Assistant (NaDeA).
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Students' Proof Assistant (SPA).
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Engineering a multi-agent system in Jason and CArtAgO - Multi-agent programming contest 2017.
Ann. Math. Artif. Intell., 2018

Programming and verifying a declarative first-order prover in Isabelle/HOL.
AI Commun., 2018

Querying Social Practices in Hospital Context.
Proceedings of the 10th International Conference on Agents and Artificial Intelligence, 2018

A Verified Simple Prover for First-Order Logic.
Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant.
Trans. Large Scale Data Knowl. Centered Syst., 2017

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.
FLAP, 2017

Natural Deduction and the Isabelle Proof Assistant.
Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

First-Order Logic According to Harrison.
Arch. Formal Proofs, 2017

A framework for organization-aware agents.
Auton. Agents Multi Agent Syst., 2017

An Approach for Hospital Planning with Multi-Agent Organizations.
Proceedings of the Rough Sets - International Joint Conference, 2017

Logical Entity Level Sentiment Analysis.
Proceedings of the Formal Grammar - 22nd International Conference, 2017

2016
Paraconsistency.
Arch. Formal Proofs, 2016

2015
Interfacing Agents to Real-Time Strategy Games.
Proceedings of the Thirteenth Scandinavian Conference on Artificial Intelligence, 2015

Plan-belief Revision in Jason.
Proceedings of the ICAART 2015, 2015

2014
Combining Formal Logic and Machine Learning for Sentiment Analysis.
Proceedings of the Foundations of Intelligent Systems - 21st International Symposium, 2014

The AORTA Architecture: Integrating Organizational Reasoning in Jason.
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013
A comparison of organization-centered and agent-centered multi-agent systems.
Artif. Intell. Res., 2013

Formalizing Theatrical Performances Using Multi-Agent Organizations.
Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013

Engineering a Multi-Agent System in GOAL.
Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013


2012
Multi-Agent Programming Contest 2012 - The Python-DTU Team
CoRR, 2012

Reimplementing a Multi-Agent System in Python.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

2011
Multi-Agent Programming Contest 2011 - The Python-DTU Team
CoRR, 2011

Improving multi-agent systems using Jason.
Ann. Math. Artif. Intell., 2011

Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach.
Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011

SyntaxTrain: relieving the pain of learning syntax.
Proceedings of the 16th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2011

2010
Multi-Agent Programming Contest 2010 - The Jason-DTU Team
CoRR, 2010

Developing Artificial Herders Using Jason
CoRR, 2010

Building multi-agent systems using <i>Jason</i>.
Ann. Math. Artif. Intell., 2010

2008
Nominalistic Logic (Extended Abstract)
CoRR, 2008

2006
Preface.
Proceedings of the International Workshop on Hybrid Logic, 2006

Natural Language Processing Using Lexical and Logical Combinators.
Proceedings of the Logic Programming, 22nd International Conference, 2006

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

2004
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics
CoRR, 2004

Paraconsistent Assertions.
Proceedings of the Multiagent System Technologies, Second German Conference, 2004

2003
Operational Semantics of an Imperative Language in Definite Clauses.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
A Paraconsistent Higher Order Logic.
Proceedings of the Paraconsistent Computational Logic, 2002

Paraconsistent Query Answering Systems.
Proceedings of the Flexible Query Answering Systems, 5th International Conference, 2002

Paraconsistent Knowledge Bases and Many-Valued Logic.
Proceedings of the Baltic Conference, 2002

2001
Meaning and Partiality Revised.
Proceedings of the SCAI'01, 2001

Combinators for Paraconsistent Attitudes.
Proceedings of the Logical Aspects of Computational Linguistics, 2001

1992
Information States as First Class Citizens.
Proceedings of the 30th Annual Meeting of the Association for Computational Linguistics, 28 June, 1992

1991
Combinatory Categorial Grammar for Intensional Fragment of Natural Language.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991

Anaphora and Intensionality in Classical Logic.
Proceedings of the 8th Nordic Conference of Computational Linguistics, 1991


  Loading...