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.
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 International 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.
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.
GnT: A solver for computing disjunctive stable models.
LPEQ: A
translator
for the equivalence testing of logic programs supported
by the smodels system.
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.