Address
  • Pleinlaan 2

    1050 Brussels

    Belgium

Filter
Conference paper

Search results

  • 2013

    Complexity of finitely valued Lukasiewicz possibilistic modal logics

    Blondeel, M., Flaminio, T. & De Cock, M., 2013, Handbook of the 4th World Congress and School on Universal Logic. Béziau, J-Y., Buchsbaum, A. & Costa-Leite, A. (eds.). Editora Kelps, p. 112-113 2 p.

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

  • Towards a deeper understanding of nonmonotonic reasoning with degrees

    Vermeir, D., Blondeel, M., Schokaert, S. & De Cock, M., 2013, In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI). China, Beijing: AAAI Press, p. 3205-3206 2 p.

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

  • 2012

    NP-completeness of fuzzy answer set programming under Lukasiewicz semantics

    Blondeel, M., Schockaert, S., De Cock, M. & Vermeir, D., 28 Aug 2012, Working Papers of the ECAI 2012 Workshop Weighted Logics for Artificial Intelligence. p. 43-50 8 p.

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

  • 2011

    Communicating ASP and the polynomial hierarchy

    Bauters, K., Schockaert, S., De Cock, M. & Vermeir, D., 2011, Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). Delgrande, J. P. & Faber, W. (eds.). Springer Verlag, Vol. 6645. p. 67-79 13 p. (Lecture Notes in Computer Science).

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

    3 Citations (Scopus)
  • Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results

    Blondeel, M., Schockaert, S., De Cock, M. & Vermeir, D., 10 Oct 2011, Scalable Uncertainty Management - 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings.. p. 7-12 6 p.

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

  • Fuzzy Autoepistemic Logic: Reflecting about Knowledge on Truth Degrees

    Blondeel, M., Schockaert, S., De Cock, M. & Vermeir, D., 2011, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 11th European conference, Proceedings. Liu, W. (ed.). Springer, p. 616-627 12 p.

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

    3 Citations (Scopus)
  • Weak and strong disjunction in possibilistic ASP

    Bauters, K., Schockaert, S., De Cock, M. & Vermeir, D., 2011, Proceedings of the 5th International Conference on Scalable Uncertainty Management (SUM). Springer Verlag, Vol. 6929. p. 475-488 14 p. (Lecture Notes in Computer Science).

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

    6 Citations (Scopus)
  • 2010

    Communicating answer set programs

    Bauters, K., Janssen, J., Schockaert, S., Vermeir, D. & De Cock, M., 2010, Technical Communications of the 26th International Conference on Logic Programming. Hermenegildo, M. & Schaub, T. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 34-43 10 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 7).

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

    4 Citations (Scopus)
  • Efficient Solving of Time-Dependent Answer Set Programs

    Fayruzov, T., Janssen, J., Vermeir, D., Cornelis, C. & De Cock, M., 2010, Technical Communications of the 26th International Conference on Logic Programming. Hermenegildo, M. & Schaub, T. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 64-73 10 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

    1 Citation (Scopus)
  • Possibilistic Answer Set Programming Revisited

    Bauters, K., Schockaert, S., De Cock, M. & Vermeir, D., 2010, Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence (UAI). Grünwald, P. & Spirtes, P. (eds.). AUAI Press, 8 p.

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

    25 Citations (Scopus)
  • 2009

    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 paper

    7 Citations (Scopus)
  • 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 paper

    4 Citations (Scopus)
  • Fuzzy Answer Set Programming with Literal Preferences

    Janssen, J., Schockaert, S., Vermeir, D. & De Cock, M., 20 Jul 2009, Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference,. Carvalho, J. P., Dubois, D., Kaymak, U. & Sousa, J. M. C. (eds.). p. 1347-1352 6 p. (Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference,).

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

    1 Citation (Scopus)
  • 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 paper

    14 Citations (Scopus)
  • 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 paper

    14 Citations (Scopus)