1. 2004
  2. Semantic Web Reasoning with Conceptual Logic Programs

    Heymans, S., Van Nieuwenborgh, D. & Vermeir, D., 2004, In : Lecture Notes in Computer Science. 3323, p. 113-127 15 p.

    Research output: Contribution to journalConference paperResearch

  3. 2003
  4. Integrating Description Logics and Answer Set Programming

    Vermeir, D. & Heymans, S., 2003, Principles and Practice of Semantic Web Reasoning (PPSWR03), pp. 146-159, Springer LNCS 2901.

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

  5. Integrating Ontology Languages and Answer Set Programming

    Vermeir, D. & Heymans, S., 2003, Proceedings of the 14th International Workshop on Expert System Applications (DEXA2003), pp. 584-588, IEEE Computer Society.

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

  6. Integrating Semantic Web Reasoning and Answer Set Programming

    Vermeir, D. & Heymans, S., 2003, Answer Set Programming: Advances in Theory and Implementation (ASP03), pp. 194-208, CEUR Proceedings Vol. 78.

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

  7. Order and Negation as Failure

    Vermeir, D. & Van Nieuwenborgh, D., 2003, Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings (Lecture Notes in Computer Science). Palamidessi, C. (ed.). Springer, p. 194-208 15 p.

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

  8. Ordered Diagnosis

    Vermeir, D. & Van Nieuwenborgh, D., 2003, Logic for programming artificial intelligence and reasoning, Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2003). Vardi, M. Y. & Voronkov, A. (eds.). Springer, p. 244-258 15 p.

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

  9. Ordered Programs as Abductive Systems

    Vermeir, D. & Van Nieuwenborgh, D., 2003, Proceedings of the APPIA-GULP-PRODE Conference on Declarative Programmaing, pp. 274-385. p. 274-385 112 p.

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

  10. 2002
  11. A Defeasible Ontology Language

    Heymans, S. & Vermeir, D., 2002, Proceedings of the 2002 ODBASE International Conference , Springer Verlag, Lecture Notes in Computer Science 2519, pp. 1033-1046, 2002..

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

  12. Dynamic Decision Making in Logic Programming and Game Theory

    De Vos, M. & Vermeir, D., 2002, AI2002: Advances in Artificial Intelligence, Springer Verlag, Lecture Notes in Artificial Intelligence. pp. 36-57, 2002..

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

  13. Logic Programming Agents Playing Games

    De Vos, M. & Vermeir, D., 2002, In Research and Development in Intelligent Systems XIX (ES2002) Springer Verlag, BCS Conference Series, pp. 323-336, 2002..

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

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

ID: 23650