FlexiMine - A Flexible Platform for KDD Research and Application Construction. - Carmel Domshlak; D. Gershkovich; Ehud Gudes; N. Liusternik; Amnon Meisels; Tzachi Rosen; Solomon Eyal Shimony (KDD, 1998)

STCSP - Structured Temporal Constraint satisfaction Problems. - Mira Balaban; Tzachi Rosen (Ann. Math. Artif. Intell., 1999)

Independence Semantics for BKBs. - Solomon Eyal Shimony; Eugene Santos Jr.; Tzachi Rosen (FLAIRS, 2000)

FlexiMine - A Flexible Platform for KDD Research and Application Development. - Rachel Ben-Eliyahu-Zohary; Carmel Domshlak; Ehud Gudes; N. Liusternik; Amnon Meisels; Tzachi Rosen; Solomon Eyal Shimony (Ann. Math. Artif. Intell., 2003)

Reasoning with BKBs - Algorithms and Complexity. - Tzachi Rosen; Solomon Eyal Shimony; Eugene Santos Jr. (Ann. Math. Artif. Intell., 2004)