Tomi Janhunen
1993 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 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.). 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 contributionScientificpeer-review

    Open Access
    File
    13 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 contributionScientificpeer-review

    Open Access
    6 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 contributionScientificpeer-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 fuer Informatik, p. 1-17 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 147).

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

    Open Access
    File
    13 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.). 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 contributionScientificpeer-review

    Open Access
    File
    2 Citations (Scopus)
    36 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.). 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 contributionScientificpeer-review

    Open Access
    3 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, Vol. 1868. (CEUR Workshop Proceedings).

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

    Open Access
    File
    155 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 contributionScientificpeer-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 fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. 15 p. 5

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

    Open Access
    File
    4 Citations (Scopus)
    50 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 contributionScientificpeer-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 contributionScientificpeer-review

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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 Verlag, 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 contributionScientificpeer-review

    2 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 contributionScientificpeer-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. p. 143-150

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

    8 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. p. 354-367

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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, p. 96-111 (Lecture Notes in Computer Science; vol. 9060).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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 contributionScientificpeer-review

    25 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 contributionScientificpeer-review

    4 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.). p. 166-180

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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. p. 137-151

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

    21 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 contributionScientificpeer-review

    25 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, p. 187-199

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

    29 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, p. 95-113 19 p. (Lecture Notes in Computer Science; vol. 7773 LNAI).

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

    13 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 contributionScientificpeer-review

    62 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, p. 106-121

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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, p. 111-130 (Lecture Notes in Computer Science; vol. 6565).

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

    36 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, p. 87-98

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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.). p. 242-247 6 p. (Lecture Notes in Computer Science; vol. 6645).

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

    10 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.). p. 161-173 (Lecture Notes in Computer Science; vol. 6645).

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

    5 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 contributionScientificpeer-review

    15 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 contributionScientificpeer-review

    1 Citation (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 fuer Informatik, p. 94-103

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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.). p. 155-168 (Lecture Notes in Computer Science ; vol. 5753).

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

    21 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.). p. 142-154 (Lecture Notes in Computer Science ; vol. 5753).

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

    38 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 contributionScientificpeer-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 contributionScientificpeer-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.). p. 167-180

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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 contributionScientificpeer-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, p. 729-733

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-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 contributionScientificpeer-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 contributionScientificpeer-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.). p. 175-187

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

    24 Citations (Scopus)
  • 2006

    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, p. 10-18 (Clausthal University of Technology, Department of Informatics, Technical Report; no. IfI-06-04).

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

  • 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 contributionScientificpeer-review

    64 Citations (Scopus)
  • 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 contributionScientificpeer-review

    8 Citations (Scopus)
  • 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, p. 30-38 (Clausthal University of Technology, Department of Informatics, Technical Report; no. IfI-06-04).

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

  • 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.). p. 405-409

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

    10 Citations (Scopus)
  • Platypus: A Platform for Distributed Answer Set Solving

    Gressmann, J., Janhunen, T., Mercer, R., Schaub, T., Thiele, S. & Tichy, R., 2005, Logic Programming and Nonmonotonic Reasoning, 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Baral, C., Greco, G., Leone, N. & Terracina, G. (eds.). p. 227-239

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

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