1. 2002
  2. Preferred Answer Sets for Ordered Logic Programs

    Van Nieuwenborgh, D. & Vermeir, D., 2002, Lecture notes in computer science, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA2002). Springer, p. 432-443 12 p.

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

  3. Using Preference Order in Ontologies

    Heymans, S. & Vermeir, D., 2002, Proceedings of the 13th International Workshop on Expert System Applications (DEXA2002), pp. 85-89, IEEE Computer Society, 2002..

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

  4. 2001
  5. Decisions, Agents and Game Theory

    Vermeir, D. & De Vos, M., 2001, In : Unknown Journal.

    Research output: Contribution to journalArticleResearchpeer-review

  6. Logic Programming Agents and Game Theory

    Vermeir, D. & De Vos, M., 2001, Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pp. 27--33. American Association for Artificial Intelligence Press, Stanford (Palo Alto), California, US, 2001.. Answer Set Programming: Towards Efficient and Scalable Knowledge Representation and Reasoning, pp. 27--33. American Association for Artificial Intelligence Press, Stanford (Palo Alto), California, US, 2001.

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

  7. Multi-Paradigm Programming using C++

    Vermeir, D., 2001, Multi-Paradigm Programming using C++ Springer-Verlag London, 2001, 287pp.

    Research output: Book/ReportBookResearch

  8. Semantic Forcing in Disjunctive Logic Programs.

    Vermeir, D., 2001, In : Unknown Journal.

    Research output: Contribution to journalArticleResearchpeer-review

  9. 2000
  10. A Logic for Modeling Decision Making with Dynamic Preferences

    Vermeir, D. & De Vos, M., 2000, Proceedings of the Logics in Artificial Inteligence (jelia2000) conference, pp. 391-406, Springer LNAI 1919, 2000.

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

  11. A Universal Fixpoint Semantics for Ordered Logic

    Vermeir, D. & Laenens, E., 2000, In : Unknown Journal.

    Research output: Contribution to journalArticleResearchpeer-review

  12. Dynamically Ordered Probabilistic Choice Logic Programming

    Vermeir, D. & De Vos, M., 2000, Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS2000), pp. 227 - 239, Springer LNCS 1974, 2000.. Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS2000), pp. 227 - 239, Springer LNCS 1974, 2000.

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

  13. On the role of negation in choice logic programs

    Vermeir, D. & De Vos, M., 2000, Proceedings of the 5th international conference on logic programming and nonmonotonic reasoning (lpnmr99), pp. 236-246, Springer LNCS 1730, 1999.. Proceedings of the 5th international conference on logic programming and nonmonotonic reasoning (lpnmr99), pp. 236-246, Springer LNCS 1730, 1999.

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

Previous 1...4 5 6 7 8 9 Next

ID: 23650