2008 |
13 | EE | Sergei P. Odintsov,
Heinrich Wansing:
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC.
J. Applied Logic 6(3): 343-360 (2008) |
2007 |
12 | EE | Pedro Cabalar,
Sergei P. Odintsov,
David Pearce,
Agustín Valverde:
Partial equilibrium logic.
Ann. Math. Artif. Intell. 50(3-4): 305-331 (2007) |
2006 |
11 | EE | Pedro Cabalar,
Sergei P. Odintsov,
David Pearce:
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.
IBERAMIA-SBIA 2006: 592-601 |
10 | EE | Pedro Cabalar,
Sergei P. Odintsov,
David Pearce,
Agustín Valverde:
Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic.
ICLP 2006: 346-360 |
9 | EE | Pedro Cabalar,
Sergei P. Odintsov,
David Pearce,
Agustín Valverde:
On the Logic and Computation of Partial Equilibrium Models.
JELIA 2006: 82-94 |
8 | | Pedro Cabalar,
Sergei P. Odintsov,
David Pearce:
Logical Foundations of Well-Founded Semantics.
KR 2006: 25-35 |
2005 |
7 | EE | Sergei P. Odintsov,
David Pearce:
Routley Semantics for Answer Sets.
LPNMR 2005: 343-355 |
6 | EE | Sergei P. Odintsov:
On the structure of paraconsistent extensions of Johansson's logic.
J. Applied Logic 3(1): 43-65 (2005) |
5 | EE | Heinrich Wansing,
Sergei P. Odintsov,
Yaroslav Shramko:
From the Editors.
Studia Logica 80(2-3): 153-157 (2005) |
4 | EE | Sergei P. Odintsov:
The Class of Extensions of Nelson's Paraconsistent Logic.
Studia Logica 80(2-3): 291-320 (2005) |
2004 |
3 | EE | Sergei P. Odintsov:
On the Representation of N4-Lattices.
Studia Logica 76(3): 385-405 (2004) |
2 | EE | Sergei P. Odintsov:
Negative Equivalence of Extensions of Minimal Logic.
Studia Logica 78(3): 417-442 (2004) |
2003 |
1 | EE | Sergei P. Odintsov:
Algebraic Semantics for Paraconsistent Nelson's Logic.
J. Log. Comput. 13(4): 453-468 (2003) |