THIS PAGE IS NOT MAINTAINED AFTER 1 JULY 2006 - PLEASE SEE imm.dtu.dk/~jv/
The complete CV is available at www.ruc.dk/~jv/cv.html
Henning Christiansen & Jørgen Villadsen (Editors): International Workshop on Constraint Solving and Language Processing. CSLP 2005 Proceedings, VI+65 Pages, Datalogiske Skrifter 104, Roskilde University, Denmark.
Henning Christiansen, Peter Rossen Skadhauge & Jørgen Villadsen (Editors): Constraint Solving and Language Processing. First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers, VIII+205 Pages. Lecture Notes in Computer Science 3438, Springer 2005.
Jørgen Villadsen: Infinite-Valued Propositional Type Theory for Semantics. In Jean-Yves Beziau and Alexandre Costa-Leite, editors, Handbook of the First World Congress and School on Universal Logic, page 102. UNINE, Switzerland, 2005.
Jørgen Villadsen: Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. Journal of Applied Non-Classical Logics, 15(1):45-58, 2005. [Preprint available upon request.]
Jørgen Villadsen: Paraconsistent Assertions. In G. Lindemann, J. Denzinger, I. J. Timm and R. Unland, editors, Multiagent System Technologies, pages 99-113. Lecture Notes in Computer Science 3187, Springer 2004.
Jørgen Villadsen: A Paraconsistent Higher Order Logic. In B. Buchberger and J. A. Campbell, editors, Artificial Intelligence and Symbolic Computation, pages 38-51. Lecture Notes in Computer Science 3249, Springer 2004.
Jørgen Villadsen: Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics. International Workshop on Constraint Solving and Language Processing, Pages 160-165 in H. Christiansen et al. (Editors), 2004.
Henning Christiansen, Peter Rossen Skadhauge & Jørgen Villadsen (Editors): International Workshop on Constraint Solving and Language Processing. CSLP 2004 Proceedings, VI+165 Pages, Datalogiske Skrifter 99, Roskilde University, Denmark.
Jørgen Villadsen: Studies in Logic and Practical Reasoning Seminar on Information Navigation, Copenhagen, Denmark, 4 Pages, 2004.
Jørgen Villadsen: User Interfaces for Automated Reasoning Systems. Third Danish HCI Research Symposium, Roskilde, Denmark, 2003. Edited by M. Hertzum et al. Pages 95-98.
Jørgen Villadsen: Operational Semantics of an Imperative Language in Definite Clauses. AGP-2003 (APPIA-GULP-PRODE Joint Conference on Declarative Programming), Reggio Calabria, Italy, 2003. Edited by F. Buccafurri. Pages 337-349.
Jørgen Villadsen: Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency. WCP-2003 (III World Congress on Paraconsistency), Toulouse, France, 2003. Extended Abstract page 73. Full Paper 12 pages.
Jørgen Villadsen: Paraconsistent Query Answering Systems. In T. Andreasen, A. Motro, H. Christiansen and H.L. Larsen, editors, Flexible Query Answering Systems, pages 370-384. Lecture Notes in Computer Science 2522, Springer 2002.
Jørgen Villadsen: A Paraconsistent Higher Order Logic. Paraconsistent Computational Logic Workshop at International Conference on Logic Programming, Pages 33-49 in H. Decker et al. (Editors), 2002.
Hendrik Decker, Jørgen Villadsen & Toshiharu Waragai (Editors): Paraconsistent Computational Logic. PCL 2002 Proceedings, VIII+134 Pages, Datalogiske Skrifter 95, Roskilde University, Denmark.
Jørgen Villadsen: Paraconsistent Knowledge Bases and Many-Valued Logic. International Baltic Conference on Databases and Information Systems, Pages 77-90 in H.-M. Haav et al. (Editors), Tallinn, Estonia, 2002.
Jørgen Villadsen: The Status of Stable Quicksort. Standard Template Library Workshop, Copenhagen, Denmark, 4 Pages (Invited Speaker), 2001.
Jørgen Villadsen: On Programs in Rational Agents. Nordic Workshop on Programming Theory, Page 8 in M.R. Hansen (Editor) IMM-TR-2001-12 (Extended Abstract), Kongens Lyngby, Denmark, 2001.
Jørgen Villadsen: Combinators for Paraconsistent Attitudes. In P. de Groote, G. Morrill and C. Retoré, editors, Logical Aspects of Computational Linguistics, pages 261-278. Lecture Notes in Computer Science 2099, Springer 2001.
Jørgen Villadsen: Meaning and Partiality Revised. Scandinavian Conference on Artificial Intelligence, Pages 163-164 in H.H. Lund et al. (Editors), IOS Press 2001.
Jørgen Villadsen: Logic based on Semiotics. Congress of Nordic Association for Semiotic Studies, Pages 39-40 in F. Stjernfelt et al. (Editors), Copenhagen, Denmark, 2000.
See also the official publication lists at Roskilde University (tenured associate professor since 2002) and Technical University of Denmark (assistant professor 1999-2002)
For older publications please see the project Nabla - Automated Reasoning: nabla.ruc.dk