Research Output

Filter
Article
2020

Boosting Answer Set Optimization with Weighted Comparator Networks

Bomanson, J. & Janhunen, T., 2020, In : Theory and Practice of Logic Programming. 20, 4, p. 512-551

Research output: Contribution to journalArticleScientificpeer-review

2019

An adaptive prefix-assignment technique for symmetry reduction

Junttila, T., Karppa, M., Kaski, P. & Kohonen, J., Jul 2019, In : JOURNAL OF SYMBOLIC COMPUTATION. 99, p. 21-49

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
33 Downloads (Pure)

Collective singleton-based consistency for qualitative constraint networks: Theory and practice

Sioutis, M., Paparrizou, A. & Condotta, J-F., 1 Jan 2019, In : Theoretical Computer Science. 797, p. 17-41

Research output: Contribution to journalArticleScientificpeer-review

3 Citations (Scopus)

Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation

Alirezaie, M., Längkvist, M., Sioutis, M. & Loutfi, A., 2019, In : Semantic Web. 10, 5, p. 863-880 18 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
4 Citations (Scopus)
4 Downloads (Pure)
2018

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

Open Access
File
83 Downloads (Pure)

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

Open Access
File
113 Downloads (Pure)

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

Eiter, T., Kaminski, T., Redl, C. & Weinzierl, A., 30 Jul 2018, In : Journal of Artificial Intelligence Research. 62, p. 665-727 63 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
2 Citations (Scopus)
111 Downloads (Pure)

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

2017

Clingo goes linear constraints over reals and integers

Janhunen, T., Kaminski, R., Ostrowski, M., Schellhorn, S., Wanko, P. & Schaub, T., 2017, In : Theory and Practice of Logic Programming. 17, 5-6, p. 872-888

Research output: Contribution to journalArticleScientificpeer-review

16 Citations (Scopus)

Preference-based inconsistency management in multi-context systems

Eiter, T. & Weinzierl, A., 1 Oct 2017, In : Journal of Artificial Intelligence Research. 60, p. 347-424 78 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
3 Citations (Scopus)
105 Downloads (Pure)
2016

Answer Set Programming Modulo Acyclicity

Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, In : Fundamenta Informaticae. 147, 1, p. 63-91 29 p.

Research output: Contribution to journalArticleScientificpeer-review

11 Citations (Scopus)

On Local Domain Symmetry for Model Expansion

Devriendt, J., Bogaerts, B., Bruynooghe, M. & Denecker, M., 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 636-652

Research output: Contribution to journalArticleScientificpeer-review

3 Citations (Scopus)

Stable-unstable semantics: Beyond NP with normal logic programs

Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 Sep 2016, In : Theory and Practice of Logic Programming. 16, 5-6, p. 570-586 17 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
8 Citations (Scopus)
29 Downloads (Pure)

The Answer Set Programming Paradigm

Janhunen, T. & Niemelä, I., 2016, In : AI Magazine. 37, 3, p. 13-24 12 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
18 Citations (Scopus)
176 Downloads (Pure)
2015

Declarative encodings of acyclicity properties

Gebser, M., Janhunen, T. & Rintanen, J., 2015, In : Journal of Logic and Computation. 30 p.

Research output: Contribution to journalArticleScientificpeer-review

Open Access
File
120 Downloads (Pure)