Ei valokuvaa: Tuomo Lehtonen

Tuomo Lehtonen

  • PL 68 (Pietari Kalmin katu 5)

    00014

    Suomi

20172019
Jos olet muokannut tietoja Puressa, ne näkyvät pian tässä.

Kansainvälinen ja kotimainen yhteistyö Viimeisin maatasolla toteutettu yhteistyö. Saat syvempiä lisätietoja pisteitä napsauttamalla.

Julkaisut 2017 2019

  • 3 Konferenssiartikkeli
  • 1 Ohjelmisto

Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings

Lehtonen, T. T. P., Wallner, J. P. & Järvisalo, M. J., 2019, (Hyväksytty/In press) Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019). AAAI Press

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks

Lehtonen, T. T. P., Niskanen, A. J. A. & Järvisalo, M. J., 2018, Computational Models of Argument : Proceedings of COMMA 2018. Modgil, S., Budzynska, K. & Lawrence, J. (toim.). Amsterdam: IOS PRESS, s. 193-204 12 Sivumäärä (Frontiers in Artificial Intelligence and Applications; Vuosikerta 305).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Open access
Tiedosto

From Structured to Abstract Argumentation: Assumption-Based Acceptance via AF Reasoning

Lehtonen, T., Wallner, J. P. & Järvisalo, M., 2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017 Lugano, Switzerland, July 10–14, 2017 Proceedings. Antonucci, A., Cholvy, L. & Papini, O. (toim.). Cham: Springer International Publishing AG, s. 57-68 12 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 10369).

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu