CS / Personnel / Tomi Janhunen / Publications

Selected Publications by Tomi Janhunen

[Edited Books] [Journal Articles] [Newsletters] [Conference Articles] [Research Reports] [Software] [Other Presentations]


Edited Books

LPNMR'17: Marcello Balduccini and Tomi Janhunen, editors, the Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning. Hanasaari, Espoo, Finland, July 2017. © Springer. Lecture Notes in Artificial Intelligence, vol. 10377.

JELIA'10: Tomi Janhunen and Ilkka Niemelä, editors, the Proceedings of the 12th European Conference on Logics in Artificial Intelligence. Helsinki, Finland, September 2010. © Springer. Lecture Notes in Artificial Intelligence, vol. 6341.


Journal Articles

KI'18: Tomi Janhunen: Answer Set Programming Related with Other Solving Paradigms. Künstliche Intelligenz, 2018. In the Special issue Answer Set Programming Unleashed.

KI'18: Tomi Janhunen: Cross-Translating Answer Set Programs Using the ASPTOOLS Collection. Künstliche Intelligenz, 2018. In the special issue Answer Set Programming Unleashed.

TPLP'17: Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, and Torsten Schaub: Clingo Goes Linear Constraints over Reals and Integers. Theory and Practice of Logic Programming, 17 (5—6), 872—888. Special issue on ICLP'17.

STAT&COMP'17: Tomi Janhunen, Martin Gebser, Jussi Rintanen, Henrik Nyman, Johan Pensar, and Jukka Corander: Learning Discrete Decomposable Graphical Models via Constraint Optimization. Statistics and Computing, 27, 115—130.

AIMag'16: Tomi Janhunen and Ilkka Niemelä: The Answer Set Programming Paradigm. AI Magazine, 37(3), 13—24, 2016. Special issue on Answer Set Programming.

TPLP'16: Bart Bogaerts, Tomi Janhunen, and Shahab Tasharrofi: Stable-Unstable Semantics: Beyond NP with Normal Logic Programs. Theory and Practice of Logic Programming, 16(5—6), 570—586, 2016. Special issue on ICLP'16.

FI'16: Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, and Torsten Schaub: Answer Set Programming Modulo Acyclicity. Fundamenta Informaticae, 147(1), 63—91, 2016. Special issue on ASPOCP'15.

JLC'15: Martin Gebser, Tomi Janhunen, Jussi Rintanen. Declarative Encodings of Acyclicity Properties. Journal of Logic and Computation, online access, September 2015. Special issue on ASPOCP'14.

TPLP'15: Laura Koponen, Emilia Oikarinen, Tomi Janhunen, and Laura Säilä: Optimizing Phylogenetic Supertrees Using Answer Set Programming (preprint). Theory and Practice of Logic Programming, 15 (4—5), 604—619, 2015. Special issue on ICLP'15.

JAIR'09: Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran. Modularity Aspects of Disjunctive Stable Models. Journal of Artificial Intelligence Research 35, 813—857, 2009.

JLC'09: Emilia Oikarinen and Tomi Janhunen. A Translation-Based Approach to the Verification of Modular Equivalence. Journal of Logic and Computation, 19 (4), 591—613, 2009.

TPLP'08: Emilia Oikarinen and Tomi Janhunen. Achieving Compositionality of the Stable Model Semantics for SMODELS programs (preprint). Theory and Practice of Logic Programming, 8 (5—6), 717—761, 2008.

TPLP'07: Tomi Janhunen and Emilia Oikarinen. Automated Verification of Weak Equivalence within the SMODELS system (preprint). Theory and Practice of Logic Programming, 7 (6), 697—744, 2007.

JANCL'06: Tomi Janhunen. Some (In)translatability Results for Normal Logic Programs and Propositional Theories (preprint). Journal of Applied Non-Classical Logics, 16 (1—2), 35—86, 2006. Special issue on implementing logics.

TOCL'06: Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You. Unfolding Partiality and Disjunctions in Stable Model Semantics. ACM Transactions on Computational Logic, 7 (1), 1—37, January 2006.

AIJ'03: Tomi Janhunen. Evaluating the Effect of Semi-Normality on the Expressiveness of Defaults. Artificial Intelligence, 144 (1—2), 233—250, 2003.

AMAI'99: Tomi Janhunen. On the Intertranslatability of Non-monotonic Logics. Annals of Mathematics and Artificial Intelligence, 27 (1—4), 79—128, 1999. Selected best papers of JELIA'98.


Newsletter Articles

ALP'19: Antonious Weinzierl, Bart Bogaerts, Jori Bomanson, Thomas Eiter, Gerhard Friedrich, Tomi Janhunen, Tobias Kaminski, Michael Langowski, Lorenz Leutgeb, Gottfried Schenner and Richard Taupe: The Alpha Solver for Lazy-Grounding Answer-Set Programming. In the ALP Newswetter, April 4, 2019.


Conference Articles

TIME'19: Michael Sioutis, Anstasia Paparrizou, and Tomi Janhunen: On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning. In Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, to appear. Malaga, Spain, October 2019.

INAP'19: Tomi Janhunen and Michael Sioutis: Allen's Interval Algebra Makes the Difference. In Proceedings of the 22nd International Conference on Applications of Declarative Programming and Knowledge Management, accepted for publication. Cottbus, Germany, September 2019.

KI'19: Michael Sioutis and Tomi Janhunen: Towards Leveraging Backdoors in Qualitative Constraint Networks. In Proceedings of the 42nd German conference on Artificial Intelligence, to appear. Kassel, Germany, September 2019.

LPNMR'19: Flavio Everado, Tomi Janhunen, Roland Kaminski, Torsten Schaub: The Return of Xorro. In Y. Lierler and S. Woltran, editors, the Proceedings of the 15th International Conference on Logic Programming and Nonmonotonic Reasoning, 284—297. Philadelphia, June 2019.

AAAI'19: Jori Bomanson, Tomi Janhunen, and Antonius Weinzierl: Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming. In Proceedings of the 33rd AAAI Conference on Artificial Intelligence, 2694—2702. Honolulu, Hawaii, USA, January/February 2019.

AAAI'19: Ricardo Goncalves, Tomi Janhunen, Matthias Knorr, Joao Leite, and Stefan Woltran: Forgetting in Modular Answer Set Programming. In Proceedings of the 33rd AAAI Conference on Artificial Intelligence, 2843—2850. Honolulu, Hawaii, USA, January/February 2019.

KR'18: Jori Bomanson, Tomi Janhunen, and Antonius Weinzierl: Towards Lazy Grounding with Lazy Normalization in Answer-Set Programming (Extended Abstract). In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 625—626. Tempe, Arizona, USA, October/November 2018.

KR'18: Ricardo Goncalves, Tomi Janhunen, Matthias Knorr, Joao Leite, and Stefan Woltran: Variable Elimination for DLP-Functions (Extended Abstract). In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning, 643—644. Tempe, Arizona, USA, October/November 2018.

JELIA'16: Martin Gebser, Tomi Janhunen, Roland Kaminski, Torsten Schaub, and Shahab Tasharrofi: Writing Declarative Specifications for Clauses. In Proceedings of the 15th European Conference on Logics in Artificial Intelligence, 256—271. Larnaca, Cyprus, November 2016.

ICLP'16: Jori Bomanson, Martin Gebser, and Tomi Janhunen: Rewriting Optimization Statements in Answer-Set Programs. In Technical Communications of the 32nd International Conference on Logic Programming, article 5, 15 p. New York, USA, October 2016.

QBF'16: Bart Bogarerts, Tomi Janhunen, and Shahab Tasharrofi: SAT-to-SAT in QBFEval 2016. In Proceedings of the 4th International Workshop on Quantified Boolean Formulas, 63—70. Bordeaux, France, July 2016.

KR'16: Bart Bogaerts, Tomi Janhunen, and Shahab Tasharrofi: Declarative Solver Development: Case Studies. In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning, 74—83. Cape Town, South Africa, April 2016.

AAAI'16: Tomi Janhunen, Shahab Tasharrofi, and Evgenia Ternovska: SAT-to-SAT: Declarative Extension of SAT Solvers with New Propagators. In Proceedings of the 30th AAAI Conference on Artificial Intelligence, 978—984. Phoenix, Arizona, February 2016. AAAI Press.

BNP'16: Bart Bogaerts, Tomi Janhunen, and Shahab Tasharrofi: Solving QBF With Nested SAT Solvers. In Proceedings of the AAAI-16 Workshop on Beyond NP, 307—313. Phoenix, Arizona, February 2016.

LPNMR'15: Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, and Torsten Schaub: Answer Set Programming modulo Acyclicity. In G. Ianni and M. Truszczynski, editors, the Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, 143—150. Lexington, Kentucky, September 2015. © Springer-Verlag. Lecture Notes in Computer Science, vol. 9345.

LPNMR'15: Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, and Torsten Schaub: ASP Solving for Expanding Universes. In G. Ianni and M. Truszczynski, editors, the Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, 354—367. Lexington, Kentucky, September 2015. © Springer-Verlag. Lecture Notes in Computer Science, vol. 9345.

ASPOCP'15: Jori Bomanson, Martin Gebser, Tomi Janhunen, Benjamin Kaufmann, and Torsten Schaub: Answer Set Programming modulo Acyclicity. In D. Inclezan and M. Maratea, editors, the Proceedings of the 8th International Workshop on Answer Set Programming and Other Computing Paradigms, Cork, Ireland, August 2015.

MUD'15: Indre Zliobaite, Michael Mathioudakis, Tuukka Lehtiniemi, Pekka Parviainen, Tomi Janhunen: Accessibility by Public Transport Predicts Residential Real Estate Prices: A Case Study in Helsinki Region. the Proceedings of the 2nd International Workshop on Mining Urban Data, 65—71, CEUR Workshop Proceedings, vol. 1392.

GB-60: Tomi Janhunen and Ilkka Niemelä. Cumulativity Tailored for Nonmonotonic Reasoning. In Knowledge Representation, Logic Programming, and Abstract Argumentation — Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, 96—111. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 9060.

JELIA'14: Martin Gebser, Tomi Janhunen, and Jussi Rintanen. SAT Modulo Graphs: Acyclicity. In J. Leite and E. Fermé, editors, the Proceedings of the 14th European Conference on Logics in Artificial Intelligence, 137—151. Madeira Island, Portugal, September 2014. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 8761.

JELIA'14: Jori Bomason, Martin Gebser, and Tomi Janhunen. Improving the Normalization of Weight Rules in Answer Set Programs. In J. Leite and E. Fermé, editors, the Proceedings of the 14th European Conference on Logics in Artificial Intelligence, 166—180. Madeira Island, Portugal, September 2014. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 8761.

ECAI'14: Martin Gebser, Tomi Janhunen, Jussi Rintanen. Answer Set Programming as SAT modulo Acyclicity. In T. Schaub, G. Friedrich, and B. O'Sullivan, editors, the Proceedings of the 21st European Conference on Artificial Intelligence, 351—356. Prague, Czech Republic, August 2014. IOS Press.

KR'14: Martin Gebser, Tomi Janhunen, Jussi Rintanen. ASP Encodings of Acyclicity Properties. In the Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning,634—637. Vienna, Austria, July 2014. AAAI Press.

ASPOCP'14: Martin Gebser, Tomi Janhunen, Jussi Rintanen. Declarative Encodings of Acyclicity Properties. In the Proceedings of the 7th International Workshop on Answer Set Programming and Other Computing Paradigms. Vienna, Austria, July 2014.

NIPS'13: Jukka Corander, Tomi Janhunen, Jussi Rintanen, Henrik Nyman and Johan Pensar. Learning Chordal Markov Networks by Constraint Satisfaction. In C. Burges, L. Bottou, M. Welling, Z. Ghahramani, and K. Weinberger, editors, the Proceedings of the 26th International Conference on Neural Information Processing Systems, 1349-1357. Lake Tahoe, Nevada, December 2013.

LPNMR'13: Jori Bomanson and Tomi Janhunen. Normalizing Cardinality Rules using Merging and Sorting Constructions. In P. Cabalar and T. C. Son, editors, the Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, 187-199. Corunna, Spain, September 2013. © Springer-Verlag. Lecture Notes in Computer Science, vol. 8148.

INAP'13: Guohua Liu, Tomi Janhunen, and Ilkka Niemelä. Introducing Real Variables and Integer Objective Functions to Answer Set Programming. In the Proceedings of the 20th International Conference on Applications of Declarative Programming and Knowledge Management, 93-107. Kiel, Germany, September 2013.

RR'12: Tomi Janhunen Vesa Luukkala. Meta Programming with Answer Sets for Smart Spaces. In M. Krötzsch and U. Staccia, editors, The Proceedings of 6th International Conference on Web Reasoning and Rule Systems, 106—121. Vienna, Austria, September 2012.

KR'12: Guohua Liu, Tomi Janhunen, and Ilkka Niemelä. Answer Set Programming via Mixed Integer Programming. In T. Eiter and S. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 13th International Conference, 32—42, Rome, Italy, June 2012. AAAI Press.

VL-65: Tomi Janhunen and Ilkka Niemelä. Applying Visible Strong Equivalence in Answer-Set Program Transformations. In E. Erdem, J. Lee, Y. Lierler, D. Pearce, editors, Correct Reasoning—Essays on Logic-Based AI in Honour of Vladimir Lifschitz' 65th Anniversary, 363—379, Rome, Italy, June 2012. © Springer-Verlag. Lecture Notes in Computer Science, vol. 7265.

INAP'11: Mai Nguyen, Tomi Janhunen, and Ilkka Niemelä. Translating Answer-Set Programs into Bit-Vector Logic. In the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management , 105—116. Vienna, Austria, September 2011. Revised version selected for publication in the post-conference proceedings © Springer-Verlag. Lecture Notes in Computer Science, vol. 7773.

ruSMART'11: Rehan Abdul Aziz, Tomi Janhunen, and Vesa Luukkala. Distributed Deadlock Handling for Resource Allocation in Smart Spaces. In S. Balandin, Y. Koucheryavy, and H. Hu, editods, the Proceedings of the 4th Conference on Smart Spaces, 87—98. St. Petersburg, Russia, August 2011. © Springer-Verlag. Lecture Notes in Computer Science, vol. 6869.

GTTV'11: Tomi Janhunen, Guohua Liu, and Ilkka Niemelä. Tight Integration of Non-Ground Answer Set Programming and Satisfiability Modulo Theories. In P. Cabalar, D. Mitchell, D. Pearce, and E. Ternovska, editors, the Proceedings of the 1st Workshop on Grounding and Transformations for Theories with Variables, 1—13. Vancouver, British Columbia, Canada, May 2011.

LPNMR'11: Guohua Liu, Randy Goebel, Tomi Janhunen, Ilkka Niemelä, and Jia-Huai You. Strong Equivalence of Logic Programs with Abstract Constraint Atoms. In J. Degrande and W. Faber, editors, the Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, 161—173. Vancouver, British Columbia, Canada, May 2011. © Springer-Verlag. Lecture Notes in Computer Science, vol. 6645.

LPNMR'11: Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, and Hans Tompits. Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. In J. Degrande and W. Faber, editors, the Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning, 242—247. Vancouver, British Columbia, Canada, May 2011. © Springer-Verlag. Lecture Notes in Computer Science, vol. 6645.

