KUENSTLICHE INTELLIGENZ

Research outputs

  1. 2018
  2. Published

    Lazy Grounding for Dynamic Configuration

    Eiter, T., Friedrich, G., Taupe, R. & Weinzierl, A., Aug 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 197–198 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. Published

    The DLVHEX System

    Eiter, T., Germano, S., Ianni, G., Kaminski, T., Redl, C., Schüller, P. & Weinzierl, A., Aug 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 187–189 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  4. Published

    Answer Set Programming: Related with Other Solving Paradigms

    Janhunen, T., 9 Jun 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 125-131 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Published

    Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Janhunen, T., 14 May 2018, In : KUENSTLICHE INTELLIGENZ. 32, 2-3, p. 183-184 2 p.

    Research output: Contribution to journalArticleScientificpeer-review

  6. 2014
  7. Published

    Two-Phased Knowledge Formalisation for Hydrometallurgical Gold Ore Process Recommendation and Validation

    Sauer, C. S., Rintala, L. & Roth-Berghofer, T., 2014, In : KUENSTLICHE INTELLIGENZ. 28, 4, p. 283-295

    Research output: Contribution to journalArticleScientificpeer-review

ID: 326020