| |
 |      |
                                         |
Note: Links lead to the DBLP on the Web. Alexander Borgida 74 Alexander Borgida, Luciano Serafini : Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. CoopIS/DOA/ODBASE 2002 : 36-53 73 Alexander Borgida, Diego Calvanese , Laurence Cholvy , Marie-Christine Rousset : Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002. KRDB 2002 72 Alexander Borgida: Being Logical About Desert Island Reading. Automated Software Engineering 9 (2): 187-191 (2002) 71 Alexander Borgida: Diachronic Description Logics. Description Logics 2001 70 Ralf Küsters , Alexander Borgida: What's in an Attribute? Consequences for the Least Common Subsumer. JAIR 14 : 167-203 (2001) 69 Alexander Borgida, Ralf Küsters : What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases. Description Logics 2000 : 65-78 68 Alexander Borgida, Enrico Franconi , Ian Horrocks : Explaining ALC Subsumption. ECAI 2000 : 209-213 67 Takahiro Murata , Alexander Borgida: Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes. TSE 26 (10): 959-977 (2000) 66 Alexander Borgida, Enrico Franconi , Ian Horrocks , Deborah L. McGuinness , Peter F. Patel-Schneider : Explaining ALC Subsumption. Description Logics 1999 65 Patrick Lambrix , Alexander Borgida, Maurizio Lenzerini , Ralf Möller , Peter F. Patel-Schneider : Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999. Description Logics 1999 64 Alexander Borgida, Premkumar T. Devanbu : Adding more ``DL'' to IDL: Towards More Knowledgeable Component Inter-Operability. ICSE 1999 : 378-387 63 Alexander Borgida, Takahiro Murata : Tolerating exceptions in workflows: a unified framework for data and processes. WACC 1999 : 59-68 62 Ronald J. Brachman , Deborah L. McGuinness , Peter F. Patel-Schneider , Alexander Borgida: "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artificial Intelligence 114 (1-2): 203-237 (1999) 61 Alexander Borgida: Extensible Knowledge Representation: the Case of Description Reasoners. JAIR 10 : 399-434 (1999) 60 Franz Baader , Ralf Küsters , Alexander Borgida, Deborah L. McGuinness : Matching in Description Logics. Journal of Logic and Computation 9 (3): 411-447 (1999) 59 Franz Baader , Alexander Borgida, Deborah L. McGuinness : Matching in Description Logics: Preliminary Results. Description Logics 1998 58 Franz Baader , Alexander Borgida, Deborah L. McGuinness : Matching in Description Logics: Preliminary Results. ICCS 1998 : 15-34 57 Alexander Borgida, Vinay K. Chaudhri , Martin Staudt : Proceedings of the 5th INternational Workshop on Knowledge Represenation Meets Databases (KRDB '98): Innovative Application Programming and Query Interfaces, Seattle, Washington, USA, May 31, 1998. KR 1998 56 Alexander Borgida, Vinay K. Chaudhri , Martin Staudt : KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases. SIGMOD Record 27 (3): 10-15 (1998) 55 Alexander Borgida, Grant E. Weddell : Adding Uniqueness Constraints to Description Logics (Preliminary Report). DOOD 1997 : 85-102 54 John Mylopoulos , Alexander Borgida, Eric S. K. Yu : Representing Software Engineering Knowledge. Automated Software Engineering 4 (3): 291-317 (1997) 53 Alexander Borgida, Deborah L. McGuinness : Asking Queries about Frames. KR 1996 : 340-349 52 Alexander Borgida: On the Relative Expressiveness of Description Logics and Predicate Logics. Artificial Intelligence 82 (1-2): 353-367 (1996) 51 Deborah L. McGuinness , Alexander Borgida: Explaining Subsumption in Description Logics. IJCAI (1) 1995 : 816-821 50 Alexander Borgida: Description Logics in Data Management. TKDE 7 (5): 671-682 (1995) 49 Alexander Borgida, John Mylopoulos , Raymond Reiter : On the Frame Problem in Procedure Specifications. TSE 21 (10): 785-798 (1995) 48 Alexander Borgida: On The Relationship Between Description Logic and Predicate Logic. CIKM 1994 : 219-225 47 Sol J. Greenspan , John Mylopoulos , Alexander Borgida: On Formal Requirements Modeling Languages: RML Revisited. ICSE 1994 : 135-147 46 Alexander Borgida, Peter F. Patel-Schneider : A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. JAIR 1 : 277-308 (1994) 45 Alexander Borgida, John Mylopoulos , Raymond Reiter : "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE 1993 : 303-314 44 Alexander Borgida, Ronald J. Brachman : Loading Data into Description Reasoners. SIGMOD Conference 1993 : 217-226 43 William W. Cohen , Alexander Borgida, Haym Hirsh : Computing Least Common Subsumers in Description Logics. AAAI 1992 : 754-760 42 Ronald J. Brachman , Alexander Borgida, Deborah L. McGuinness , Peter F. Patel-Schneider , Lori Alperin Resnick : The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. FGCS 1992 : 1036-1043 41 Alexander Borgida, Premkumar T. Devanbu : Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems. IFIP Congress (3) 1992 : 171-181 40 Alexander Borgida: Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. KR 1992 : 259-269 39 Alexander Borgida, Matthias Jarke : Knowledge Representation and Reasoning in Software Engineering. TSE 18 (6): 449-450 (1992) 38 Peter F. Patel-Schneider , Deborah L. McGuinness , Alexander Borgida: The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bulletin 2 (3): 108-113 (1991) 37 Alexander Borgida: Knowledge Representation, Semantic Data Modelling: What's the Difference? ER 1990 : 1 36 John Mylopoulos , Alexander Borgida, Matthias Jarke , Manolis Koubarakis : Telos: Representing Knowledge About Information Systems. TOIS 8 (4): 325-362 (1990) 35 Alexander Borgida, John Mylopoulos , Joachim W. Schmidt , Ingrid Wetzel : Support for Data-Intensive Applications: Conceptual Design and Software Development. DBPL 1989 : 258-280 34 David W. Etherington , Alexander Borgida, Ronald J. Brachman , Henry A. Kautz : Vivid Knowledge and Tractable Reasoning. IJCAI 1989 : 1146-1152 33 Alexander Borgida, David W. Etherington : Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. KR 1989 : 33-43 32 Alexander Borgida: Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS 1989 : 394-400 31 Rakesh Agrawal , Alexander Borgida, H. V. Jagadish : Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. SIGMOD Conference 1989 : 253-262 30 Alexander Borgida, Ronald J. Brachman , Deborah L. McGuinness , Lori Alperin Resnick : CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989 : 58-67 29 Joachim W. Schmidt , Ingrid Wetzel , Alexander Borgida, John Mylopoulos : Database Programming by Formal Refinement of Conceptual Designs. Data Engineering Bulletin 12 (3): 53-61 (1989) 28 Matthew Morgenstern , Alexander Borgida, Catherine Lassez , David Maier , Gio Wiederhold : Constraint-Based Systems: Knowledge About Data - Panel Report. Expert Database Conf. 1988 : 23-43 27 Alexander Borgida: Modeling Class Hierarchies with Contradictions. SIGMOD Conference 1988 : 434-443 26 Brian A. Nixon , Lawrence Chung , David Lauzon , Alexander Borgida, John Mylopoulos , Martin Stanley : Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference 1987 : 118-131 25 Sol J. Greenspan , Alexander Borgida, John Mylopoulos : A requirements modeling language and its logic. IS 11 (1): 9-23 (1986) 24 Alexander Borgida: Class Hierarchies in Information Systems: Sets, Types, or Prototypes? Data Types and Persistence (Appin) 1985 : 137-154 23 Alexander Borgida: Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper. Data Types and Persistence (Appin), Informal Proceedings 1985 : 265-271 22 Brian A. Nixon , Lawrence Chung , David Lauzon , Alexander Borgida, John Mylopoulos , Martin Stanley : Design of a Compiler for a Semantic Data Model. Foundations of Knowledge Base Management (Xania) 1985 : 293-343 21 Alexander Borgida, Matthias Jarke , John Mylopoulos , Joachim W. Schmidt , Yannis Vassiliou : The Software Development Environment as a Knowledge Base Management System. Foundations of Knowledge Base Management (Xania) 1985 : 411-442 20 Alexander Borgida, Tom M. Mitchell , Keith E. Williamson : Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases. On Knowledge Base Management Systems (Islamorada) 1985 : 259-286 19 Alexander Borgida: Conceptual Modeling of Information Systems. On Knowledge Base Management Systems (Islamorada) 1985 : 461-469 18 Sol J. Greenspan , Alexander Borgida, John Mylopoulos : A Requirements Modeling Language and Its Logic. On Knowledge Base Management Systems (Islamorada) 1985 : 471-502 17 Alexander Borgida: Languages and The Engineering of Large Knowledge Bases. On Knowledge Base Management Systems (Islamorada) 1985 : 503-505 16 Alexander Borgida, Keith E. Williamson : Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. VLDB 1985 : 72-81 15 Alexander Borgida, Sol J. Greenspan , John Mylopoulos : Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). Wissensbasierte Systeme 1985 : 152-169 14 Alexander Borgida, Sol J. Greenspan , John Mylopoulos : Knowledge Representation as the Basis for Requirements Specifications. IEEE Computer 18 (4): 82-91 (1985) 13 Alexander Borgida: Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software 2 (1): 63-72 (1985) 12 Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. TODS 10 (4): 565-603 (1985) 11 Alexander Borgida, Tomasz Imielinski : Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity. NMR 1984 : 21-32 10 Naftaly H. Minsky , Alexander Borgida: The Darwin Software-Developemnt-Environemnt for Evolving Systems. Software Development Environments (SDE) 1984 : 89-95 9 John Mylopoulos , Alexander Borgida, Sol J. Greenspan , Harry K. T. Wong : Information System Design at the Conceptual Level - The Taxis Project. Database Engineering Bulletin 7 (4): 4-9 (1984) 8 Alexander Borgida: Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics. Mathematical Systems Theory 16 (1): 29-56 (1983) 7 Sol J. Greenspan , John Mylopoulos , Alexander Borgida: Capturing More World Knowledge in the Requirements Specification. ICSE 1982 : 225-235 6 Alexander Borgida, John Mylopoulos , Harry K. T. Wong : Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) 1982 : 87-117 5 Alexander Borgida, Harry K. T. Wong : Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. VLDB 1981 : 260-271 4 John Miles Smith , Charles Rich , Jonathan J. King , Peter Hitchcock , Alexander Borgida, Jaime G. Carbonell : Consistency of Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling 1980 : 72-76 3 Alexander Borgida, Sol J. Greenspan : Data and Activities: Exploiting Hierarchies of Classes. Workshop on Data Abstraction, Databases and Conceptual Modelling 1980 : 98-100 2 John Mylopoulos , Alexander Borgida, P. Cohen , Nick Roussopoulos , John K. Tsotsos , Harry K. T. Wong : TORUS: a step towards bridging the gap between data bases and the casual user. IS 2 (2): 49-64 (1976) 1 John Mylopoulos , P. Cohen , Alexander Borgida, L. Sugar : Semantic Networks and the Generation of Context. IJCAI 1975 : 134-142  DiSC'03 © 2003 Association for Computing Machinery |