SCMCS'10: Tomi Janhunen and Ilkka Niemelä. Compact Translations of Non-Disjunctive Answer Set Programs to Propositional Clauses. In M. Balduccini and T. C. Son, editors, in the Proceedings of Symposium on Constructive Mathematics in Computer Science, Organized in Honour of Michael Gelfond's 65th Anniversary, 111—130, Lexington, Kentucky, October 2010. © Springer-Verlag. Lecture Notes in Computer Science, vol. 6565.

ECAI'10: Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, and Hans Tompits. On Testing Answer-Set Programs. In M. Wooldridge, editor, the Proceedings of the 19th European Conference on Artificial Intelligence. Lisbon, Portugal, August 2010.

ICLP'10: Tomi Janhunen. Sampler Programs: The Semantics of Abstract Consraint Atoms Revisited. In M. Hermemegildo and T. Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, 94—103. Edinburgh, Scotland, July 2010. Volume 7 of Leibniz International Proceedings in Informatics (LIPIcs).

LASH'10: Tomi Janhunen. Modular Construction of Ground Logic Programs using LPCAT. In D. Mitchell and E. Ternovska, editors, the Proceedings of the 3rd International Workshop on Logic and Search. Edinburgh, Scotland, July 2010.

LPNMR'09: Tomi Janhunen, Ilkka Niemelä, and Mark Sevalnev. Computing Stable Models via Reductions to Difference Logic. In E. Erdem, F. Lin, and T. Schaub, editors, the Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 142—154. Potsdam, Germany, September 2009. © Springer-Verlag. Lecture Notes in Computer Science, vol. 5753.

LPNMR'09: Matti Järvisalo, Emilia Oikarinen, Tomi Janhunen, and Ilkka Niemelä. A Module-Based Framework for Multi-Language Constraint Modeling. In E. Erdem, F. Lin, and T. Schaub, editors, the Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, 155—168. Potsdam, Germany, September 2009. © Springer-Verlag. Lecture Notes in Computer Science, vol. 5753.

ICLP'08: Tomi Janhunen. Removing Redundancy from Answer Set Programs. In M. G. de la Banda and E. Pontelli, editors, the Proceedings of the 24th International Conference on Logic Programming, 729—733. Udine, Italy, December 2008. © Springer-Verlag. Lecture Notes in Computer Science, vol. 5366.

LASH'08: Tomi Janhunen, Ilkka Niemelä, and Mark Sevalnev. Computing Stable Models via Reductions to Boolean Circuits and Difference Logic. In M. Denecker, editor, the Proceedings of the 2nd International Workshop on Logic and Search, pages 16—30. Leuven, Belgium, November 2008.

NMR'08: Martin Gebser, Tomi Janhunen, Max Ostrowski, Torsten Schaub, and Sven Thiele. A Versatile Intermediate Language for Answer Set Programming. In M. Pagnucco and M. Thielscher, editors, the Proceedings of the 12th Workshop on Nonmonotonic Reasoning, pages 150—159, Sydney, Australia, September 2008. Available online in the Report Series of University of New South Wales, NSW-CSE-TR-0819.
The full language proposal is also available.

AIMSA'08: Emilia Oikarinen and Tomi Janhunen. Implementing Prioritized Circumscription by Computing Disjunctive Stable Models. In P. Traverso et al., editors, the Proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, Applications, pages 167—180, Varna, Bulgaria, September 2008. Lecture Notes in Computer Science, vol. 5253.

ECAI'08: Tomi Janhunen. Modular Equivalence in General. In M. Ghallab et al., editors, the Proceedings of the 18th European Conference on Artificial Intelligence, pages 75—79, Patras, Greece, July 2008.

ASP'07: Emilia Oikarinen and Tomi Janhunen. A Translation-Based Approach to the Verification of Modular Equivalence. In S. Constantini and R. Watson, editors, the Proceedings of the 4th International Workshop on Answer Set Programming, pages 255—269, Porto, Portugal, September 2007.

