Tomi Janhunen

Tomi Janhunen

Professor

    1993 …2023

    Research activity per year

    Filter
    Conference article in proceedings

    Search results

    • 2023

      Generalizing Level Ranking Constraints for Monotone and Convex Aggregates

      Janhunen, T., 12 Sept 2023, Proceedings 39th International Conference on Logic Programming: EPTCS 385. Open Publishing Association, p. 101-115 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 385).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
    • 2020

      Allen’s Interval Algebra Makes the Difference

      Janhunen, T. & Sioutis, M., 1 Jan 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. (eds.). Springer, p. 89-98 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12057 LNAI).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      1 Citation (Scopus)
      60 Downloads (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, p. 2694-2702 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      12 Citations (Scopus)
    • Forgetting in Modular Answer Set Programming

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

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      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 Oct 2019, 26th International Symposium on Temporal Representation and Reasoning, TIME 2019. Gamper, J., Pinchinat, S. & Sciavicco, G. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 1-17 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 147).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      26 Downloads (Pure)
    • The Return of xorro

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

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      6 Citations (Scopus)
      90 Downloads (Pure)
    • Towards Leveraging Backdoors in Qualitative Constraint Networks

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

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      4 Citations (Scopus)
    • 2017

      Clingo goes linear constraints over reals and integers

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

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      233 Downloads (Pure)
    • 2016

      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. (eds.). AAAI Press, p. 74-83

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

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

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

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      6 Citations (Scopus)
      78 Downloads (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, p. 978-984

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • SAT-To-SAT in QBFEval 2016

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

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      4 Citations (Scopus)
      53 Downloads (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, p. 307-313

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • 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, Vol. 10021 LNAI. p. 256-271 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10021 LNAI).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      4 Citations (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. (eds.). CEUR, p. 65-71

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      1 Citation (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, p. 143-150

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      9 Citations (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, p. 354-367

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      6 Citations (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. (eds.). Switzerland: Springer, p. 96-111 (Lecture Notes in Computer Science; vol. 9060).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • 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, p. 351-356

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      30 Citations (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, p. 634-637

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      5 Citations (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. (eds.). Springer, p. 166-180

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      30 Citations (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. (eds.). Springer, p. 118-135 18 p. (Lecture Notes in Computer Science; vol. 8439 LNAI).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      2 Citations (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, p. 137-151

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      27 Citations (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. (eds.). Neural Information Processing Systems Foundation, p. 1349--1357

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      32 Citations (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. (eds.). Berlin: Springer Gabler , p. 187-199

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      30 Citations (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. (eds.). Berlin Heidelberg: Springer, p. 95-113 19 p. (Lecture Notes in Computer Science; vol. 7773 LNAI).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      14 Citations (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, p. 32-42

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      68 Citations (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. (eds.). Vienna: Springer Gabler , p. 106-121

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • 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. (eds.). Lexington: Springer, p. 111-130 (Lecture Notes in Computer Science; vol. 6565).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      44 Citations (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. (eds.). St. Petersburg: Springer, p. 87-98

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      2 Citations (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. (eds.). Springer, p. 242-247 6 p. (Lecture Notes in Computer Science; vol. 6645).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      11 Citations (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. (eds.). Springer, p. 161-173 (Lecture Notes in Computer Science; vol. 6645).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      6 Citations (Scopus)
    • 2010

      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. (eds.). IOS Press, p. 951-956 (Frontiers in Artificial Intelligence and Applications; vol. 215).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      18 Citations (Scopus)
    • Sampler programs: The stable model semantics of abstract constraint programs revisited

      Janhunen, T., 2010, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010. Vol. 7. p. 94-103 10 p.

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      2 Citations (Scopus)
    • Sampler Programs: The Semantics of Abstract Constraint Programs Revisited

      Janhunen, T., 2010, Technical Communications of the 26th International Conference on Logic Programming. Hermenegildo, M. & Schaub, T. (eds.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 94-103

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • 2009

      A Module-Based Framework for Multi-Language Constraint Modeling

      Järvisalo, M., Oikarinen, E., Janhunen, T. & Niemelä, I., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). Springer, p. 155-168 (Lecture Notes in Computer Science ; vol. 5753).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      22 Citations (Scopus)
    • Computing Stable Models via Reductions to Difference Logic

      Janhunen, T., Niemelä, I. & Sevalnev, M., 2009, Logic Programming and Nonmonotonic Reasoning: 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Erdem, E., Lin, F. & Schaub, T. (eds.). Springer, p. 142-154 (Lecture Notes in Computer Science ; vol. 5753).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      42 Citations (Scopus)
    • 2008

      A Versatile Intermediate Language for Answer Set Programming

      Gebser, M., Janhunen, T., Ostrowski, M., Schaub, T. & Thiele, S., 2008, The 12th International Workshop on Nonmonotonic Reasoning Sydney, Australia, September 13-15, 2008. Pagnucco, M. & Thielscher, M. (eds.). Sydney, Australia: University of New South Wales, p. 150-159 (Technical Report; no. UNSW-CSE-TR-0819).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • Computing stable models via reductions to boolean circuits and difference logic

      Janhunen, T., Niemelä, I. & Sevalnev, M., 2008, Computation of Structures from Declarative Descriptions: 2nd International Workshop on Logic and Search (LaSh 2008). KU Leuven, Belgium, November 2008. Proceedings. Denecker, M. (ed.). p. 16-30

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • Implementing Prioritized Circumscription by Computing Disjunctive Stable Models

      Oikarinen, E. & Janhunen, T., 2008, Artificial Intelligence: Methodology, Systems, and Applications, 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 2008 Proceedings. Dochev, D., Pistore, M. & Traverso, P. (eds.). Springer, p. 167-180

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      4 Citations (Scopus)
    • Modular Equivalence in General

      Janhunen, T., 2008, The 18th European Conference on Artificial Intelligence Patras, Greece, July 21-25, 2008. Ghallab, M., Spyropoulos, C., Fakotakis, N. & Avouris, N. (eds.). IOS Press, p. 75-79

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • Removing Redundancy from Answer Set Programs

      Janhunen, T., 2008, The 24th International Conference on Logic Programming (ICLP 2008). Gardia de la Banda, M. & Pontelli, E. (eds.). Berlin Heidelberg: Springer, p. 729-733

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      2 Citations (Scopus)
    • 2007

      A Translation-based Approach to the Verification of Modular Equivalence

      Oikarinen, E. & Janhunen, T., 2007, 4th Workshop on Answer Set Programming (ASP), Porto, Portugal, September 8 and 13, 2007. Costantini, S. & Watson, R. (eds.). p. 255-269

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      9 Citations (Scopus)
    • Intermediate Languages of ASP Systems and Tools

      Janhunen, T., 2007, The 1st International Workshop on Software Engineering for Answer Set Programming. Vos, M. D. & Schaub, T. (eds.). Tempe, p. 12-25

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      4 Citations (Scopus)
    • Modularity Aspects of Disjunctive Stable Models

      Janhunen, T., Oikarinen, E., Tompits, H. & Woltran, S., 2007, Logic Programming and Nonmonotonic Reasoning, 9th International Conference, Tempe, Arizona, May 15-16, 2007. Baral, C., Brewka, G. & Schlipf, J. (eds.). Springer Gabler , p. 175-187

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      25 Citations (Scopus)
    • 2006

      Modular Equivalence for Normal Logic Programs

      Oikarinen, E. & Janhunen, T., 2006, The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 28 August - 1 September, 2006. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). IOS Press, p. 412-416

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      69 Citations (Scopus)
    • Modular Equivalence for Normal Logic Programs

      Oikarinen, E. & Janhunen, T., 2006, The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May - 1 June, 2006. Dix, J. & Hunter, A. (eds.). Clausthal, Germany: Clausthal University of Technology, p. 10-18 (Clausthal University of Technology, Department of Informatics, Technical Report; no. IfI-06-04).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • On Probing and Multi-Threading in Platypus

      Gressman, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S. & Tichy, R., 2006, The 11th International Workshop on Nonmonotonic Reasoning, Low Wood hotel, Lake District, England, UK, 30 May-1 June, 2006. Dix, J. & Hunter, A. (eds.). Clausthal, Germany: Clausthal University of Technology, p. 30-38 (Clausthal University of Technology, Department of Informatics, Technical Report; no. IfI-06-04).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

    • On Probing and Multi-Threading in Platypus

      Gressman, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S. & Tichy, R., 2006, The 17th European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, August 29-September 1, 2006. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (eds.). Netherlands: IOS Press, p. 392-396

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      8 Citations (Scopus)
    • 2005

      CIRC2DLP - Translating Circumsciption into Disjunctive Logic Programming

      Oikarinen, E. & Janhunen, T., 2005, 8th International Conference on Logic Programming and Nonmonotonic Reasoning, Diamante, Italy, September 5-8, 2005. Baral, C., Greco, G., Leone, N. & Terracina, G. (eds.). Springer, p. 405-409

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      10 Citations (Scopus)
    Your message has successfully been sent.
    Your message was not sent due to an error.