1. 2012
  2. 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 paperResearch

  3. A core language for fuzzy answer set programming

    Janssen, J., Schockaert, S., Vermeir, D. & De Cock, M., 2012, In : International Journal of Approximate Reasoning. 53, p. 660-692 33 p.

    Research output: Contribution to journalArticleResearchpeer-review

  4. Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains

    Vermeir, D., Janssen, J. & Schokaert, S., 2012, In : ACM Transactions on Computational Logic. 13, p. 33 1 p.

    Research output: Contribution to journalArticleResearchpeer-review

  5. Possible and Necessary Answer Sets of Possibilistic Answer Set Programs

    Vermeir, D., Bauters, K., Schokaert, S. & De Cock, M., 2012, IEEE International Conference on Tools with Artificial Intelligence. IEEE, p. 836-843 8 p.

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

  6. Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics

    Janssen, J., Schockaert, S., Vermeir, D. & De Cock, M., 2012, In : Theory and Practice of Logic Programming. 12, p. 811-842 32 p.

    Research output: Contribution to journalArticleResearchpeer-review

  7. Relating fuzzy autoepistemic logic and KD45 modal logic

    Blondeel, M., Flaminio, T. & Godo, L., 2012, Book of abstracts of Logic, Algebra and Truth Degrees 2012. p. 35-39 5 p.

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

  8. Satisfiability Checking in Lukasiewicz Logic as Finite Constraint Satisfaction

    Schockaert, S., Janssen, J. & Vermeir, D., 2012, In : Journal of Automated Reasoning. 49, 4, p. 493-550

    Research output: Contribution to journalArticleResearchpeer-review

  9. Satisfiability Checking in Łukasiewicz Logic as Finite Constraint Satisfaction

    Vermeir, D., Janssen, J. & Schokaert, S., 2012, In : Journal of Automated Reasoning. 49, p. 493-550 58 p.

    Research output: Contribution to journalArticleResearchpeer-review

  10. 2011
  11. 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 paperResearch

  12. Aggregated Fuzzy Answer Set Programming

    Janssen, J., Schockaert, S., Vermeir, D. & De Cock, M., 2011, In : Annals of Mathematics and Artificial Intelligence. 63, p. 103-147 45 p.

    Research output: Contribution to journalArticleResearchpeer-review

ID: 23650