Photo of Jørgen Villadsen
  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

1989 …2023

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Book chapter
2017

Formalization of Many-Valued Logics

Villadsen, J. & Schlichtkrull, A., 2017, Partiality and Underspecification in Information, Languages, and Knowledge. Christiansen, H., Jiménez-López, M. D., Loukanova, R. & Moss, L. (eds.). Cambridge Scholars Press, p. 219-256

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2014

Constraints in (Computational) Linguistics

Blache, P. & Villadsen, J., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (eds.). Cambridge Scholars Press, p. 3-20

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

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

Villadsen, J., 2014, Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (eds.). Cambridge Scholars Press, p. 167-189

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

2011

Proceedings of the 6th International Workshop on Constraints and Language Processing: Preface

Blache, P. (ed.), Christiansen, H. (ed.), Dahl, V. (ed.) & Villadsen, J., 2011, Proceedings of the 6th International Workshop on Constraints and Language Processing. Roskilde: Roskilde University, 68 p. (Computer Science Research Report; No. 134).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

2009

Developing Artificial Herders Using Jason

Boss, N. S., Jensen, A. S. & Villadsen, J., 2009, Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems 2009. Dix, J., Fisher, M. & Novák, P. (eds.). Clausthal, Germany: IfI, p. 193-197

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Infinite-Valued Propositional Type Theory for Semantics

Villadsen, J., 2009, Dimensions of Logical Concepts. Béziau, J-Y. & Costa-Leite, A. (eds.). Campinas, Brazil: UNICAMP, p. 277-297 (Coleção CLE; No. 54).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Logik, computere og kunstig intelligens

Bolander, T., Nilsson, J. F. & Villadsen, J., 2009, Matematiske horisonter. Kgs. Lyngby: Technical University of Denmark, DTU Informatics, Building 321, p. 218-233

Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

2008

Nominalistic Logic: From Naive Set Theory to Intensional Type Theory

Villadsen, J., 2008, New Approaches to Classes and Concepts — Studies in Logic. Robering, K. (ed.). College Publications, Vol. 14. p. 57-85 196 p.

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review