Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Hakutulokset
-
2023
Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs
Feyzbakhsh Rankooh, M. & Janhunen, T., 2023, julkaisussa: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 23, 4, s. 782-796Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Sitaatiot (Scopus)13 Lataukset (Pure) -
2021
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
Sioutis, M., Paparrizou, A. & Janhunen, T., 2021, julkaisussa: Information and Computation. 280, 104638.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto19 Lataukset (Pure) -
Solution Enumeration by Optimality in Answer Set Programming
Pajunen, J. & Janhunen, T., marrask. 2021, julkaisussa: THEORY AND PRACTICE OF LOGIC PROGRAMMING. 21, 6, s. 750-767 18 SivumääräTutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto5 Sitaatiot (Scopus)19 Lataukset (Pure) -
2020
Applying Visible Strong Equivalence in Answer-Set Program Transformations
Bomanson, J., Janhunen, T. & Niemelä, I., lokak. 2020, julkaisussa: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. 21, 4, 41 Sivumäärä, 33.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto6 Sitaatiot (Scopus)13 Lataukset (Pure) -
Boosting Answer Set Optimization with Weighted Comparator Networks
Bomanson, J. & Janhunen, T., 2020, julkaisussa: THEORY AND PRACTICE OF LOGIC PROGRAMMING.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
2 Sitaatiot (Scopus)