Author of the publication

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

Towards incorporating background theories into quantifier elimination.. J. Appl. Non Class. Logics, 18 (2-3): 325-340 (2008)ExpTime Tableau Decision Procedures for Regular Grammar Logics with Converse., and . Stud Logica, 98 (3): 387-428 (2011)Voting by Eliminating Quantifiers., and . Stud Logica, 92 (3): 365-379 (2009)Annotation Theories over Finite Graphs., and . Stud Logica, 93 (2-3): 147-180 (2009)Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals., and . Stud Logica, 87 (1): 37-50 (2007)Preface., , , and . Fundam. Informaticae, (2003)Paraconsistent Logic Programs with Four-Valued Rough Sets., , and . RSCTC, volume 5306 of Lecture Notes in Computer Science, page 41-51. Springer, (2008)A layered rule-based architecture for approximate knowledge fusion?, , and . Comput. Sci. Inf. Syst., 7 (3): 617-642 (2010)Fusing Approximate Knowledge from Distributed Sources., , and . IDC, volume 237 of Studies in Computational Intelligence, page 75-86. Springer, (2009)Computing Circumscription Revisited: Preliminary Report., , and . IJCAI, page 1502-1508. Morgan Kaufmann, (1995)