ICLP'07: Emilia Oikarinen and Tomi Janhunen. A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming. In V. Dahl and I. Niemelä, editors, the Proceedings of the 23rd International Conference on Logic Programming, pages 440—441, Porto, Portugal, September 2007. © Springer-Verlag. Lecture Notes in Computer Science, vol. 4670.

SEA'07: Tomi Janhunen. Intermediate Languages of ASP Systems and Tools. In M. De Vos and T. Schaub, editors, the Proceedings of the 1st International Workshop on Software Engineering for Answer Set Programming, pages 12—25, Tempe, Arizona, USA, May 2007. University of Bath, Department of Computer Science, Report Series, CSBU-2007-05.

LPNMR'07: Tomi Janhunen, Emilia Oikarinen, Hans Tompits, and Stefan Woltran. Modularity Aspects of Disjunctive Stable Models. In C. Baral et al, editors, the Proceedings of the 9th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 175—187, Tempe, Arizona, USA, May 2007. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 4483.

ECAI'06: Emilia Oikarinen and Tomi Janhunen. Modular Equivalence for Normal Logic Programs. In G. Brewka et al, editors, the Proceedings of the 17th European Conference on Artificial Intelligence, pages 412—416, Riva del Garda, Italy, August/September 2006. A slightly longer version of the paper is given below.

NMR'06: Emilia Oikarinen and Tomi Janhunen. Modular Equivalence for Normal Logic Programs. In J. Dix and A. Hunter, editors, the Proceedings of the 11th Workshop on Nonmonotonic Reasoning, pages 10—18, Lake District, UK, May 2006. Available online in the Report Series of TU Clausthal, IfI-06-04.

ECAI'06: Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, and Richard Tichy. On Probing and Multi-Threading in Platypus. In G. Brewka et al, editors, the Proceedings of the 17th European Conference on Artificial Intelligence, pages 392—396, Riva del Garda, Italy, August/September 2006. An extended version of the paper is given below.

NMR'06: Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, and Richard Tichy. On Probing and Multi-Threading in Platypus. In J. Dix and A. Hunter, editors, the Proceedings of the 11th Workshop on Nonmonotonic Reasoning, pages 30—38, Lake District, UK, May 2006. Available online in the Report Series of TU Clausthal, IfI-06-04.

ECAI'06: Christian Anger, Martin Gebser, Tomi Janhunen, and Torsten Schaub. What's a head without a body? (poster) In G. Brewka et al, editors, the Proceedings of the 17th European Conference on Artificial Intelligence, pages 769—770, Riva del Garda, Italy, August/September 2006.

LPNMR'05: Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Sven Thiele, and Richard Tichy. Platypus: A Platform for Distributed Answer Set Solving . In C. Baral, G. Greco, N. Leone, G. Terracina, editors, the Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 227—239, Diamante, Italy, September 2005. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 3662.

LPNMR'05: Emilia Oikarinen and Tomi Janhunen. circ2dlp - Translating Circumscription into Disjunctive Logic Programming. In C. Baral, G. Greco, N. Leone, G. Terracina, editors, the Proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 405—409, Diamante, Italy, September 2005. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 3662.

Koli Calling'04: Tomi Janhunen, Toni Jussila, Matti Järvisalo and Emilia Oikarinen. Teaching Smullyan's Analytic Tableaux in a Scalable Learning Environment. In A. Korhonen and L. Malmi, editors, the Proceedings of the 4th Finnish/Baltic Sea Conference on Computer Science Education, pages 85—94. Joensuu, Finland, October 2004. Published in the report series of the Laboratory for Information Processing, TKO-A42/04.

JELIA'04: Tomi Janhunen and Emilia Oikarinen. Capturing Parallel Circumscription with Disjunctive Logic Programs. In J. Alferes and J. Leite, editors, the Proceedings of the 9th European Conference on Logics in Artificial Intelligence, pages 134—146. Lisbon, Portugal, September 2004. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 3229.

