default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jørgen Villadsen
@article{DBLP:journals/logcom/FromSV23,
author = {Asta Halkj{\ae}r From and
Anders Schlichtkrull and
J{\o}rgen Villadsen},
title = {A sequent calculus for first-order logic formalized in Isabelle/HOL},
journal = {J. Log. Comput.},
volume = {33},
number = {4},
pages = {818--836},
year = {2023},
url = {https://doi.org/10.1093/logcom/exad013},
doi = {10.1093/LOGCOM/EXAD013},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/FromSV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FromV23,
author = {Asta Halkj{\ae}r From and
J{\o}rgen Villadsen},
editor = {Revantha Ramanayake and
Josef Urban},
title = {A Naive Prover for First-Order Logic: {A} Minimal Example of Analytic
Completeness},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 32nd
International Conference, {TABLEAUX} 2023, Prague, Czech Republic,
September 18-21, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14278},
pages = {468--480},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43513-3\_25},
doi = {10.1007/978-3-031-43513-3\_25},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/FromV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-06970,
author = {Nadine Karsten and
Frederik Krogsdal Jacobsen and
Kim Jana Eiken and
Uwe Nestmann and
J{\o}rgen Villadsen},
editor = {Elena Machkasova},
title = {ProofBuddy: {A} Proof Assistant for Learning and Monitoring},
booktitle = {Proceedings Twelfth International Workshop on Trends in Functional
Programming in Education, {TFPIE} 2023, Boston, Massachusetts, USA,
12th January 2023},
series = {{EPTCS}},
volume = {382},
pages = {1--21},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.382.1},
doi = {10.4204/EPTCS.382.1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-06970.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2404-05458,
author = {Simon Tobias Lund and
J{\o}rgen Villadsen},
editor = {Julien Narboux and
Walther Neuper and
Pedro Quaresma},
title = {Teaching Higher-Order Logic Using Isabelle},
booktitle = {Proceedings 12th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023},
series = {{EPTCS}},
volume = {400},
pages = {59--78},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.400.5},
doi = {10.4204/EPTCS.400.5},
timestamp = {Wed, 12 Jun 2024 17:01:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-05458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/FromV22,
author = {Asta Halkj{\ae}r From and
J{\o}rgen Villadsen},
title = {Soundness and Completeness of Implicational Logic},
journal = {Arch. Formal Proofs},
volume = {2022},
year = {2022},
url = {https://www.isa-afp.org/entries/Implicational\_Logic.html},
timestamp = {Mon, 12 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/afp/FromV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aciids/LundV22,
author = {Simon Tobias Lund and
J{\o}rgen Villadsen},
editor = {Ngoc Thanh Nguyen and
Tien Khoa Tran and
Ualsher Tukeyev and
Tzung{-}Pei Hong and
Bogdan Trawinski and
Edward Szczerbicki},
title = {On Verified Automated Reasoning in Propositional Logic},
booktitle = {Intelligent Information and Database Systems - 14th Asian Conference,
{ACIIDS} 2022, Ho Chi Minh City, Vietnam, November 28-30, 2022, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13757},
pages = {390--402},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21743-2\_31},
doi = {10.1007/978-3-031-21743-2\_31},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aciids/LundV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2303-05866,
author = {Frederik Krogsdal Jacobsen and
J{\o}rgen Villadsen},
editor = {Pedro Quaresma and
Jo{\~{a}}o Marcos and
Walther Neuper},
title = {On Exams with the Isabelle Proof Assistant},
booktitle = {Proceedings 11th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August
2022},
series = {{EPTCS}},
volume = {375},
pages = {63--76},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.375.6},
doi = {10.4204/EPTCS.375.6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-05866.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2207-12699,
author = {Frederik Krogsdal Jacobsen and
J{\o}rgen Villadsen},
editor = {Peter Achten and
Elena Machkasova},
title = {Teaching Functional Programmers Logic and Metatheory},
booktitle = {Proceedings Tenth and Eleventh International Workshop on Trends in
Functional Programming In Education, {TFPIE} 2021 / 2022, Krak{\'{o}}w,
Poland (online), 16th February 2021 / 16th March 2022},
series = {{EPTCS}},
volume = {363},
pages = {74--92},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.363.5},
doi = {10.4204/EPTCS.363.5},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-12699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/VilladsenW22,
author = {J{\o}rgen Villadsen and
Jonas Weile},
editor = {Tobias Ahlbrecht and
J{\"{u}}rgen Dix and
Niklas Fiekas and
Tabajara Krausburg},
title = {The 16th Edition of the Multi-Agent Programming Contest - The {GOAL-DTU}
Team},
booktitle = {The Multi-Agent Programming Contest 2022 - Coordinating Agents in
a Dynamic World: Agents Follow the Rules, or Not},
series = {Lecture Notes in Computer Science},
volume = {13997},
pages = {151--164},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-38712-8\_6},
doi = {10.1007/978-3-031-38712-8\_6},
timestamp = {Sat, 06 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/VilladsenW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/FromSV21,
author = {Asta Halkj{\ae}r From and
Anders Schlichtkrull and
J{\o}rgen Villadsen},
editor = {Stefania Monica and
Federico Bergenti},
title = {A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL},
booktitle = {Proceedings of the 36th Italian Conference on Computational Logic,
Parma, Italy, September 7-9, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3002},
pages = {107--121},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3002/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/FromSV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/FromLV21,
author = {Asta Halkj{\ae}r From and
Simon Tobias Lund and
J{\o}rgen Villadsen},
editor = {Sara Rodr{\'{\i}}guez{-}Gonz{\'{a}}lez and
Jos{\'{e}} Manuel F. Machado and
Alfonso Gonz{\'{a}}lez{-}Briones and
Jaroslaw Wikarek and
Roussanka Loukanova and
George Katranas and
Roberto Casado{-}Vara},
title = {A Case Study in Computer-Assisted Meta-reasoning},
booktitle = {Distributed Computing and Artificial Intelligence, Volume 2: Special
Sessions 18th International Conference, {DCAI} 2021, Salamanca, Spain,
6-8 October 2021},
series = {Lecture Notes in Networks and Systems},
volume = {332},
pages = {53--63},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86887-1\_5},
doi = {10.1007/978-3-030-86887-1\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dcai/FromLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/JensenHV21,
author = {Alexander Birch Jensen and
Koen V. Hindriks and
J{\o}rgen Villadsen},
editor = {Ana Paula Rocha and
Luc Steels and
H. Jaap van den Herik},
title = {On using Theorem Proving for Cognitive Agent-oriented Programming},
booktitle = {Proceedings of the 13th International Conference on Agents and Artificial
Intelligence, {ICAART} 2021, Volume 1, Online Streaming, February
4-6, 2021},
pages = {446--453},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010349504460453},
doi = {10.5220/0010349504460453},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/JensenHV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/FromEV21,
author = {Asta Halkj{\ae}r From and
Agnes Moesg{\aa}rd Eschen and
J{\o}rgen Villadsen},
editor = {Fairouz Kamareddine and
Claudio Sacerdoti Coen},
title = {Formalizing Axiomatic Systems for Propositional Logic in Isabelle/HOL},
booktitle = {Intelligent Computer Mathematics - 14th International Conference,
{CICM} 2021, Timisoara, Romania, July 26-31, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12833},
pages = {32--46},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81097-9\_3},
doi = {10.1007/978-3-030-81097-9\_3},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/FromEV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tfm/VilladsenJ21,
author = {J{\o}rgen Villadsen and
Frederik Krogsdal Jacobsen},
editor = {Jo{\~{a}}o F. Ferreira and
Alexandra Mendes and
Claudio Menghi},
title = {Using Isabelle in Two Courses on Logic and Automated Reasoning},
booktitle = {Formal Methods Teaching - 4th International Workshop and Tutorial,
FMTea 2021, Virtual Event, November 21, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13122},
pages = {117--132},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91550-6\_9},
doi = {10.1007/978-3-030-91550-6\_9},
timestamp = {Fri, 22 Apr 2022 14:23:22 +0200},
biburl = {https://dblp.org/rec/conf/tfm/VilladsenJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2204-03884,
author = {Asta Halkj{\ae}r From and
Frederik Krogsdal Jacobsen and
J{\o}rgen Villadsen},
editor = {Mauricio Ayala{-}Rinc{\'{o}}n and
Eduardo Bonelli},
title = {SeCaV: {A} Sequent Calculus Verifier in Isabelle/HOL},
booktitle = {Proceedings 16th Logical and Semantic Frameworks with Applications,
{LSFA} 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021},
series = {{EPTCS}},
volume = {357},
pages = {38--55},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.357.4},
doi = {10.4204/EPTCS.357.4},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-03884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2202-03567,
author = {J{\o}rgen Villadsen and
Asta Halkj{\ae}r From and
Patrick Blackburn},
editor = {Jo{\~{a}}o Marcos and
Walther Neuper and
Pedro Quaresma},
title = {Teaching Intuitionistic and Classical Propositional Logic Using Isabelle},
booktitle = {Proceedings 10th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon
University, Pittsburgh, PA, United States, 11 July 2021},
series = {{EPTCS}},
volume = {354},
pages = {71--85},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.354.6},
doi = {10.4204/EPTCS.354.6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FromBV20,
author = {Asta Halkj{\ae}r From and
Patrick Blackburn and
J{\o}rgen Villadsen},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Formalizing a Seligman-Style Tableau System for Hybrid Logic - (Short
Paper)},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {474--481},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_27},
doi = {10.1007/978-3-030-51074-9\_27},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/FromBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/Villadsen20,
author = {J{\o}rgen Villadsen},
editor = {Francesco Calimeri and
Simona Perri and
Ester Zumpano},
title = {Tautology Checkers in Isabelle and Haskell},
booktitle = {Proceedings of the 35th Italian Conference on Computational Logic
- {CILC} 2020, Rende, Italy, October 13-15, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2710},
pages = {327--341},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2710/paper21.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:46 +0100},
biburl = {https://dblp.org/rec/conf/cilc/Villadsen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2010-16014,
author = {Asta Halkj{\ae}r From and
J{\o}rgen Villadsen and
Patrick Blackburn},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Isabelle/HOL as a Meta-Language for Teaching Logic},
booktitle = {Proceedings 9th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June
2020},
series = {{EPTCS}},
volume = {328},
pages = {18--34},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.328.2},
doi = {10.4204/EPTCS.328.2},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-16014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06844,
author = {Alexander Birch Jensen and
J{\o}rgen Villadsen},
title = {{GOAL-DTU:} Development of Distributed Intelligence for the Multi-Agent
Programming Contest},
journal = {CoRR},
volume = {abs/2006.06844},
year = {2020},
url = {https://arxiv.org/abs/2006.06844},
eprinttype = {arXiv},
eprint = {2006.06844},
timestamp = {Wed, 17 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06844.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/LarsenBDHV19,
author = {John Bruntse Larsen and
Andrea Burattin and
Christopher John Davis and
Rasmus Hjardem{-}Hansen and
J{\o}rgen Villadsen},
editor = {Chiara Di Francescomarino and
Remco M. Dijkman and
Uwe Zdun},
title = {A Data Driven Agent Elicitation Pipeline for Prediction Models},
booktitle = {Business Process Management Workshops - {BPM} 2019 International Workshops,
Vienna, Austria, September 1-6, 2019, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {362},
pages = {570--582},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37453-2\_46},
doi = {10.1007/978-3-030-37453-2\_46},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bpm/LarsenBDHV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12555,
author = {Asta Halkj{\ae}r From and
Alexander Birch Jensen and
Anders Schlichtkrull and
J{\o}rgen Villadsen},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Teaching a Formalized Logical Calculus},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {73--92},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.5},
doi = {10.4204/EPTCS.313.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/JensenV19,
author = {Alexander Birch Jensen and
J{\o}rgen Villadsen},
title = {{GOAL-DTU:} Development of Distributed Intelligence for the Multi-Agent
Programming Contest},
booktitle = {The Multi-Agent Programming Contest},
pages = {79--105},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-59299-8\_4},
doi = {10.1007/978-3-030-59299-8\_4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/JensenV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/JensenLSV18,
author = {Alexander Birch Jensen and
John Bruntse Larsen and
Anders Schlichtkrull and
J{\o}rgen Villadsen},
title = {Programming and verifying a declarative first-order prover in Isabelle/HOL},
journal = {{AI} Commun.},
volume = {31},
number = {3},
pages = {281--299},
year = {2018},
url = {https://doi.org/10.3233/AIC-180764},
doi = {10.3233/AIC-180764},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aicom/JensenLSV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/VilladsenFHL18,
author = {J{\o}rgen Villadsen and
Oliver Fleckenstein and
Helge Hatteland and
John Bruntse Larsen},
title = {Engineering a multi-agent system in Jason and CArtAgO - Multi-agent
programming contest 2017},
journal = {Ann. Math. Artif. Intell.},
volume = {84},
number = {1-2},
pages = {57--74},
year = {2018},
url = {https://doi.org/10.1007/s10472-018-9588-8},
doi = {10.1007/S10472-018-9588-8},
timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/VilladsenFHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaose/VilladsenFJL18,
author = {J{\o}rgen Villadsen and
Asta Halkj{\ae}r From and
Salvador Jacobi and
Nikolaj N{\o}kkentved Larsen},
title = {Multi-agent programming contest 2016 - the Python-DTU team},
journal = {Int. J. Agent Oriented Softw. Eng.},
volume = {6},
number = {1},
pages = {86--100},
year = {2018},
url = {https://doi.org/10.1504/IJAOSE.2018.10010604},
doi = {10.1504/IJAOSE.2018.10010604},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijaose/VilladsenFJL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/VilladsenSF18,
author = {J{\o}rgen Villadsen and
Anders Schlichtkrull and
Asta Halkj{\ae}r From},
editor = {Boris Konev and
Josef Urban and
Philipp R{\"{u}}mmer},
title = {A Verified Simple Prover for First-Order Logic},
booktitle = {Proceedings of the 6th Workshop on Practical Aspects of Automated
Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018),
Oxford, UK, July 19th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2162},
pages = {88--104},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2162/paper-08.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:14 +0100},
biburl = {https://dblp.org/rec/conf/cade/VilladsenSF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/LarsenDVD18,
author = {John Bruntse Larsen and
Virginia Dignum and
J{\o}rgen Villadsen and
Frank Dignum},
editor = {Ana Paula Rocha and
H. Jaap van den Herik},
title = {Querying Social Practices in Hospital Context},
booktitle = {Proceedings of the 10th International Conference on Agents and Artificial
Intelligence, {ICAART} 2018, Volume 2, Funchal, Madeira, Portugal,
January 16-18, 2018},
pages = {405--412},
publisher = {SciTePress},
year = {2018},
url = {https://doi.org/10.5220/0006580904050412},
doi = {10.5220/0006580904050412},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icaart/LarsenDVD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00617,
author = {Anders Schlichtkrull and
J{\o}rgen Villadsen and
Asta Halkj{\ae}r From},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Students' Proof Assistant {(SPA)}},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {1--13},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.1},
doi = {10.4204/EPTCS.290.1},
timestamp = {Mon, 22 Nov 2021 15:31:41 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00617.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1904-00618,
author = {J{\o}rgen Villadsen and
Asta Halkj{\ae}r From and
Anders Schlichtkrull},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Natural Deduction Assistant (NaDeA)},
booktitle = {Proceedings 7th International Workshop on Theorem proving components
for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom,
18 july 2018},
series = {{EPTCS}},
volume = {290},
pages = {14--29},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.290.2},
doi = {10.4204/EPTCS.290.2},
timestamp = {Mon, 22 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00618.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/VilladsenBFHL18,
author = {J{\o}rgen Villadsen and
Mads Okholm Bj{\o}rn and
Asta Halkj{\ae}r From and
Thomas S{\o}ren Henney and
John Bruntse Larsen},
editor = {Tobias Ahlbrecht and
J{\"{u}}rgen Dix and
Niklas Fiekas},
title = {Multi-Agent Programming Contest 2018 - The Jason-DTU Team},
booktitle = {The Multi-Agent Programming Contest 2018 - Agents Teaming Up in an
Urban Environment},
series = {Lecture Notes in Computer Science},
volume = {11957},
pages = {41--71},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-37959-9\_3},
doi = {10.1007/978-3-030-37959-9\_3},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/VilladsenBFHL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/JensenDV17,
author = {Andreas Schmidt Jensen and
Virginia Dignum and
J{\o}rgen Villadsen},
title = {A framework for organization-aware agents},
journal = {Auton. Agents Multi Agent Syst.},
volume = {31},
number = {3},
pages = {387--422},
year = {2017},
url = {https://doi.org/10.1007/s10458-015-9324-2},
doi = {10.1007/S10458-015-9324-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aamas/JensenDV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/JensenSV17,
author = {Alexander Birch Jensen and
Anders Schlichtkrull and
J{\o}rgen Villadsen},
title = {First-Order Logic According to Harrison},
journal = {Arch. Formal Proofs},
volume = {2017},
year = {2017},
url = {https://www.isa-afp.org/entries/FOL\_Harrison.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/JensenSV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/flap/VilladsenJS17,
author = {J{\o}rgen Villadsen and
Alexander Birch Jensen and
Anders Schlichtkrull},
title = {NaDeA: {A} Natural Deduction Assistant with a Formalization in Isabelle},
journal = {{FLAP}},
volume = {4},
number = {1},
year = {2017},
url = {http://www.collegepublications.co.uk/downloads/ifcolog00010.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/flap/VilladsenJS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlsdkcs/VilladsenS17,
author = {J{\o}rgen Villadsen and
Anders Schlichtkrull},
title = {Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant},
journal = {Trans. Large Scale Data Knowl. Centered Syst.},
volume = {34},
pages = {92--122},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55947-5\_5},
doi = {10.1007/978-3-662-55947-5\_5},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tlsdkcs/VilladsenS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fg/PetersenV17,
author = {Niklas Christoffer Petersen and
J{\o}rgen Villadsen},
editor = {Annie Foret and
Reinhard Muskens and
Sylvain Pogodalla},
title = {Logical Entity Level Sentiment Analysis},
booktitle = {Formal Grammar - 22nd International Conference, {FG} 2017, Toulouse,
France, July 22-23, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10686},
pages = {54--71},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-56343-4\_4},
doi = {10.1007/978-3-662-56343-4\_4},
timestamp = {Thu, 13 Aug 2020 18:46:35 +0200},
biburl = {https://dblp.org/rec/conf/fg/PetersenV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rskt/LarsenV17,
author = {John Bruntse Larsen and
J{\o}rgen Villadsen},
editor = {Lech Polkowski and
Yiyu Yao and
Piotr Artiemjew and
Davide Ciucci and
Dun Liu and
Dominik Slezak and
Beata Zielosko},
title = {An Approach for Hospital Planning with Multi-Agent Organizations},
booktitle = {Rough Sets - International Joint Conference, {IJCRS} 2017, Olsztyn,
Poland, July 3-7, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10314},
pages = {454--465},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-60840-2\_33},
doi = {10.1007/978-3-319-60840-2\_33},
timestamp = {Sun, 25 Jul 2021 11:50:02 +0200},
biburl = {https://dblp.org/rec/conf/rskt/LarsenV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1803-01473,
author = {J{\o}rgen Villadsen and
Asta Halkj{\ae}r From and
Anders Schlichtkrull},
editor = {Pedro Quaresma and
Walther Neuper},
title = {Natural Deduction and the Isabelle Proof Assistant},
booktitle = {Proceedings 6th International Workshop on Theorem proving components
for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug
2017},
series = {{EPTCS}},
volume = {267},
pages = {140--155},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.267.9},
doi = {10.4204/EPTCS.267.9},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01473.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/afp/SchlichtkrullV16,
author = {Anders Schlichtkrull and
J{\o}rgen Villadsen},
title = {Paraconsistency},
journal = {Arch. Formal Proofs},
volume = {2016},
year = {2016},
url = {https://www.isa-afp.org/entries/Paraconsistency.shtml},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/afp/SchlichtkrullV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JensenDV16,
author = {Andreas Schmidt Jensen and
Virginia Dignum and
J{\o}rgen Villadsen},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {A Framework for Organization-Aware Agents},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {1133--1134},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937089},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/JensenDV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/JensenV15,
author = {Andreas Schmidt Jensen and
J{\o}rgen Villadsen},
editor = {St{\'{e}}phane Loiseau and
Joaquim Filipe and
B{\'{e}}atrice Duval and
H. Jaap van den Herik},
title = {Plan-belief Revision in Jason},
booktitle = {{ICAART} 2015 - Proceedings of the International Conference on Agents
and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January,
2015},
pages = {182--189},
publisher = {SciTePress},
year = {2015},
timestamp = {Tue, 15 Sep 2015 09:41:33 +0200},
biburl = {https://dblp.org/rec/conf/icaart/JensenV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/JensenKV15,
author = {Andreas Schmidt Jensen and
Christian Kays{\o}{-}R{\o}rdam and
J{\o}rgen Villadsen},
editor = {Slawomir Nowaczyk},
title = {Interfacing Agents to Real-Time Strategy Games},
booktitle = {Thirteenth Scandinavian Conference on Artificial Intelligence - {SCAI}
2015, Halmstad, Sweden, November 5-6, 2015},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {278},
pages = {68--77},
publisher = {{IOS} Press},
year = {2015},
url = {https://doi.org/10.3233/978-1-61499-589-0-68},
doi = {10.3233/978-1-61499-589-0-68},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scai/JensenKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VilladsenJS15,
author = {J{\o}rgen Villadsen and
Alexander Birch Jensen and
Anders Schlichtkrull},
title = {NaDeA: {A} Natural Deduction Assistant with a Formalization in Isabelle},
journal = {CoRR},
volume = {abs/1507.04002},
year = {2015},
url = {http://arxiv.org/abs/1507.04002},
eprinttype = {arXiv},
eprint = {1507.04002},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VilladsenJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/JensenDV14,
author = {Andreas Schmidt Jensen and
Virginia Dignum and
J{\o}rgen Villadsen},
editor = {Fabiano Dalpiaz and
J{\"{u}}rgen Dix and
M. Birna van Riemsdijk},
title = {The {AORTA} Architecture: Integrating Organizational Reasoning in
Jason},
booktitle = {Engineering Multi-Agent Systems - Second International Workshop, {EMAS}
2014, Paris, France, May 5-6, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8758},
pages = {127--145},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-14484-9\_7},
doi = {10.1007/978-3-319-14484-9\_7},
timestamp = {Mon, 03 Jan 2022 22:22:03 +0100},
biburl = {https://dblp.org/rec/conf/dalt/JensenDV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/PetersenV14,
author = {Niklas Christoffer Petersen and
J{\o}rgen Villadsen},
editor = {Troels Andreasen and
Henning Christiansen and
Juan Carlos Cubero Talavera and
Zbigniew W. Ras},
title = {Combining Formal Logic and Machine Learning for Sentiment Analysis},
booktitle = {Foundations of Intelligent Systems - 21st International Symposium,
{ISMIS} 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8502},
pages = {375--384},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08326-1\_38},
doi = {10.1007/978-3-319-08326-1\_38},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/PetersenV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aires/JensenV13,
author = {Andreas Schmidt Jensen and
J{\o}rgen Villadsen},
title = {A comparison of organization-centered and agent-centered multi-agent
systems},
journal = {Artif. Intell. Res.},
volume = {2},
number = {3},
pages = {59--69},
year = {2013},
url = {https://doi.org/10.5430/air.v2n3p59},
doi = {10.5430/AIR.V2N3P59},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aires/JensenV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/VilladsenJCHJWO13,
author = {J{\o}rgen Villadsen and
Andreas Schmidt Jensen and
Nicolai Christian Christensen and
Andreas Viktor Hess and
Jannick Boese Johnsen and
{\O}yvind Gr{\o}nland Woller and
Philip Bratt {\O}rum},
editor = {Massimo Cossentino and
Amal El Fallah Seghrouchni and
Michael Winikoff},
title = {Engineering a Multi-Agent System in {GOAL}},
booktitle = {Engineering Multi-Agent Systems - First International Workshop, {EMAS}
2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8245},
pages = {329--338},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45343-4\_18},
doi = {10.1007/978-3-642-45343-4\_18},
timestamp = {Wed, 12 Aug 2020 21:55:17 +0200},
biburl = {https://dblp.org/rec/conf/atal/VilladsenJCHJWO13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/AhlbrechtBBCDFHHHHJJKLLMOSSSSUVWWZ13,
author = {Tobias Ahlbrecht and
Christian Bender{-}Saebelkampf and
Maiquel de Brito and
Nicolai Christian Christensen and
J{\"{u}}rgen Dix and
Mariana Ramos Franco and
Hendrik Heller and
Andreas Viktor Hess and
Axel He{\ss}ler and
Jomi Fred H{\"{u}}bner and
Andreas Schmidt Jensen and
Jannick Boese Johnsen and
Michael K{\"{o}}ster and
Chengqian Li and
Lu Liu and
Marcelo Menezes Morato and
Philip Bratt {\O}rum and
Federico Schlesinger and
Tiago Luiz Schmitz and
Jaime Sim{\~{a}}o Sichman and
Kaio Siqueira de Souza and
Daniela Maria Uez and
J{\o}rgen Villadsen and
Sebastian Werner and
{\O}yvind Gr{\o}nland Woller and
Maicon Rafael Zatelli},
editor = {Massimo Cossentino and
Amal El Fallah Seghrouchni and
Michael Winikoff},
title = {Multi-Agent Programming Contest 2013: The Teams and the Design of
Their Systems},
booktitle = {Engineering Multi-Agent Systems - First International Workshop, {EMAS}
2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8245},
pages = {366--390},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45343-4\_22},
doi = {10.1007/978-3-642-45343-4\_22},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/AhlbrechtBBCDFHHHHJJKLLMOSSSSUVWWZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/JensenSV13,
author = {Andreas Schmidt Jensen and
Johannes Svante Spurkeland and
J{\o}rgen Villadsen},
editor = {Manfred Jaeger and
Thomas Dyhre Nielsen and
Paolo Viappiani},
title = {Formalizing Theatrical Performances Using Multi-Agent Organizations},
booktitle = {Twelfth Scandinavian Conference on Artificial Intelligence, {SCAI}
2013, Aalborg, Denmark, November 20-22, 2013},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {257},
pages = {135--144},
publisher = {{IOS} Press},
year = {2013},
url = {https://doi.org/10.3233/978-1-61499-330-8-135},
doi = {10.3233/978-1-61499-330-8-135},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scai/JensenSV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/VilladsenJEVAF12,
author = {J{\o}rgen Villadsen and
Andreas Schmidt Jensen and
Mikko Berggren Ettienne and
Steen Vester and
Kenneth Balsiger Andersen and
Andreas Fr{\o}sig},
editor = {Mehdi Dastani and
Jomi Fred H{\"{u}}bner and
Brian Logan},
title = {Reimplementing a Multi-Agent System in Python},
booktitle = {Programming Multi-Agent Systems - 10th International Workshop, ProMAS
2012, Valencia, Spain, June 5, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7837},
pages = {205--216},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38700-5\_13},
doi = {10.1007/978-3-642-38700-5\_13},
timestamp = {Wed, 08 Dec 2021 09:19:08 +0100},
biburl = {https://dblp.org/rec/conf/promas/VilladsenJEVAF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-0437,
author = {J{\o}rgen Villadsen and
Andreas Schmidt Jensen and
Mikko Berggren Ettienne and
Steen Vester and
Kenneth Balsiger Andersen and
Andreas Fr{\o}sig},
title = {Multi-Agent Programming Contest 2012 - The Python-DTU Team},
journal = {CoRR},
volume = {abs/1210.0437},
year = {2012},
url = {http://arxiv.org/abs/1210.0437},
eprinttype = {arXiv},
eprint = {1210.0437},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-0437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/VesterBJV11,
author = {Steen Vester and
Niklas Skamriis Boss and
Andreas Schmidt Jensen and
J{\o}rgen Villadsen},
title = {Improving multi-agent systems using Jason},
journal = {Ann. Math. Artif. Intell.},
volume = {61},
number = {4},
pages = {297--307},
year = {2011},
url = {https://doi.org/10.1007/s10472-011-9225-2},
doi = {10.1007/S10472-011-9225-2},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/VesterBJV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/MothVB11,
author = {Andreas Leon Aagaard Moth and
J{\o}rgen Villadsen and
Mordechai Ben{-}Ari},
editor = {Guido R{\"{o}}{\ss}ling and
Thomas L. Naps and
Christian Spannagel},
title = {SyntaxTrain: relieving the pain of learning syntax},
booktitle = {Proceedings of the 16th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2011, Darmstadt,
Germany, June 27-29, 2011},
pages = {387},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1999747.1999900},
doi = {10.1145/1999747.1999900},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/MothVB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/EttienneVV11,
author = {Mikko Berggren Ettienne and
Steen Vester and
J{\o}rgen Villadsen},
editor = {Louise A. Dennis and
Olivier Boissier and
Rafael H. Bordini},
title = {Implementing a Multi-Agent System in Python with an Auction-Based
Agreement Approach},
booktitle = {Programming Multi-Agent Systems - 9th International Workshop, ProMAS
2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7217},
pages = {185--196},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-31915-0\_11},
doi = {10.1007/978-3-642-31915-0\_11},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/promas/EttienneVV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-0105,
author = {J{\o}rgen Villadsen and
Mikko Berggren Ettienne and
Steen Vester},
title = {Multi-Agent Programming Contest 2011 - The Python-DTU Team},
journal = {CoRR},
volume = {abs/1110.0105},
year = {2011},
url = {http://arxiv.org/abs/1110.0105},
eprinttype = {arXiv},
eprint = {1110.0105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-0105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BossJV10,
author = {Niklas Skamriis Boss and
Andreas Schmidt Jensen and
J{\o}rgen Villadsen},
title = {Building multi-agent systems using \emph{Jason}},
journal = {Ann. Math. Artif. Intell.},
volume = {59},
number = {3-4},
pages = {373--388},
year = {2010},
url = {https://doi.org/10.1007/s10472-010-9181-2},
doi = {10.1007/S10472-010-9181-2},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/BossJV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-0115,
author = {Niklas Skamriis Boss and
Andreas Schmidt Jensen and
J{\o}rgen Villadsen},
title = {Developing Artificial Herders Using Jason},
journal = {CoRR},
volume = {abs/1001.0115},
year = {2010},
url = {http://arxiv.org/abs/1001.0115},
eprinttype = {arXiv},
eprint = {1001.0115},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-0115.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-0145,
author = {J{\o}rgen Villadsen and
Niklas Skamriis Boss and
Andreas Schmidt Jensen and
Steen Vester},
title = {Multi-Agent Programming Contest 2010 - The Jason-DTU Team},
journal = {CoRR},
volume = {abs/1010.0145},
year = {2010},
url = {http://arxiv.org/abs/1010.0145},
eprinttype = {arXiv},
eprint = {1010.0145},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-0145.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-4814,
author = {J{\o}rgen Villadsen},
title = {Nominalistic Logic (Extended Abstract)},
journal = {CoRR},
volume = {abs/0812.4814},
year = {2008},
url = {http://arxiv.org/abs/0812.4814},
eprinttype = {arXiv},
eprint = {0812.4814},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-4814.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hylo/2006,
editor = {Patrick Blackburn and
Thomas Bolander and
Torben Bra{\"{u}}ner and
Valeria de Paiva and
J{\o}rgen Villadsen},
title = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {6},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/174/issue/6},
timestamp = {Fri, 27 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hylo/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/OrtizV06,
author = {Juan Fern{\'{a}}ndez Ortiz and
J{\o}rgen Villadsen},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Natural Language Processing Using Lexical and Logical Combinators},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {444--446},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_41},
doi = {10.1007/11799573\_41},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/OrtizV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BlackburnBBPV07,
author = {Patrick Blackburn and
Thomas Bolander and
Torben Bra{\"{u}}ner and
Valeria de Paiva and
J{\o}rgen Villadsen},
editor = {Patrick Blackburn and
Thomas Bolander and
Torben Bra{\"{u}}ner and
Valeria de Paiva and
J{\o}rgen Villadsen},
title = {Preface},
booktitle = {Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC
2006, Seattle, WA, USA, August 11, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {6},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.11.021},
doi = {10.1016/J.ENTCS.2006.11.021},
timestamp = {Fri, 27 Jan 2023 13:46:56 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BlackburnBBPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/Villadsen05,
author = {J{\o}rgen Villadsen},
title = {Supra-logic: Using Transfinite Type Theory with Type Variables for
Paraconsistency},
journal = {J. Appl. Non Class. Logics},
volume = {15},
number = {1},
pages = {45--58},
year = {2005},
url = {https://doi.org/10.3166/jancl.15.45-58},
doi = {10.3166/JANCL.15.45-58},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/Villadsen05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cslp/2004,
editor = {Henning Christiansen and
Peter Rossen Skadhauge and
J{\o}rgen Villadsen},
title = {Constraint Solving and Language Processing, First International Workshop,
{CSLP} 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3438},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136253},
doi = {10.1007/B136253},
isbn = {3-540-26165-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cslp/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Villadsen04,
author = {J{\o}rgen Villadsen},
editor = {Bruno Buchberger and
John A. Campbell},
title = {A Paraconsistent Higher Order Logic},
booktitle = {Artificial Intelligence and Symbolic Computation, 7th International
Conference, {AISC} 2004, Linz, Austria, September 22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3249},
pages = {38--51},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30210-0\_5},
doi = {10.1007/978-3-540-30210-0\_5},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aisc/Villadsen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mates/Villadsen04,
author = {J{\o}rgen Villadsen},
editor = {Gabriela Lindemann and
J{\"{o}}rg Denzinger and
Ingo J. Timm and
Rainer Unland},
title = {Paraconsistent Assertions},
booktitle = {Multiagent System Technologies, Second German Conference, {MATES}
2004, Erfurt, Germany, September 29-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3187},
pages = {99--113},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30082-3\_8},
doi = {10.1007/978-3-540-30082-3\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/mates/Villadsen04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CL-0408037,
author = {J{\o}rgen Villadsen},
title = {Multi-dimensional Type Theory: Rules, Categories, and Combinators
for Syntax and Semantics},
journal = {CoRR},
volume = {cs.CL/0408037},
year = {2004},
url = {http://arxiv.org/abs/cs.CL/0408037},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-CL-0408037.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Villadsen03,
author = {J{\o}rgen Villadsen},
editor = {Francesco Buccafurri},
title = {Operational Semantics of an Imperative Language in Definite Clauses},
booktitle = {2003 Joint Conference on Declarative Programming, AGP-2003, Reggio
Calabria, Italy, September 3-5, 2003},
pages = {337--349},
year = {2003},
timestamp = {Wed, 01 Dec 2004 15:29:03 +0100},
biburl = {https://dblp.org/rec/conf/agp/Villadsen03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/balt/Villadsen02,
author = {J{\o}rgen Villadsen},
editor = {Hele{-}Mai Haav and
Ahto Kalja},
title = {Paraconsistent Knowledge Bases and Many-Valued Logic},
booktitle = {Proceedings of the Baltic Conference, BalticDB{\&}IS 2002, Tallinn,
Estonia, Volume 2},
pages = {77--90},
publisher = {Institute of Cybernetics at Tallin Technical University},
year = {2002},
timestamp = {Sat, 07 Jul 2018 14:03:18 +0200},
biburl = {https://dblp.org/rec/conf/balt/Villadsen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/Villadsen02,
author = {J{\o}rgen Villadsen},
editor = {Troels Andreasen and
Amihai Motro and
Henning Christiansen and
Henrik Legind Larsen},
title = {Paraconsistent Query Answering Systems},
booktitle = {Flexible Query Answering Systems, 5th International Conference, {FQAS}
2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2522},
pages = {370--384},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36109-X\_29},
doi = {10.1007/3-540-36109-X\_29},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fqas/Villadsen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pcl/Villadsen02,
author = {J{\o}rgen Villadsen},
editor = {Hendrik Decker and
J{\o}rgen Villadsen and
Toshiharu Waragai},
title = {A Paraconsistent Higher Order Logic},
booktitle = {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)},
series = {Datalogiske Skrifter},
volume = {95},
pages = {33--49},
publisher = {Roskilde University, Roskilde, Denmark},
year = {2002},
url = {https://arxiv.org/abs/cs/0207088},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pcl/Villadsen02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pcl/2002,
editor = {Hendrik Decker and
J{\o}rgen Villadsen and
Toshiharu Waragai},
title = {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)},
series = {Datalogiske Skrifter},
volume = {95},
publisher = {Roskilde University, Roskilde, Denmark},
year = {2002},
timestamp = {Tue, 27 Apr 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pcl/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lacl/Villadsen01,
author = {J{\o}rgen Villadsen},
editor = {Philippe de Groote and
Glyn Morrill and
Christian Retor{\'{e}}},
title = {Combinators for Paraconsistent Attitudes},
booktitle = {Logical Aspects of Computational Linguistics, 4th International Conference,
{LACL} 2001, Le Croisic, France, June 27-29, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2099},
pages = {261--278},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48199-0\_16},
doi = {10.1007/3-540-48199-0\_16},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/lacl/Villadsen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Villadsen01,
author = {J{\o}rgen Villadsen},
editor = {Henrik Hautop Lund and
Brian H. Mayoh and
John W. Perram},
title = {Meaning and Partiality Revised},
booktitle = {SCAI'01 - Proceedings of the Seventh Scandinavian Conference on Artificial
Intelligence, Odense, Denmark, 19-21 February, 2001},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {66},
pages = {163--164},
publisher = {{IOS} Press},
year = {2001},
timestamp = {Thu, 12 Feb 2009 12:57:41 +0100},
biburl = {https://dblp.org/rec/conf/scai/Villadsen01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/Villadsen92,
author = {J{\o}rgen Villadsen},
editor = {Henry S. Thompson},
title = {Information States as First Class Citizens},
booktitle = {30th Annual Meeting of the Association for Computational Linguistics,
28 June - 2 July 1992, University of Delaware, Newark, Deleware, USA,
Proceedings},
pages = {303--305},
publisher = {{ACL}},
year = {1992},
url = {https://aclanthology.org/P92-1045/},
doi = {10.3115/981967.982013},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acl/Villadsen92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nodalida/Villadsen91,
author = {J{\o}rgen Villadsen},
editor = {Kjell Morland and
Kari S{\o}rstr{\o}mmen},
title = {Anaphora and Intensionality in Classical Logic},
booktitle = {Proceedings of the 8th Nordic Conference of Computational Linguistics,
{NODALIDA} 1991, Bergen, Norway, November 28-30, 1991},
pages = {165--176},
publisher = {Norwegian Computing Centre for the Humanities, Norway},
year = {1991},
url = {https://aclanthology.org/W91-0314/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nodalida/Villadsen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scai/Villadsen91,
author = {J{\o}rgen Villadsen},
editor = {Brian H. Mayoh},
title = {Combinatory Categorial Grammar for Intensional Fragment of Natural
Language},
booktitle = {Third Scandinavian Conference on Artificial Intelligence, {SCAI} 1991,
Roskilde, Denmark, May 21-24, 1991, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {12},
pages = {328--339},
publisher = {{IOS} Press},
year = {1991},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/scai/Villadsen91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-07-08 22:23 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:
