Jørgen Villadsen

View Scopus Profile

Jørgen Villadsen

 https://orcid.org/0000-0003-3624-1159

  • Richard Petersens Plads, 322, 020

    2800 Kgs. Lyngby

    Denmark

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

Search results

  • 2004

    A Paraconsistent Higher Order Logic

    Villadsen, J. & Decker, H. (ed.), 2004, International Workshop on Paraconsistent Computational Logic. p. 33-49 (Roskilde University, Computer Science, Technical Reports, Vol. 95).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • A Paraconsistent Higher Order Logic

    Villadsen, J., 2004, A Paraconsistent Higher Order Logic: Artificial Intelligence and Symbolic Computation. Springer, p. 38-51 (Lecture Notes in Computer Science, Vol. 3249).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Paraconsistent Assertions

    Villadsen, J., 2004, Multiagent System Technologies: Second German Conference, MATES 2004, Erfurt, Germany, September 29-30, 2004. Proceedings. Springer, p. 99-113 (Lecture Notes in Computer Science, Vol. 3187).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2003

    Operational Semantics of an Imperative Language in Definite Clauses

    Villadsen, J., 2003, 2003 Joint Conference on Declarative Programming, AGP-2003, Reggio Calabria, Italy, September 3-5, 2003. Buccafurri, F. (ed.). p. 337-349

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    File
    70 Downloads (Pure)

  • User Interfaces for Automated Reasoning Systems

    Villadsen, J., 2003, Proceedings of the Third Danish Human-Computer Interaction Research Symposium. p. 95-98

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2002

    International Workshop on Paraconsistent Computational Logic

    Decker, H., Villadsen, J. & Waragai, T., 2002, Proceedings of the International Workshop on Paraconsistent Computational Logic. Datalogiske tidsskrifter, Roskilde University, Denmark

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Paraconsistent Knowledge Bases and Many-Valued Logic

    Villadsen, J. & Haav, H-M. (ed.), 2002, International Baltic Conference on Databases and Information Systems. p. 77-90

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Paraconsistent Query Answering Systems

    Villadsen, J. & Andreasen et al., T. (ed.), 2002, International Conference on Flexible Query Answering Systems: Lecture notes in computer science, vol. 2522. Springer, p. 370-384

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • 2001

    Combinators for Paraconsistent Attitudes

    Villadsen, J., 2001, Logical Aspects of Computational Linguistics: 4th International Conference, LACL 2001 Le Croisic, France, June 27–29, 2001, Proceedings. de Groote, P., Morrill, G. & Retoré, C. (eds.). Springer, p. 261-278

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • Meaning and Partiality Revised

    Villadsen, J. & Lund et al., H. H. (ed.), 2001, Seventh Scandinavian Conference on Artificial Intelligence, SCAI'01. IOS Press, p. 163-164

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  • On Programs in Rational Agents

    Villadsen, J., 2001, NWPT'01 Nordic Workshop on Programming Theory, 10-12 October, 2001, Technical University of Denmark. 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review