Author of the publication

Signed Formulas and Fuzzy Operator Logics.

, , and . ISMIS, volume 869 of Lecture Notes in Computer Science, page 75-84. Springer, (1994)

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

Hybrid Knowledge Bases., , and . IEEE Trans. Knowl. Data Eng., 8 (5): 773-785 (1996)Classification of Resting State fMRI Datasets Using Dynamic Network Clusters., , , and . AAAI Workshop: Modern Artificial Intelligence for Health Analytics, volume WS-14-08 of AAAI Workshops, AAAI, (2014)Intrinsic Support for Metadata Integration in Relation Federations., , , and . EFIS, page 117-. aka / IOS Press / infix, (2003)A First-Order Representation of Stable Models., , and . AI Commun., 11 (1): 53-73 (1998)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , and . J. Autom. Reason., 10 (3): 345-370 (1993)A case study in the meta-reasoning procedure ND., , and . J. Exp. Theor. Artif. Intell., 15 (1): 47-71 (2003)A Foundation for Hybrid Knowledge Bases., , and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 155-167. Springer, (1999)Inference for Annotated Logics over Distributive Lattices., , , , and . ISMIS, volume 2366 of Lecture Notes in Computer Science, page 285-293. Springer, (2002)Propositional reasoning by dimensional reduction: a preliminary report., and . ACM Southeast Regional Conference, page 525-526. ACM, (2007)Efficient Maintenance of Materialized Mediated Views., , , and . SIGMOD Conference, page 340-351. ACM Press, (1995)