 | 2009 |
|---|
| 39 |       | Tomi Janhunen,
Ilkka Niemelä,
Mark Sevalnev:
Computing Stable Models via Reductions to Difference Logic.
LPNMR 2009: 142-154 |
| 38 | | Matti Järvisalo,
Emilia Oikarinen,
Tomi Janhunen,
Ilkka Niemelä:
A Module-Based Framework for Multi-language Constraint Modeling.
LPNMR 2009: 155-168 |
| 2008 |
|---|
| 37 | | Emilia Oikarinen,
Tomi Janhunen:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.
AIMSA 2008: 167-180 |
| 36 | | Tomi Janhunen:
Modular Equivalence in General.
ECAI 2008: 75-79 |
| 35 | | Tomi Janhunen:
Removing Redundancy from Answer Set Programs.
ICLP 2008: 729-733 |
| 34 | | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for Smodels programs
CoRR abs/0809.4582: (2008) |
| 33 | | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for smodels programs.
TPLP 8(5-6): 717-761 (2008) |
| 2007 |
|---|
| 32 | | Emilia Oikarinen,
Tomi Janhunen:
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.
ICLP 2007: 440-441 |
| 31 | | Tomi Janhunen,
Emilia Oikarinen,
Hans Tompits,
Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models.
LPNMR 2007: 175-187 |
| 30 | | Tomi Janhunen,
Emilia Oikarinen:
Automated Verification of Weak Equivalence within the SMODELS System.
TPLP 7(6): 697-744 (2007) |
| 2006 |
|---|
| 29 |  | Jean Gressmann,
Tomi Janhunen,
Robert E. Mercer,
Torsten Schaub,
Sven Thiele,
Richard Tichy:
On Probing and Multi-Threading in Platypus.
ECAI 2006: 392-396 |
| 28 | | Emilia Oikarinen,
Tomi Janhunen:
Modular Equivalence for Normal Logic Programs.
ECAI 2006: 412-416 |
| 27 | | Christian Anger,
Martin Gebser,
Tomi Janhunen,
Torsten Schaub:
What's a Head Without a Body?
ECAI 2006: 769-770 |
| 26 | | Tomi Janhunen,
Ilkka Niemelä,
Dietmar Seipel,
Patrik Simons,
Jia-Huai You:
Unfolding partiality and disjunctions in stable model semantics.
ACM Trans. Comput. Log. 7(1): 1-37 (2006) |
| 25 | | Tomi Janhunen,
Emilia Oikarinen:
Automated verification of weak equivalence within the SMODELS system
CoRR abs/cs/0608099: (2006) |
| 24 | | Tomi Janhunen:
Some (in)translatability results for normal logic programs and propositional theories.
Journal of Applied Non-Classical Logics 16(1-2): 35-86 (2006) |
| 2005 |
|---|
| 23 | | Jean Gressmann,
Tomi Janhunen,
Robert E. Mercer,
Torsten Schaub,
Sven Thiele,
Richard Tichy:
Platypus: A Platform for Distributed Answer Set Solving.
LPNMR 2005: 227-239 |
| 22 | | Emilia Oikarinen,
Tomi Janhunen:
circ2dlp - Translating Circumscription into Disjunctive Logic Programming.
LPNMR 2005: 405-409 |
| 2004 |
|---|
| 21 | | Tomi Janhunen:
Representing Normal Programs with Clauses.
ECAI 2004: 358-362 |
| 20 | | Tomi Janhunen,
Emilia Oikarinen:
Capturing Parallel Circumscription with Disjunctive Logic Programs.
JELIA 2004: 134-146 |
| 19 | | Emilia Oikarinen,
Tomi Janhunen:
Verifying the Equivalence of Logic Programs in the Disjunctive Case.
LPNMR 2004: 180-193 |
| 18 | | Tomi Janhunen,
Ilkka Niemelä:
GNT - A Solver for Disjunctive Logic Programs.
LPNMR 2004: 331-335 |
| 17 | | Tomi Janhunen,
Emilia Oikarinen:
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.
LPNMR 2004: 336-340 |
| 2003 |
|---|
| 16 | | Tomi Janhunen:
A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.
Answer Set Programming 2003 |
| 15 | | Tomi Janhunen:
Evaluating the effect of semi-normality on the expressiveness of defaults.
Artif. Intell. 144(1-2): 233-250 (2003) |
| 14 | | Tomi Janhunen,
Ilkka Niemelä,
Dietmar Seipel,
Patrik Simons,
Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics
CoRR cs.AI/0303009: (2003) |
| 2002 |
|---|
| 13 | | Tomi Janhunen,
Emilia Oikarinen:
Testing the Equivalence of Logic Programs under Stable Model Semantics.
JELIA 2002: 493-504 |
| 2001 |
|---|
| 12 | | Tomi Janhunen:
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.
LPNMR 2001: 93-106 |
| 2000 |
|---|
| 11 | | Tomi Janhunen:
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.
Computational Logic 2000: 852-866 |
| 10 | | Tomi Janhunen:
Capturing Stationary and Regular Extensions with Reiter's Extensions.
JELIA 2000: 102-117 |
| 9 | | Tomi Janhunen,
Ilkka Niemelä,
Patrik Simons,
Jia-Huai You:
Unfolding Partiality and Disjunctions in Stable Model Semantics.
KR 2000: 411-422 |
| 1999 |
|---|
| 8 | | Tomi Janhunen:
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power.
LPNMR 1999: 19-33 |
| 7 | | Tomi Janhunen:
On the intertranslatability of non-monotonic logics.
Ann. Math. Artif. Intell. 27(1-4): 79-128 (1999) |
| 1998 |
|---|
| 6 | | Tomi Janhunen:
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription.
JELIA 1998: 216-232 |
| 1997 |
|---|
| 5 | | Tomi Janhunen:
Separating Disbeliefs from Beliefs in Autoepistemic Reasoning.
LPNMR 1997: 132-151 |
| 1996 |
|---|
| 4 | | Tomi Janhunen:
Representing Autoepistemic Introspection in Terms of Default Rules.
ECAI 1996: 70-74 |
| 1995 |
|---|
| 3 | | Tomi Janhunen:
Cautious Models for General Logic Programs.
Deductive Databases / Abduction in Deductive Databases 1995: 25-39 |
| 1993 |
|---|
| 2 | | Tomi Janhunen,
Ilkka Niemelä:
A Scheme for Weakened Negative Introspection in Autoepistemic Reasoning.
Kurt Gödel Colloquium 1993: 211-222 |
| 1992 |
|---|
| 1 | | Matti Hallivuori,
Tomi Janhunen,
Tapio Suihko:
A Graphical User Interface for a Value Added Network.
INDC 1992: 293-307 |