ECAI'04: Tomi Janhunen. Representing Normal Programs with Clauses. In R. L. de Mántaras and L. Saitta, editors, the Proceedings of the 16th European Conference on Artificial Intelligence, pages 358—362, Valencia, Spain, August 2004.

LPNMR'04: Emilia Oikarinen and Tomi Janhunen. Verifying the Equivalence of Logic Programs in the Disjunctive Case. In V. Lifschitz and I. Niemelä, editors, the Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 180—193, Fort Lauderdale, Florida, January 2004. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2923.

LPNMR'04: Tomi Janhunen and Ilkka Niemelä. GNT — A Solver for Disjunctive Logic Programs. In V. Lifschitz and I. Niemelä, editors, the Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 331—335, Fort Lauderdale, Florida, January 2004. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2923.

LPNMR'04: Tomi Janhunen and Emilia Oikarinen. LPEQ and DLPEQ — Translators for Automated Equivalence Testing of Logic Programs. In V. Lifschitz and I. Niemelä, editors, the Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 336—340, Fort Lauderdale, Florida, January 2004. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2923.

ASP'03: Tomi Janhunen. A Counter-Based Approach to Translating Logic Programs into Set of Clauses. In M. de Vos and A. Provetti, editors, the Proceedings of the 2nd International Workshop on Answer Set Programming, pages 166—180, Messina, Sicily, September 2003. Sun SITE Central Europe (CEUR), vol. 78.

JELIA'02: Tomi Janhunen and Emilia Oikarinen. Testing the Equivalence of Logic Programs under Stable Model Semantics. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, the Proceedings of the 8th European Workshop on Logic in Artificial Inteligence, pages 493—504, Cosenza, Italy, September 2002. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2424.

LPNMR'01: Tomi Janhunen. On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. In T. Eiter, W. Faber, and M. Truszczynski, editors, the Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, pages 93—106, Vienna, Austria, September 2001. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 2173.

JELIA'00: Tomi Janhunen. Capturing Stationary and Regular Extensions with Reiter's Extensions. In M. Ojeda-Aciego et al., editors, the Proceedings of the 7th European Workshop on Logic in Artificial Inteligence, pages 102—117, Malaga, Spain, September-October 2000. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 1919.

CL'00: Tomi Janhunen. Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs. In John Lloyd et al., editors, the Proceedings of the 1st International Conference on Computational Logic, pages 852—866, London, UK, July 2000. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 1861.

KR'00: Tomi Janhunen, Ilkka Niemelä, Patrik Simons, and Jia-Huai You. Unfolding Partiality and Disjunctions in Stable Model Semantics. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference, pages 411—419, Breckenridge, Colorado, April 2000. Morgan Kaufmann Publishers.

LPNMR'99: Tomi Janhunen. Classifying Semi-Normal Default Logic on the Basis of its Expressive Power. In M. Gelfond, N. Leone, and G. Pfeifer, editors, the Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning, El Paso, Texas, USA, pages 19—33, December 1999. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 1730.

JELIA'98: Tomi Janhunen. On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription. In J. Dix, L.F. del Cerro, and U. Furbach, editors, the Proceedings of the 6th European Workshop on Logics in Artificial Intelligence, Dagstuhl, Germany, pages 216—232, October 1998. Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 1489.

LPNMR'97: Tomi Janhunen. Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. In J. Dix, U. Furbach, and A. Nerode, editors, the Proceedings of the 4th International Conference on Logic Programming and Non-Monotonic Reasoning, Dagstuhl, Germany, pages 132—151, July 1997. © Springer-Verlag. Lecture Notes in Artificial Intelligence, vol. 1265.

