dblp.uni-trier.dewww.uni-trier.de

Sergei P. Odintsov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Pedro Cabalar [8] [9] [10] [11] [12]
2David Pearce [7] [8] [9] [10] [11] [12]
3Yaroslav Shramko [5]
4Agustín Valverde [9] [10] [12]
5Heinrich Wansing [5] [13]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)