Author of the publication

A complexity perspective on entailment of parameterized linear constraints.

, , , and . Constraints An Int. J., 17 (4): 461-487 (2012)

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

k-NN as an implementation of situation testing for discrimination discovery and prevention., , and . KDD, page 502-510. ACM, (2011)Porting Decision Tree Algorithms to Multicore Using FastFlow., , and . ECML/PKDD (1), volume 6321 of Lecture Notes in Computer Science, page 7-23. Springer, (2010)Decidability of Logic Program Semantics and Applications to Testing.. PLILP, volume 1140 of Lecture Notes in Computer Science, page 347-362. Springer, (1996)A Case Study in Logic Program Verification: the Vanilla Metainterpreter., and . GULP-PRODE, page 643-654. (1995)Causal Discrimination Discovery Through Propensity Score Analysis., , , and . CoRR, (2016)Open the Black Box Data-Driven Explanation of Black Box Decision Systems., , , , , , and . CoRR, (2018)Bias in data-driven artificial intelligence systems—An introductory survey, , , , , , , , , and 13 other author(s). WIREs Data Mining and Knowledge Discovery, (February 2020)Bias in data-driven artificial intelligence systems - An introductory survey., , , , , , , , , and 13 other author(s). WIREs Data Mining Knowl. Discov., (2020)Methods and tools for causal discovery and causal inference., , , , and . WIREs Data Mining Knowl. Discov., (2022)Verification of Logic Programs., and . J. Log. Program., 39 (1-3): 125-176 (1999)