ECAI'96: Tomi Janhunen. Representing Autoepistemic Introspection in Terms of Default Rules. In the Proceedings of the 12th European Conference on Artificial Intelligence, Budapest, Hungary, pages 70—74, August 1996. John Wiley & Sons, Ltd.

DDLP'95: Tomi Janhunen. Cautious Models for General Logic Programs. In the Proceedings of the Third International Workshop on Deductive Databases and Logic Programming, Kanagawa, Japan, pages 25—39, June 1995. Gesellschaft für Mathematik und Datenverarbeitung. GMD-Studien nr. 266.

KGC'93: Tomi Janhunen and Ilkka Niemelä. A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning. In the Proceedings of the Third Kurt Gödel Colloquium, Brno, Czech Republic, pages 211—222, August 1993. © Springer-Verlag. Lecture Notes in Computer Science, vol. 713.


Research Reports

2003: Tomi Janhunen. Translatability and Intranslatability Results for Certain Classes of Logic Programs. In the Report Series of the Laboratory for Theoretical Computer Science, number A82. 88 pages.

2000: Tomi Janhunen. Specifying Agent-Based Systems with Nets and Logic Programs. In Husberg, N., Janhunen, T. and Niemelä, I., editors, Leksa Notes in Computer Science: Festschrift in Honour of Professor Leo Ojala, in the Report Series of the Laboratory for Theoretical Computer Science, number A63. Pages 33—46.

1998: Tomi Janhunen. Non-Monotonic Systems: A Framework for Analyzing Semantics and Structural Properties of Non-Monotonic Reasoning. In the Report Series of Digital Systems Laboratory, number A49. 211 pages.

1994: Tomi Janhunen. Investigations on Cautious Autoepistemic Reasoning. In the Report Series of Digital Systems Laboratory, number A31. 77 pages.

1993: Tomi Janhunen. Weakened Negative Introspection in Autoepistemic Reasoning. In the Report Series of Digital Systems Laboratory, number A21. 82 pages.


Software

GnT: A solver for computing disjunctive stable models.

LPEQ: A translator for the equivalence testing of logic programs supported by the smodels system.


Other Scientific Presentations

DAGSTUHL'05: Tomi Janhunen. Translating Normal Logic Programs into Propositional Theories (invited talk). Presented at Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Germany, April 2005.

DAGSTUHL'02: Tomi Janhunen. An Approach to Capture Stable Models with Classical Ones. Presented at Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints, Schloss Dagstuhl, Germany, September 2002.

DGNMR'01: Tomi Janhunen. On the Effect of Default Negation on the Expressiveness of Disjunctive Rules. Presented at the 5th Dutch-German Workshop on Nonmonotonic Reasoning Techniques and their Applications, Potsdam, Germany, April 2001.

HUT, Finland: Tomi Janhunen. On the Effects of Semi-normality on the Expressiveness of Defaults. Laboratory for Theoretical Computer Science, Formal Methods Forum, November 19, 1999.

HUT, Finland: Tomi Janhunen. On the Expressive Power of Non-Monotonic Logics. Digital Systems Laboratory, Formal Methods Forum, May 1998.

HUT, Finland: Tomi Janhunen. Separating Disbeliefs from Beliefs in Autoepistemic Reasoning. Digital Systems Laboratory, Formal Methods Forum, March 1997

TPNMR'96: Tomi Janhunen. On Abstracting Decision Procedures for Non-Monotonic Reasoning. In the Proceedings of the ECAI-96 Workshop on Intregrating Nonmonotonicity in Automated Reasoning Systems, Budapest, Hungary, August 1996. Universität Koblenz-Landau, Institut für Informatik, Fachberichte Informatik, RR-18-96.

University of Koblenz-Landau, Germany: Tomi Janhunen. From the Relationship of Autoepistemic and Default Logics to a Meta-Level Specification for Non-Monotonic Theories. Universität Koblenz-Landau, Fachbereich Informatik, Informatik-Kolloquium, June 1996.


[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 15 August 2019. Tomi Janhunen