Author of the publication

A Tableau Calculus for Equilibrium Entailment.

, , and . TABLEAUX, volume 1847 of Lecture Notes in Computer Science, page 352-367. Springer, (2000)

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

Computing Equilibrium Models Using Signed Formulas., , and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 688-702. Springer, (2000)TAS-D++: Syntactic Trees Transformations for Automated Theorem Proving., , and . JELIA, volume 838 of Lecture Notes in Computer Science, page 198-216. Springer, (1994)Reductions for non-clausal theorem proving., , , and . Theor. Comput. Sci., 266 (1-2): 81-112 (2001)Bases for closed sets of implicants and implicates in temporal logic., , and . Acta Inf., 38 (9): 599-619 (2002)Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics., , and . IBERAMIA, volume 2527 of Lecture Notes in Computer Science, page 161-171. Springer, (2002)Temporal Reasoning over Linear Discrete Time., , and . JELIA, volume 1126 of Lecture Notes in Computer Science, page 303-319. Springer, (1996)Satisfiability Testing for Boolean Formulas Using Delta-trees., , , , and . Stud Logica, 72 (1): 85-112 (2002)Increasing the efficiency of automated theorem proving., , and . J. Appl. Non Class. Logics, 5 (1): 9-29 (1995)A temporal negative normal form which preserves implicants and implicates., , and . J. Appl. Non Class. Logics, 10 (3-4): 243-272 (2000)A new algebraic semantic approach and some adequate connectives for computation with temporal logic over discrete time., and . J. Appl. Non Class. Logics, 2 (2): 181-200 (1992)