Student Ideas
FLoC 2010
Multi-Agent Systems
ESSLLI 2010
Poster Available
Student Ideas
FLoC 2010
Multi-Agent Systems
ESSLLI 2010
Poster Available
Algorithms and Logic Section - Department of Informatics and Mathematical Modelling - Technical University of Denmark
Mail jv(a)imm.dtu.dk - CV - Danish Bio - Contact Information
Research Area: Logic for Computer Science and Artificial Intelligence Automated Reasoning * Natural Language Processing * IT Security * Isabelle
Teaching Competence: Computer Science and Engineering Logic * Algorithms * AI Programming * Semantics
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 Program Committee Member CSLP 2006
Nabla: A Linguistic System Based on Type Theory Principal Investigator Jørgen Villadsen - Danish Research Council for the Humanities Grant 2009
HyLoMOL: Hybrid Logic Meets Other Logics Principal Investigator Torben Braüner - Danish Natural Science Research Council Grant 2005-2008
CONTROL: Constraint Based Tools for Robust Language Processing Principal Investigator Henning Christiansen - Danish Natural Science Research Council Grant 2004-2008
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)
Program Committees: M4M 2009, Roskilde, Denmark; ISA 2009, Algarve, Portugal; CSLP 2008 (Co-Chair), Hamburg, Germany; ISA 2008, Amsterdam, Netherlands; CSLP 2007 (Co-Chair), Roskilde, Denmark; HyLo 2007, Dublin, Ireland; HyLo 2006, Seattle, USA; CSLP 2006, Sydney, Australia; CSLP 2005, Sitges, Spain; CSLP 2004, Roskilde, Denmark
University Censor: Department of Computer Science, University of Copenhagen (DIKU); IT University of Copenhagen (ITU); DTU
NoMath: Nominalistic Logic for Computer Mathematics Draft
Nabla: A Linguistic System Based on Type Theory Foundations of Communication and Cognition (New Series) - LIT Verlag 224 p.
Recent Advances in Constraints and Language Processing Editors Philippe Blache, Henning Christiansen, Verónica Dahl & Jørgen Villadsen
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: 6
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: 38
Developing Artificial Herders Using Jason. With Niklas Skamriis Boss & Andreas Schmidt Jensen. 5 p. (to appear)
Infinite-Valued Propositional Type Theory for Semantics. 21 p. (to appear)
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, 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
Obsolete Homepage ruc.dk/~jv Online Materials
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 :-)
