Aaltodoc
→
Browsing by Author

Browsing by Author "Janhunen, Tomi"

Now showing items 1-16 of 16

Title: Allen’s Interval Algebra Makes the Difference Author(s): Janhunen, Tomi; Sioutis, Michael Date: 2020-01-01 Series: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 12057 LNAI
Title: Answer Set Programming Author(s): Janhunen, Tomi Date: 2018-06-09 Series: KUENSTLICHE INTELLIGENZ, Volume 32, issue 2-3
Title: The Answer Set Programming Paradigm Author(s): Janhunen, Tomi; Niemelä, Ilkka Date: 2016 Series: AI Magazine, Volume 37, issue 3
Title: Applying Visible Strong Equivalence in Answer-Set Program Transformations Author(s): Bomanson, Jori; Janhunen, Tomi; Niemelä, Ilkka Date: 2020-10 Series: ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, Volume 21, issue 4
Title: Cross-Translating Answer Set Programs Using the ASPTOOLS Collection Author(s): Janhunen, Tomi Date: 2018-05-14 Series: KUENSTLICHE INTELLIGENZ, Volume 32, issue 2-3
Title: Declarative encodings of acyclicity properties Author(s): Gebser, Martin; Janhunen, Tomi; Rintanen, Jussi Date: 2020-06-05 Series: Journal of Logic and Computation
Title: Investigations on Cautious Autoepistemic Reasoning Author(s): Janhunen, Tomi Date: 1994 Helsinki University of Technology | Licentiate thesis
Title: Learning discrete decomposable graphical models via constraint optimization Author(s): Janhunen, Tomi; Gebser, Martin; Rintanen, Jussi; Nyman, Henrik; Pensar, Johan; Corander, Jukka Date: 2017 Series: STATISTICS AND COMPUTING, Volume 27, issue 1
Title: On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning Author(s): Sioutis, Michael; Paparrizou, Anastasia; Janhunen, Tomi Date: 2019-10-01 Series: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, Leibniz International Proceedings in Informatics, LIPIcs, Volume 147
Title: Optimizing phylogenetic supertrees using answer set programming Author(s): Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura Date: 2015 Series: Theory and Practice of Logic Programming, Volume 15, issue 4-5
Title: The Return of xorro Author(s): Everardo, Flavio; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten Date: 2019-01-01 Series: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Volume 11481 LNAI
Title: Rewriting optimization statements in answer-set programs Author(s): Bomanson, Jori; Gebser, Martin; Janhunen, Tomi Date: 2016-11-01 Series: Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016, Volume 52
Title: SAT-To-SAT in QBFEval 2016 Author(s): Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab Date: 2016 Series: Proceedings of the 4th International Workshop on Quantified Boolean Formulas, CEUR Workshop Proceedings
Title: Solution Enumeration by Optimality in Answer Set Programming Author(s): Pajunen, Jukka; Janhunen, Tomi Date: 2021-11-10 Series: Theory and Practice of Logic Programming, Volume 21, issue 6
Title: Stable-unstable semantics Author(s): Bogaerts, Bart; Janhunen, Tomi; Tasharrofi, Shahab Date: 2016-09-01 Series: Theory and Practice of Logic Programming, Volume 16, issue 5-6
Title: Weakened Negative Introspection in Autoepistemic Reasoning Author(s): Janhunen, Tomi Date: 1993 Helsinki University of Technology | Master's thesis