2008 |
37 | EE | Emilia Oikarinen,
Tomi Janhunen:
Implementing Prioritized Circumscription by Computing Disjunctive Stable Models.
AIMSA 2008: 167-180 |
36 | EE | Tomi Janhunen:
Modular Equivalence in General.
ECAI 2008: 75-79 |
35 | EE | Tomi Janhunen:
Removing Redundancy from Answer Set Programs.
ICLP 2008: 729-733 |
34 | EE | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for Smodels programs
CoRR abs/0809.4582: (2008) |
33 | EE | Emilia Oikarinen,
Tomi Janhunen:
Achieving compositionality of the stable model semantics for smodels programs.
TPLP 8(5-6): 717-761 (2008) |
2007 |
32 | EE | Emilia Oikarinen,
Tomi Janhunen:
A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming.
ICLP 2007: 440-441 |
31 | EE | Tomi Janhunen,
Emilia Oikarinen,
Hans Tompits,
Stefan Woltran:
Modularity Aspects of Disjunctive Stable Models.
LPNMR 2007: 175-187 |
30 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Tomi Janhunen,
Emilia Oikarinen:
Capturing Parallel Circumscription with Disjunctive Logic Programs.
JELIA 2004: 134-146 |
19 | EE | Emilia Oikarinen,
Tomi Janhunen:
Verifying the Equivalence of Logic Programs in the Disjunctive Case.
LPNMR 2004: 180-193 |
18 | EE | Tomi Janhunen,
Ilkka Niemelä:
GNT - A Solver for Disjunctive Logic Programs.
LPNMR 2004: 331-335 |
17 | EE | Tomi Janhunen,
Emilia Oikarinen:
LPEQ and DLPEQ - Translators for Automated Equivalence Testing of Logic Programs.
LPNMR 2004: 336-340 |
2003 |
16 | EE | Tomi Janhunen:
A Counter-Based Approach to Translating Normal Logic Programs into Sets of Clauses.
Answer Set Programming 2003 |
15 | EE | Tomi Janhunen:
Evaluating the effect of semi-normality on the expressiveness of defaults.
Artif. Intell. 144(1-2): 233-250 (2003) |
14 | EE | 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 | EE | Tomi Janhunen,
Emilia Oikarinen:
Testing the Equivalence of Logic Programs under Stable Model Semantics.
JELIA 2002: 493-504 |
2001 |
12 | EE | Tomi Janhunen:
On the Effect of Default Negation on the Expressiveness of Disjunctive Rules.
LPNMR 2001: 93-106 |
2000 |
11 | EE | Tomi Janhunen:
Comparing the Expressive Powers of Some Syntactically Restricted Classes of Logic Programs.
Computational Logic 2000: 852-866 |
10 | EE | 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 | EE | 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 | EE | 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 |