1. 2009
  2. Answer Sets in a Fuzzy Equilibrium Logic

    Schockaert, S., Janssen, J., Vermeir, D. & De Cock, M., 2009, Lecture Notes in Computer Science. Polleres, A. & Swift, T. (eds.). Springer, p. 135-149 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  3. Finite Satisfiability in Infinite-Valued Lukasiewicz Logic

    Schockaert, S., Janssen, J., Vermeir, D. & De Cock, M., 2009, Lecture Notes in Computer Science. Godo, L. & Pugliese, A. (eds.). Springer, Vol. 5785. p. 240-254 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  4. General Fuzzy Answer Set Programs

    Janssen, J., Schockaert, S., Vermeir, D. & De Cock, M., 2009, Lecture Notes in Computer Science. Gesù, V. D., Pal, S. K. & Petrosino, A. (eds.). Springer, Vol. 5571. p. 352-359 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  5. Modeling Protein Interaction Networks with Answer Set Programming

    Fayruzov, T., De Cock, M., Cornelis, C. & Vermeir, D., 2009, Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine. IEEE Computer Society Press, p. 99-104 6 p. (Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  6. 2008
  7. Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories

    Janssen, J., Heymans, S., De Cock, M. & Vermeir, D., 1 Dec 2008, Lecture Notes in Computer Science. Banda, M. G. D. L. (ed.). Springer, Vol. 5366. p. 362-376 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  8. Classical knowledge for quantum security

    D'Hondt, E. & Sadrzadeh, M., 12 Jul 2008, Proceedings of tje Joint 5th QPL and 4th DCM Workshops: Quantum Physics and Logic & Development of Computational Models.

    Research output: Chapter in Book/Report/Conference proceedingConference paperResearch

  9. Fuzzy Argumentation Frameworks

    Janssen, J., Vermeir, D. & De Cock, M., 2008, Proc. of th e12th International Conference on Information Processing and Management of Uncertainty IPMU. p. 513-520 8 p. (Proc. of th e12th International Conference on Information Processing and Management of Uncertainty IPMU).

    Research output: Chapter in Book/Report/Conference proceedingChapterResearchpeer-review

  10. Open answer set programming with guarded programs

    Heymans, S., Van Nieuwenborgh, D. & Vermeir, D., 2008, In : ACM Transactions on Computational Logic. 9, p. 1-53 53 p.

    Research output: Contribution to journalArticleResearchpeer-review

  11. Report on the 1st ESF Exploratory Workshop on Correlations in Computer Science

    D'Hondt, E., 2008, Workshop report ed. Unknown.

    Research output: Book/ReportCommissioned reportResearch

  12. What is a correlation?

    D'Hondt, E., 2008, Manifesto for the 1st ESF Exploratory Workshop on Correlations in Computer Science.

    Research output: Chapter in Book/Report/Conference proceedingMeeting abstract (Book)Research

ID: 23650