![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Mira Balaban Mira Balaban, David Boaz , Yuval Shahar : Analysis of Temporal Abstraction in Medical Databases. KRDB 2003 Mira Balaban, Steffen Jurk : Intentions of Operations - Characterization and Preservation. ER (Workshops) 2002 : 100-111 Peretz Shoval , Revital Danoch , Mira Balaban: Hierarchical ER Diagrams (HERD) - The Method and Experimental Evaluation. ER (Workshops) 2002 : 264-274 Mira Balaban, Steffen Jurk : Effect Preservation as a Means for Achieving Update Consistency. FQAS 2002 : 28-43 Mira Balaban: Structure and Interpretation of Music Concepts: Music from a Computational Perspective. ICMAI 2002 : 1-3 Steffen Jurk , Mira Balaban: Towards Effect Preservation of Updates with Loops. IICIS 2002 : 59-75 Mira Balaban, Nikolai Berezansky , Ehud Gudes : Answering Cooperative Recursive Queries in Web Federated Databases. NGITS 2002 : 14-28 Mira Balaban, Peretz Shoval : Enforcing Cardinality Constraints in the ER Model with Integrity Methods. Advanced Topics in Database Research, Vol. 1 2002 : 1-16 Mira Balaban, Eli Barzilay , Michael Elhadad : Abstraction as a means for end-user computing in creative applications. IEEE Transactions on Systems, Man, and Cybernetics, Part A 32 (6): 640-653 (2002) Mira Balaban, Peretz Shoval : MEERAn EER model enhanced with structure methods. Inf. Syst. 27 (4): 245-275 (2002) Steffen Jurk , Mira Balaban: Improving Integrity Constraint Enforcement by Extended Rules and Dependency Graphs. DEXA 2001 : 501-516 Mira Balaban, Adi Eyal : DFL - a dialog based integration of concept and rule reasoners. Data Knowl. Eng. 38 (3): 301-334 (2001) Mira Balaban, Adi Eyal : DFL - A Dialog Based Integration of Concept and Rule Reasoners. Description Logics 1999 Mira Balaban, Peretz Shoval : Resolving the "Weak Status" of Weak Entity Types in Entity-Relationships Schemas. ER 1999 : 369-383 Mira Balaban, Tzachi Rosen : STCSP - Structured Temporal Constraint satisfaction Problems. Ann. Math. Artif. Intell. 25 (1-2): 35-67 (1999) Mira Balaban, Peretz Shoval : Enhancing the ER Model with Integrity Methods Information Management Systems. J. Database Manag. 10 (4): 14-23 (1999) Mira Balaban, Adi Eyal : Experiments with the DFL Hybrid System. Description Logics 1997 Mira Balaban, Adi Eyal : DFL - A Hybrid Integration of Descriptions and Rules, Using F-Logic as an Underlying Semantics. NGITS 1997 : 0- Mira Balaban, Adi Eyal : DFL - A Hybrid Integration of Descriptions and Rules, using F-Logic as Underlying Semantics. KRDB 1996 Mira Balaban, Yoram Kornatzky : A Data Model for Processes Based on Relative Time. J. Intell. Inf. Syst. 7 (1): 29- (1996) Mira Balaban: The F-logic Approach for Description Languages. Ann. Math. Artif. Intell. 15 (1): 19-60 (1995) Mira Balaban: F-Logic as a Basis for a General Description Logic. Description Logics 1992 : 6-10 Mira Balaban, Neil V. Murray : The Logic of Time Structures: Temporal and Nonmonotonic Features. IJCAI 1989 : 1285-1290 Mira Balaban, Stefan Strack : LOGSTER - A Relational, Object-Oriented System for Knowledge Representation. ISMIS 1988 : 210-219 Mira Balaban: The TTS Language for Music Description. International Journal of Man-Machine Studies 28 (5): 505-523 (1988) Mira Balaban, Neil V. Murray : A First Order Calculus for Temporal Knowledge. ISMIS 1987 : 193-200 1 [ 18 ] 2 [ 20 ] 3 [ 26 ] 4 [ 24 ] 5 [ 18 ] 6 [ 8 ] [ 9 ] [ 10 ] [ 14 ] [ 15 ] 7 [ 20 ] 8 [ 16 ] [ 21 ] [ 23 ] [ 25 ] 9 [ 7 ] 10 [ 1 ] [ 4 ] 11 [ 12 ] 12 [ 26 ] 13 [ 11 ] [ 13 ] [ 17 ] [ 19 ] [ 24 ] 14 [ 3 ] ![]() ©2004 Association for Computing Machinery |