PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Odintsov, Sergei P."

Author of the publication

copydeleteadd this publication to your clipboard
Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC.

, and . J. Applied Logic, 6 (3): 343-360 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sergei Senn University of Stuttgart

P. Hommel

P. Abegglen

P. Krasteva

P. E. Bl\"ochl

 

Other publications of authors with the same name

On the Representation of N4-Lattices.. Studia Logica, 76 (3): 385-405 (2004)On the structure of paraconsistent extensions of Johansson's logic.. J. Applied Logic, 3 (1): 43-65 (2005)Logical Foundations of Well-Founded Semantics., , and . KR, page 25-35. AAAI Press, (2006)On Axiomatizing Shramko-Wansing's Logic.. Studia Logica, 91 (3): 407-428 (2009)Inconsistency-tolerant description logic. Part II: A tableau algorithm for CACLC., and . J. Applied Logic, 6 (3): 343-360 (2008)Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic., , , and . ICLP, volume 4079 of Lecture Notes in Computer Science, page 346-360. Springer, (2006)Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs., , and . IBERAMIA-SBIA, volume 4140 of Lecture Notes in Computer Science, page 592-601. Springer, (2006)The Logic of Generalized Truth Values and the Logic of Bilattices., and . Studia Logica, 103 (1): 91-112 (2015)Algebraic Semantics for Paraconsistent Nelson's Logic.. J. Log. Comput., 13 (4): 453-468 (2003)Partial equilibrium logic., , , and . Ann. Math. Artif. Intell., 50 (3-4): 305-331 (2007)