2004 |
6 | EE | Tzachi Rosen,
Solomon Eyal Shimony,
Eugene Santos Jr.:
Reasoning with BKBs - Algorithms and Complexity.
Ann. Math. Artif. Intell. 40(3-4): 403- (2004) |
2003 |
5 | | Rachel Ben-Eliyahu-Zohary,
Carmel Domshlak,
Ehud Gudes,
N. Liusternik,
Amnon Meisels,
Tzachi Rosen,
Solomon Eyal Shimony:
FlexiMine - A Flexible Platform for KDD Research and Application Development.
Ann. Math. Artif. Intell. 39(1-2): 175-204 (2003) |
2000 |
4 | EE | Tzachi Rosen,
Eugene Santos Jr.,
Solomon Eyal Shimony:
Reasoning with BKBs - Algorithms and Complexity.
AMAI 2000 |
3 | | Solomon Eyal Shimony,
Eugene Santos Jr.,
Tzachi Rosen:
Independence Semantics for BKBs.
FLAIRS Conference 2000: 308-312 |
1999 |
2 | | Mira Balaban,
Tzachi Rosen:
STCSP - Structured Temporal Constraint satisfaction Problems.
Ann. Math. Artif. Intell. 25(1-2): 35-67 (1999) |
1998 |
1 | | Carmel Domshlak,
D. Gershkovich,
Ehud Gudes,
N. Liusternik,
Amnon Meisels,
Tzachi Rosen,
Solomon Eyal Shimony:
FlexiMine - A Flexible Platform for KDD Research and Application Construction.
KDD 1998: 184-188 |