Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
- 10 - 20 osumaa 22 tuloksesta
Hakutulokset
-
2022
Implementing Stable-Unstable Semantics with ASPTOOLS and Clingo
Janhunen, T., 7 tammik. 2022, Practical Aspects of Declarative Languages: 24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17–18, 2022, Proceedings. Cheney, J. & Perri, S. (toim.). Springer, s. 135-153 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13165 LNCS).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto7 Sitaatiot (Scopus)38 Lataukset (Pure) -
Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN .
Hahn, S., Janhunen, T., Kaminski, R., Romero, J., Rühling, N. & Schaub, T., 2022, Rules and Reasoning 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings. Springer, s. 54-62 9 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 13752).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto4 Sitaatiot (Scopus)19 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) -
On Syntactic Forgetting Under Uniform Equivalence
Gonçalves, R., Janhunen, T., Knorr, M. & Leite, J., 2021, Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (toim.). Springer, s. 297-312 16 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 12678).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto9 Sitaatiot (Scopus)11 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 accessTiedosto4 Sitaatiot (Scopus)19 Lataukset (Pure) -
2020
Allen's Interval Algebra Makes the Difference
Janhunen, T. & Sioutis, M., 2020, Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers. Springer, s. 89-98 (Lecture Notes in Computer Science; nro 12057).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
2 Sitaatiot (Scopus) -
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) -
On Robustness in Qualitative Constraint Networks
Sioutis, M., Long, Z. & Janhunen, T., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020. ijcai.org, s. 1813-1819Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open access9 Sitaatiot (Scopus) -
2019
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning
Sioutis, M., Paparrizou, A. & Janhunen, T., 2019, 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Gamper, J., Pinchinat, S. & Sciavicco, G. (toim.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 14:1-14:17 (Leibniz international proceedings in informatics; nro 147).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu