KUENSTLICHE INTELLIGENZ

Tutkimustuotokset

  1. 2018
  2. Julkaistu

    Lazy Grounding for Dynamic Configuration

    Eiter, T., Friedrich, G., Taupe, R. & Weinzierl, A., elokuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 197–198 2 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. Julkaistu

    The DLVHEX System

    Eiter, T., Germano, S., Ianni, G., Kaminski, T., Redl, C., Schüller, P. & Weinzierl, A., elokuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 187–189 2 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  4. Julkaistu

    Answer Set Programming: Related with Other Solving Paradigms

    Janhunen, T., 9 kesäkuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 125-131 7 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. Julkaistu

    Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

    Janhunen, T., 14 toukokuuta 2018, julkaisussa : KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 183-184 2 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  6. 2014
  7. Julkaistu

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

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 326020