Valokuva Tomi Janhunen

Tomi Janhunen

Professori

    1993 …2023

    Tutkimustuotoksia vuodessa

    Hakutulokset

    • 2023

      Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

      Janhunen, T., 12 syysk. 2023, Proceedings 39th International Conference on Logic Programming: EPTCS 385. Open Publishing Association, s. 101-115 15 Sivumäärä (Electronic Proceedings in Theoretical Computer Science; Vuosikerta 385).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
    • 2021

      Solution Enumeration by Optimality in Answer Set Programming

      Pajunen, J. & Janhunen, T., 10 marrask. 2021, julkaisussa: Theory and Practice of Logic Programming. 21, 6, s. 750-767

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      3 Sitaatiot (Scopus)
      69 Lataukset (Pure)
    • 2020

      Allen’s Interval Algebra Makes the Difference

      Janhunen, T. & Sioutis, M., 1 tammik. 2020, Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Revised Selected Papers. Hofstedt, P., Abreu, S., John, U., Kuchen, H. & Seipel, D. (toim.). Springer, s. 89-98 10 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 12057 LNAI).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      Tiedosto
      1 Sitaatiot (Scopus)
      62 Lataukset (Pure)
    • 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: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      5 Sitaatiot (Scopus)
      121 Lataukset (Pure)
    • Boosting Answer Set Optimization with Weighted Comparator Networks

      Bomanson, J. & Janhunen, T., heinäk. 2020, julkaisussa: Theory and Practice of Logic Programming. 20, 4, s. 512-551 40 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      1 Sitaatiot (Scopus)
    • Declarative encodings of acyclicity properties

      Gebser, M., Janhunen, T. & Rintanen, J., 5 kesäk. 2020, julkaisussa: Journal of Logic and Computation. 30, 4, s. 923-952 30 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      3 Sitaatiot (Scopus)
      253 Lataukset (Pure)
    • 2019

      Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming

      Bomanson, J., Janhunen, T. & Weinzierl, A., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI Press, s. 2694-2702 9 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence; Vuosikerta 33).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      12 Sitaatiot (Scopus)
    • Forgetting in Modular Answer Set Programming

      Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 17 heinäk. 2019, Proceedings of the 33rd AAAI Conference on Artificial Intelligence. AAAI Press, s. 2843-2850 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
    • On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning

      Sioutis, M., Paparrizou, A. & Janhunen, T., 1 lokak. 2019, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Gamper, J., Pinchinat, S. & Sciavicco, G. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 1-17 (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 147).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      Tiedosto
      31 Lataukset (Pure)
    • The Return of xorro

      Everardo, F., Janhunen, T., Kaminski, R. & Schaub, T., 1 tammik. 2019, Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Proceedings. Balduccini, M., Lierler, Y. & Woltran, S. (toim.). Springer, s. 284-297 14 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11481 LNAI).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      Tiedosto
      6 Sitaatiot (Scopus)
      92 Lataukset (Pure)
    • Towards Leveraging Backdoors in Qualitative Constraint Networks

      Sioutis, M. & Janhunen, T., 1 tammik. 2019, KI 2019: Advances in Artificial Intelligence - 42nd German Conference on AI, Proceedings. Benzmüller, C. & Stuckenschmidt, H. (toim.). Springer, s. 308-315 8 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 11793 LNAI).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      4 Sitaatiot (Scopus)
    • 2018

      Answer Set Programming: Related with Other Solving Paradigms

      Janhunen, T., 9 kesäk. 2018, julkaisussa: KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 125-131 7 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      271 Lataukset (Pure)
    • Cross-Translating Answer Set Programs Using the ASPTOOLS Collection

      Janhunen, T., 14 toukok. 2018, julkaisussa: KUENSTLICHE INTELLIGENZ. 32, 2-3, s. 183-184 2 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      238 Lataukset (Pure)
    • Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming (Extended Abstract)

      Bomanson, J., Janhunen, T. & Weinzierl, A., 2018, s. 625-626. 2 Sivumäärä.

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaAbstractScientificvertaisarvioitu

    • Variable Elimination for DLP-Functions

      Goncalves, R., Janhunen, T., Knorr, M., Leite, J. & Woltran, S., 30 lokak. 2018, s. 643-644. 2 Sivumäärä.

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaAbstractScientificvertaisarvioitu

    • 2017

      Clingo goes linear constraints over reals and integers

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

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      45 Sitaatiot (Scopus)
    • Clingo goes linear constraints over reals and integers

      Janhunen, T., Kaminski, R., Ostrowski, M., Schaub, T., Schellhorn, S. & Wanko, P., 1 tammik. 2017, Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms . RWTH Aachen University, Vuosikerta 1868. (CEUR Workshop Proceedings).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      Tiedosto
      240 Lataukset (Pure)
    • Learning discrete decomposable graphical models via constraint optimization

      Janhunen, T., Gebser, M., Rintanen, J., Nyman, H., Pensar, J. & Corander, J., 2017, julkaisussa: STATISTICS AND COMPUTING. 27, 1, s. 115-130

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      11 Sitaatiot (Scopus)
      203 Lataukset (Pure)
    • Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings

      Balduccini, M. & Janhunen, T., 2017, Springer. 359 Sivumäärä (Lecture Notes in Artificial Intelligence; Vuosikerta 10377)

      Tutkimustuotos: KirjaAnthologyScientificvertaisarvioitu

    • 2016

      Answer Set Programming Modulo Acyclicity

      Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2016, julkaisussa: Fundamenta Informaticae. 147, 1, s. 63-91 29 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      26 Sitaatiot (Scopus)
    • Declarative Solver Development: Case Studies

      Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016.. Baral, C., Delgrande, J. & Wolter, F. (toim.). AAAI Press, s. 74-83

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      7 Sitaatiot (Scopus)
    • Rewriting optimization statements in answer-set programs

      Bomanson, J., Gebser, M. & Janhunen, T., 1 marrask. 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. Carro, M., King, A., Saeedloei, N. & De Vos, M. (toim.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vuosikerta 52. 15 Sivumäärä 5

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      Tiedosto
      6 Sitaatiot (Scopus)
      84 Lataukset (Pure)
    • SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators

      Janhunen, T., Tasharrofi, S. & Ternovska, E., 2016, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). AAAI Press, s. 978-984

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    • SAT-To-SAT in QBFEval 2016

      Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the 4th International Workshop on Quantified Boolean Formulas. CEUR, s. 63-70 8 Sivumäärä (CEUR Workshop Proceedings).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      Open access
      Tiedosto
      4 Sitaatiot (Scopus)
      55 Lataukset (Pure)
    • Solving QBF Instances With Nested SAT Solvers

      Bogaerts, B., Janhunen, T. & Tasharrofi, S., 2016, Proceedings of the AAAI-16 Workshop on Beyond NP. AAAI Press, s. 307-313

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    • Stable-unstable semantics: Beyond NP with normal logic programs

      Bogaerts, B., Janhunen, T. & Tasharrofi, S., 1 syysk. 2016, julkaisussa: Theory and Practice of Logic Programming. 16, 5-6, s. 570-586 17 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      19 Sitaatiot (Scopus)
      73 Lataukset (Pure)
    • The Answer Set Programming Paradigm

      Janhunen, T. & Niemelä, I., 2016, julkaisussa: AI Magazine. 37, 3, s. 13-24 12 Sivumäärä

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      42 Sitaatiot (Scopus)
      497 Lataukset (Pure)
    • Writing declarative specifications for clauses

      Gebser, M., Janhunen, T., Kaminski, R., Schaub, T. & Tasharrofi, S., 2016, Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings. Springer, Vuosikerta 10021 LNAI. s. 256-271 16 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 10021 LNAI).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      4 Sitaatiot (Scopus)
    • 2015

      Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region

      Zliobaite, I., Mathioudakis, M., Lehtiniemi, T., Parviainen, P. & Janhunen, T., 2015, The 2nd International Workshop on Mining Urban Data co-located with 32nd International Conference on Machine Learning (ICML 2015), Lille, France, July 11th, 2015. Katakis, I., Schnitzler, F., Liebig, T., Gunopulos, D., Morik, K., L. Andrienko, G. & Mannor, S. (toim.). CEUR, s. 65-71

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      1 Sitaatiot (Scopus)
    • Answer Set Programming Modulo Acyclicity

      Bomanson, J., Gebser, M., Janhunen, T., Kaufmann, B. & Schaub, T., 2015, 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015. Springer, s. 143-150

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      9 Sitaatiot (Scopus)
    • ASP Solving for Expanding Universes

      Gebser, M., Janhunen, T., Jost, H., Kaminski, R. & Schaub, T., 2015, 13th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), Lexington, KY, USA, September 27-30, 2015. Springer, s. 354-367

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      6 Sitaatiot (Scopus)
    • Cumulativity Tailored for Non-Monotonic Reasoning

      Janhunen, T. & Niemelä, I., 2015, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Leipzig, Germany, February 4, 2015. Eiter, T., Strass, H., Truszczynski, M. & Woltran, S. (toim.). Switzerland: Springer, s. 96-111 (Lecture Notes in Computer Science; Vuosikerta 9060).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    • Optimizing phylogenetic supertrees using answer set programming

      Koponen, L., Oikarinen, E., Janhunen, T. & Säilä, L., 2015, julkaisussa: Theory and Practice of Logic Programming. 15, 4-5, s. 604-619

      Tutkimustuotos: LehtiartikkeliArticleScientificvertaisarvioitu

      Open access
      Tiedosto
      25 Sitaatiot (Scopus)
      233 Lataukset (Pure)
    • 2014

      Answer Set Programming as SAT modulo Acyclicity

      Gebser, M., Janhunen, T. & Rintanen, J., 2014, European Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic. IOS Press, s. 351-356

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      30 Sitaatiot (Scopus)
    • ASP Encodings of Acyclicity Properties

      Gebser, M., Janhunen, T. & Rintanen, J., 2014, International Conference on Knowledge Representation and Reasoning, KR 2014, 20-24 July, Vienna, Austria. AAAI Press, s. 634-637

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      5 Sitaatiot (Scopus)
    • Improving the Normalization of Weight Rules in Answer Set Programs

      Bomanson, J., Gebser, M. & Janhunen, T., 2014, European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal. Fermé, E. & Leite, J. (toim.). Springer, s. 166-180

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      30 Sitaatiot (Scopus)
    • Introducing Real Variables and Integer Objective Functions to Answer Set Programming

      Liu, G., Janhunen, T. & Niemelä, I., 2014, International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2013, Kiel, 11-13 September, 2013. Hanus, M. & Rocha, R. (toim.). Springer, s. 118-135 18 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 8439 LNAI).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      2 Sitaatiot (Scopus)
    • SAT modulo Graphs: Acyclicity

      Gebser, M., Janhunen, T. & Rintanen, J., 2014, European Conference on Logics in Artificial Intelligence, JELIA 2014, 24-26 September, Funchal, Madeira, Portugal. Springer, s. 137-151

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      27 Sitaatiot (Scopus)
    • 2013

      Learning Chordal Markov Networks by Constraint Satisfaction

      Corander, J., Janhunen, T., Rintanen, J., Nyman, H. & Pensar, J., 2013, 26th International Conference on Neural Information Processing Systems (NIPS 2013), Lake Tahoe, 5-8 December, 2013. Burges, C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. (toim.). Neural Information Processing Systems Foundation, s. 1349--1357

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      32 Sitaatiot (Scopus)
    • Normalizing Cardinality Rules Using Merging and Sorting Constructions

      Bomanson, J. & Janhunen, T., 2013, 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, 15-19 September, 2013. Cabalar, P. & Son, T. C. (toim.). Berlin: Springer Gabler , s. 187-199

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      30 Sitaatiot (Scopus)
    • Translating Answer-Set Programs into Bit-Vector Logic

      Nguyen, M., Janhunen, T. & Niemelä, I., 2013, 19th International Conference, INAP 2011 and 25th Workshop on Logic Programming, WLP 2011, Vienna, September 28-30, 2011: Applications of Declarative Programming and Knowledge Management . Tompits, H., Abreu, S., Oetsch, J., Pührer, J., Seipel, D., Umeda, M. & Wolf, A. (toim.). Berlin Heidelberg: Springer, s. 95-113 19 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 7773 LNAI).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      14 Sitaatiot (Scopus)
    • 2012

      Answer Set Programming via Mixed Integer Programming

      Liu, G., Janhunen, T. & Niemelä, I., 2012, 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), Rome, Italy, June 10-14, 2012. AAAI Press, s. 32-42

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      68 Sitaatiot (Scopus)
    • Applying Visible Strong Equivalence in Answer-Set Program Transformations

      Janhunen, T. & Niemelä, I., 2012, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Erdem, E., Lee, J., Lierler, Y. & Pearce, D. (toim.). Berlin: Springer, s. 363-379 (Lecture Notes in Computer Science; Vuosikerta 7265).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaChapterScientificvertaisarvioitu

      8 Sitaatiot (Scopus)
    • Meta Programming with Answer Sets for Smart Spaces

      Janhunen, T. & Luukkala, V., 2012, RR 6th International Conference on Web Reasoning and Rule Systems (RR 2012) RR, Vienna, Austria, September 10-12, 2012. Krötzsch, M. & Straccia, U. (toim.). Vienna: Springer Gabler , s. 106-121

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

    • 2011

      Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses

      Janhunen, T. & Niemelä, I., 2011, The Symposium on Constructive Mathematics and Computer Science in Honour of Michael Gelfonds 65th Anniversary. Balduccini, M. & Son, T. C. (toim.). Lexington: Springer, s. 111-130 (Lecture Notes in Computer Science; Vuosikerta 6565).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      45 Sitaatiot (Scopus)
    • Distributed Deadlock Handling for Resource Allocation in Smart Spaces

      Aziz, R. A., Janhunen, T. & Luukkala, V., 2011, NEW2AN RuSMART 4th Conference on Smart Spaces (NEW2AN/RuSMART 2011) NEW2AN RuSMART. Balandin, S., Koucheryavy, Y. & Hu, H. (toim.). St. Petersburg: Springer, s. 87-98

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      2 Sitaatiot (Scopus)
    • Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

      Janhunen, T., Niemelä, I., Oetsch, J., Puehrer, J. & Tompits, H., 2011, International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2011. Delgrande, J. & Faber, W. (toim.). Springer, s. 242-247 6 Sivumäärä (Lecture Notes in Computer Science; Vuosikerta 6645).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      11 Sitaatiot (Scopus)
    • Strong Equivalence of Logic Programs with Abstract Constraint Atoms

      Liu, G., Goebel, R., Janhunen, T., Niemelä, I. & You, J-H., 2011, Logic Programming and Nonmonotonic Reasoning. LPNMR 2011. Delgrande, J. & Faber, W. (toim.). Springer, s. 161-173 (Lecture Notes in Computer Science; Vuosikerta 6645).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      6 Sitaatiot (Scopus)
    • 2010

      Logics in Artificial Intelligence: 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings

      Janhunen, T. (toim.) & Niemelä, I. (toim.), 2010, Berlin: Springer. 374 Sivumäärä (Lecture Notes in Artificial Intelligence; Vuosikerta LNCS 6341)

      Tutkimustuotos: KirjaAnthologyScientificvertaisarvioitu

    • On Testing Answer-Set Programs

      Janhunen, T., Niemelä, I., Oetsch, J., Pührer, J. & Tompits, H., 2010, 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, August 16-20, 2010. Coelho, H., Studer, R. & Wooldridge, M. (toim.). IOS Press, s. 951-956 (Frontiers in Artificial Intelligence and Applications; Vuosikerta 215).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference article in proceedingsScientificvertaisarvioitu

      18 Sitaatiot (Scopus)
    Viestisi lähetys onnistui.
    Viestiäsi ei lähetetty, koska tapahtui virhe.