Author of the publication

Key-Based Problem Decomposition for Relational Constraint Satisfaction Problems.

, and . ICTAI, page 90-95. IEEE Computer Society, (2011)

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

A Foundation for Hybrid Knowledge Bases., , and . FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 155-167. Springer, (1999)Interpreting Disjunctive Logic Programs Based on a Strong Sense of Disjunction., , and . J. Autom. Reason., 10 (3): 345-370 (1993)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)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)An Extensible Framework for Query Optimization on TripleT-based RDF Stores., , and . EDBT/ICDT Workshops, volume 1330 of CEUR Workshop Proceedings, page 190-196. CEUR-WS.org, (2015)A case study in the meta-reasoning procedure ND., , and . J. Exp. Theor. Artif. Intell., 15 (1): 47-71 (2003)Inference for Annotated Logics over Distributive Lattices., , , , and . ISMIS, volume 2366 of Lecture Notes in Computer Science, page 285-293. Springer, (2002)Signed Formulas and Annotated Logics., , and . ISMVL, page 48-53. IEEE Computer Society, (1993)