2008 |
17 | EE | Jørgen Villadsen:
Nominalistic Logic (Extended Abstract)
CoRR abs/0812.4814: (2008) |
2007 |
16 | EE | Patrick Blackburn,
Thomas Bolander,
Torben Braüner,
Valeria de Paiva,
Jørgen Villadsen:
Preface.
Electr. Notes Theor. Comput. Sci. 174(6): 1-2 (2007) |
2006 |
15 | EE | Juan Fernández Ortiz,
Jørgen Villadsen:
Natural Language Processing Using Lexical and Logical Combinators.
ICLP 2006: 444-446 |
2005 |
14 | | Henning Christiansen,
Peter Rossen Skadhauge,
Jørgen Villadsen:
Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
Springer 2005 |
13 | | 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) |
2004 |
12 | EE | Jørgen Villadsen:
A Paraconsistent Higher Order Logic.
AISC 2004: 38-51 |
11 | EE | Jørgen Villadsen:
Paraconsistent Assertions.
MATES 2004: 99-113 |
10 | EE | Jørgen Villadsen:
Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics
CoRR cs.CL/0408037: (2004) |
2003 |
9 | | Jørgen Villadsen:
Operational Semantics of an Imperative Language in Definite Clauses.
APPIA-GULP-PRODE 2003: 337-349 |
2002 |
8 | | Hendrik Decker,
Jørgen Villadsen,
Toshiharu Waragai:
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)
Roskilde University, Roskilde, Denmark 2002 |
7 | | Jørgen Villadsen:
Paraconsistent Knowledge Bases and Many-Valued Logic.
BalticDB&IS 2002: 77-90 |
6 | EE | Jørgen Villadsen:
Paraconsistent Query Answering Systems.
FQAS 2002: 370-384 |
5 | EE | Jørgen Villadsen:
A Paraconsistent Higher Order Logic.
Paraconsistent Computational Logic 2002: 33-49 |
2001 |
4 | EE | Jørgen Villadsen:
Combinators for Paraconsistent Attitudes.
LACL 2001: 261-278 |
3 | | Jørgen Villadsen:
Meaning and Partiality Revised.
SCAI 2001: 163-164 |
1992 |
2 | | Jørgen Villadsen:
Information States as First Class Citizens.
ACL 1992: 303-305 |
1991 |
1 | | Jørgen Villadsen:
Combinatory Categorial Grammar for Intensional Fragment of Natural Language.
SCAI 1991: 328-339 |