Author of the publication

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)

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.

 

Other publications of authors with the same name

Belnap-Dunn Modal Logics: Truth constants vs. Truth Values., and . Rev. Symb. Log., 13 (2): 416-435 (2020)On the Representation of N4-Lattices.. Stud Logica, 76 (3): 385-405 (2004)Routley Star and Hyperintensionality., and . J. Philos. Log., 50 (1): 33-56 (2021)On the structure of paraconsistent extensions of Johansson's logic.. J. Appl. Log., 3 (1): 43-65 (2005)Logical Foundations of Well-Founded Semantics., , and . KR, page 25-35. AAAI Press, (2006)The Logic of Generalized Truth Values and the Logic of Bilattices., and . Stud Logica, 103 (1): 91-112 (2015)Routley Semantics for Answer Sets., and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 343-355. Springer, (2005)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)On the Logic and Computation of Partial Equilibrium Models., , , and . JELIA, volume 4160 of Lecture Notes in Computer Science, page 82-94. Springer, (2006)