Search results

  • 2016

    Stable-unstable semantics: Beyond NP with normal logic programs

    Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 Sept 2016, In: Theory and Practice of Logic Programming. 16, 5-6, p. 570-586 17 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    19 Citations (Scopus)
    67 Downloads (Pure)
  • The Answer Set Programming Paradigm

    Janhunen, T. & Niemelä, I., 2016, In: AI Magazine. 37, 3, p. 13-24 12 p.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
    42 Citations (Scopus)
    483 Downloads (Pure)
  • Writing declarative specifications for clauses

    Gebser, M., Janhunen, T., Kaminski, R., Schaub, T. & Tasharrofi, S., 2016, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings. Springer, Vol. 10021 LNAI. p. 256-271 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10021 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    4 Citations (Scopus)