Alexander Borgida

178 papers A* 22A 20B 3C 3Misc 4Journal 42Unranked 67

Year	Rank	Type	Title / Venue / Authors
2024	A	`conf`	Modeling and Reasoning About Explanation Requirements Using Goal Models. ER Sotirios Liaskos, John Mylopoulos, Alexander Borgida, Shakil M. Khan
2023	J	`jnl`	Episodic Memory Integration of Personal Data in YourDigitalSelf. IEEE Data Eng. Bull. Varvara Kalokyri, Alexander Borgida, Amélie Marian
2023	B	`conf`	One of Us: a Multiplayer Web-based Game for Digital Evidence Acquisition of Scripts through Crowdsourcing. CHIIR Varvara Kalokyri, Alexander Borgida, Amélie Marian
2023	—	`conf`	Path Description Dependencies in Feature-Based DLs. Description Logics Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
2022	—	`conf`	Accessing Document Data Sources using Referring Expression Types. Description Logics Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell
2022	J	`jnl`	CaRE: a refinement calculus for requirements engineering based on argumentation theory. Softw. Syst. Model. Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2022	A	`conf`	Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. ICWSM Varvara Kalokyri, Alexander Borgida, Amélie Marian
2022	Misc	`conf`	Understanding Document Data Sources Using Ontologies with Referring Expressions. AI Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell
2021	J	`jnl`	A retrospective on Telos as a metamodeling language for requirements engineering. Requir. Eng. Manolis Koubarakis, Alexander Borgida, Panos Constantopoulos, Martin Doerr, Matthias Jarke, Manfred A. Jeusfeld, John Mylopoulos, Dimitris Plexousakis
2020	A	`conf`	A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. ER Yehia Elrakaiby, Alexander Borgida, Alessio Ferrari, John Mylopoulos
2020	J	`jnl`	Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. CoRR Varvara Kalokyri, Alexander Borgida, Amélie Marian
2019	—	`conf`	Description Logics and Specialization for Structured BPMN. Business Process Management Workshops Alexander Borgida, Varvara Kalokyri, Amélie Marian
2019	—	`conf`	Initial Steps Towards a Family of Regular-Like Plan Description Logics. Description Logic, Theory Combination, and All That Alexander Borgida
2019	A*	`conf`	On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. AAAI Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2019	—	`conf`	On Special Description Logics for Processes and Plans. Description Logics Alexander Borgida, David Toman, Grant E. Weddell
2019	J	`jnl`	Searching Heterogeneous Personal Digital Traces. CoRR Daniela Vianna, Varvara Kalokyri, Alexander Borgida, Thu D. Nguyen, Amélie Marian
2019	—	`conf`	Searching heterogeneous personal digital traces. ASIST Daniela Vianna, Varvara Kalokyri, Alexander Borgida, Amélie Marian, Thu D. Nguyen
2018	—	`ch.`	Conceptual Schema Design. Encyclopedia of Database Systems (2nd ed.) Alexander Borgida, John Mylopoulos
2018	—	`ch.`	Description Logics. Encyclopedia of Database Systems (2nd ed.) Alexander Borgida
2018	—	`ch.`	Logical Database Design: From Conceptual to Logical Schema. Encyclopedia of Database Systems (2nd ed.) Alexander Borgida, Marco A. Casanova, Alberto H. F. Laender
2018	A*	`conf`	On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. KR Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2018	A	`conf`	YourDigitalSelf: A Personal Digital Trace Integration Tool. CIKM Varvara Kalokyri, Alexander Borgida, Amélie Marian
2017	A*	`conf`	Concerning Referring Expressions in Query Answers. IJCAI Alexander Borgida, David Toman, Grant E. Weddell
2017	—	`conf`	Integration and Exploration of Connected Personal Digital Traces. ExploreDB@SIGMOD/PODS Varvara Kalokyri, Alexander Borgida, Amélie Marian, Daniela Vianna
2017	—	`conf`	Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces - (Short Paper). OTM Conferences (2) Varvara Kalokyri, Alexander Borgida, Amélie Marian, Daniela Vianna
2016	J	`jnl`	Desiree: a Refinement Calculus for Requirements Problems. CoRR Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, Lin Liu, John Mylopoulos
2016	A	`conf`	Engineering Requirements with Desiree: An Empirical Evaluation. CAiSE Feng-Lin Li, Jennifer Horkoff, Lin Liu, Alexander Borgida, Giancarlo Guizzardi, John Mylopoulos
2016	A	`conf`	On Referring Expressions in Information Systems Derived from Conceptual Modelling. ER Alexander Borgida, David Toman, Grant E. Weddell
2016	A*	`conf`	On Referring Expressions in Query Answering over First Order Knowledge Bases. KR Alexander Borgida, David Toman, Grant E. Weddell
2015	—	`conf`	Challenges for Semantic Technologies in Distributed Mobile Environments. MoDeST@ISWC Evan W. Patton, Alexander Borgida
2015	B	`conf`	From Stakeholder Requirements to Formal Specifications Through Refinement. REFSQ Feng-Lin Li, Jennifer Horkoff, Alexander Borgida, Giancarlo Guizzardi, Lin Liu, John Mylopoulos
2015	—	`conf`	Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. Description Logics Alexander Borgida, David Toman, Grant E. Weddell
2015	A	`conf`	Towards a general formal framework of Coherence Management in RE. RE Alexander Borgida, Ivan Jureta, Anna Zamansky
2014	J	`jnl`	Agile requirements engineering via paraconsistent reasoning. Inf. Syst. Neil A. Ernst, Alexander Borgida, Ivan Jureta, John Mylopoulos
2014	C	`conf`	An Ontological Interpretation of Non-Functional Requirements. FOIS Renata S. S. Guizzardi, Feng-Lin Li, Alexander Borgida, Giancarlo Guizzardi, Jennifer Horkoff, John Mylopoulos
2014	—	`ch.`	An Overview of Requirements Evolution. Evolving Software Systems Neil A. Ernst, Alexander Borgida, Ivan Jureta, John Mylopoulos
2014	—	`conf`	Applying knowledge representation and reasoning to (simple) goal models. AIRE Alexander Borgida, Jennifer Horkoff, John Mylopoulos
2014	A	`conf`	Non-functional requirements as qualities, with a spice of ontology. RE Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Renata S. S. Guizzardi, Giancarlo Guizzardi, Alexander Borgida, Lin Liu
2014	J	`jnl`	Strategic business modeling: representation and reasoning. Softw. Syst. Model. Jennifer Horkoff, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot, Alexander Borgida, John Mylopoulos
2014	J	`jnl`	The Requirements Problem for Adaptive Systems. ACM Trans. Manag. Inf. Syst. Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos
2013	—	`conf`	Non-Functional Requirements Revisited. iStar Feng-Lin Li, Jennifer Horkoff, John Mylopoulos, Lin Liu, Alexander Borgida
2013	C	`conf`	Requirements models for design- and runtime: a position paper. MiSE Alexander Borgida, Fabiano Dalpiaz, Jennifer Horkoff, John Mylopoulos
2013	B	`conf`	Runtime goal models: Keynote. RCIS Fabiano Dalpiaz, Alexander Borgida, Jennifer Horkoff, John Mylopoulos
2012	—	`conf`	A Formal Semantics for Weighted Ontology Mappings. ISWC (1) Manuel Atencia, Alexander Borgida, Jérôme Euzenat, Chiara Ghidini, Luciano Serafini
2012	A	`conf`	Agile Requirements Evolution via Paraconsistent Reasoning. CAiSE Neil A. Ernst, Alexander Borgida, John Mylopoulos, Ivan Jureta
2012	—	`conf`	Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. Description Logics Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati
2012	J	`jnl`	Learning web-service task descriptions from traces. Web Intell. Agent Syst. Thomas J. Walsh, Michael L. Littman, Alexander Borgida
2012	—	`conf`	Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics. OTM Conferences (2) Jennifer Horkoff, Alexander Borgida, John Mylopoulos, Daniele Barone, Lei Jiang, Eric S. K. Yu, Daniel Amyot
2011	J	`jnl`	Extensible Knowledge Representation: the Case of Description Reasoners CoRR Alexander Borgida
2011	A	`conf`	Finding incremental solutions for evolving requirements. RE Neil A. Ernst, Alexander Borgida, Ivan Jureta
2011	J	`jnl`	Mixed-Variable Requirements Roadmaps and their Role in the Requirements Engineering of Adaptive Systems CoRR Ivan Jureta, Alexander Borgida, Neil A. Ernst
2011	—	`conf`	Requirements evolution drives software evolution. EVOL/IWPSE Neil A. Ernst, Alexander Borgida, John Mylopoulos
2011	J	`jnl`	What's in an Attribute? Consequences for the Least Common Subsumer CoRR Alexander Borgida, Ralf Küsters
2010	—	`conf`	On Finding Query Rewritings under Expressive Constraints. SEBD Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell
2010	A	`conf`	Reasoning with Optional and Preferred Requirements. ER Neil A. Ernst, John Mylopoulos, Alexander Borgida, Ivan Jureta
2010	A	`conf`	Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. RE Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos
2009	—	`conf`	"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Conceptual Modeling: Foundations and Applications Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider
2009	—	`ed.`	Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos Conceptual Modeling: Foundations and Applications Alexander Borgida, Vinay K. Chaudhri, Paolo Giorgini, Eric S. K. Yu
2009	—	`ch.`	Conceptual Schema Design. Encyclopedia of Database Systems Alexander Borgida, John Mylopoulos
2009	—	`ch.`	Description Logics. Encyclopedia of Database Systems Alexander Borgida
2009	—	`ch.`	Logical Database Design: from Conceptual to Logical Schema. Encyclopedia of Database Systems Alexander Borgida, Marco A. Casanova, Alberto H. F. Laender
2009	A	`conf`	Measuring and Comparing Effectiveness of Data Quality Techniques. CAiSE Lei Jiang, Daniele Barone, Alexander Borgida, John Mylopoulos
2009	—	`ch.`	On Importing Knowledge from Ontologies.. Modular Ontologies Alexander Borgida
2008	J	`jnl`	Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies. J. Comput. Sci. Eng. Yuan An, Alexander Borgida, John Mylopoulos
2008	—	`conf`	Explanation in DL-Lite. Description Logics Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro
2008	—	`conf`	Explanation in the DL-LiteFamily of Description Logics. OTM Conferences (2) Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro
2008	A	`conf`	Towards a Compositional Semantic Account of Data Quality Attributes. ER Lei Jiang, Alexander Borgida, John Mylopoulos
2007	A*	`conf`	A Semantic Approach to Discovering Schema Mapping Expressions. ICDE Yuan An, Alexander Borgida, Renée J. Miller, John Mylopoulos
2007	—	`conf`	Data Quality By Design: A Goal-Oriented Approach. ICIQ Lei Jiang, Alexander Borgida, Thodoros Topaloglou, John Mylopoulos
2007	A	`conf`	Goal-Oriented Conceptual Database Design. RE Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos
2007	J	`jnl`	How knowledge representation meets software engineering (and often databases). Autom. Softw. Eng. Alexander Borgida
2007	—	`conf`	Importing from Functional Knowledge Bases - A Preview. WoMO Alexander Borgida, Fausto Giunchiglia
2007	—	`conf`	Knowledge Representation Meets Databases - a View of the Symbiosys. Description Logics Alexander Borgida
2007	—	`conf`	On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. Description Logics Alexander Borgida
2006	A*	`conf`	Building Semantic Mappings from Databases to Ontologies. AAAI Yuan An, John Mylopoulos, Alexander Borgida
2006	J	`jnl`	Discovering the Semantics of Relational Tables Through Mappings. J. Data Semant. Yuan An, Alexander Borgida, John Mylopoulos
2006	A	`conf`	Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. RE Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos
2006	—	`conf`	Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. SEBD Lei Jiang, Thodoros Topaloglou, Alexander Borgida, John Mylopoulos
2006	—	`ch.`	Properties of Information Modeling Techniques for Information Systems Engineering. Handbook on Architectures of Information Systems John Mylopoulos, Alexander Borgida
2005	A*	`conf`	Aspects of Distributed and Modular Ontology Reasoning. IJCAI Luciano Serafini, Alexander Borgida, Andrei Tamilin
2005	Misc	`conf`	Constructing Complex Semantic Mappings Between XML Data and Ontologies. ISWC Yuan An, Alexander Borgida, John Mylopoulos
2005	C	`conf`	Databases and the Semantic Web: Data Semantics Revisited. APWeb Alexander Borgida, John Mylopoulos
2005	—	`conf`	Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences. OTM Conferences (2) Yuan An, Alexander Borgida, John Mylopoulos
2005	—	`conf`	Towards Measuring Similarity in Description Logics. Description Logics Alexander Borgida, Thomas J. Walsh, Haym Hirsh
2004	—	`conf`	Data Semantics Revisited. SWDB Alexander Borgida, John Mylopoulos
2004	—	`conf`	Refining Semantic Mappings from Relational Tables to Ontologies. SWDB Yuan An, Alexander Borgida, John Mylopoulos
2003	—	`ch.`	Conceptual Modeling with Description Logics. Description Logic Handbook Alexander Borgida, Ronald J. Brachman
2003	—	`ch.`	Description Logics for Databases. Description Logic Handbook Alexander Borgida, Maurizio Lenzerini, Riccardo Rosati
2003	J	`jnl`	Distributed Description Logics: Assimilating Information from Peer Sources. J. Data Semant. Alexander Borgida, Luciano Serafini
2003	Misc	`conf`	Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?"). ISWC Vipul Kashyap, Alexander Borgida
2002	J	`jnl`	Being Logical About Desert Island Reading. Autom. Softw. Eng. Alexander Borgida
2002	—	`conf`	Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. OTM Alexander Borgida, Luciano Serafini
2002	—	`conf`	Distributed Description Logics: First results. Description Logics Alexander Borgida, Luciano Serafini
2002	—	`ed.`	Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002 Alexander Borgida, Diego Calvanese, Laurence Cholvy, Marie-Christine Rousset
2001	—	`conf`	Diachronic Description Logics. Description Logics Alexander Borgida
2001	J	`jnl`	What's in an Attribute? Consequences for the Least Common Subsumer. J. Artif. Intell. Res. Ralf Küsters, Alexander Borgida
2000	A	`conf`	Explaining ALC Subsumption. ECAI Alexander Borgida, Enrico Franconi, Ian Horrocks
2000	J	`jnl`	Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes. IEEE Trans. Software Eng. Takahiro Murata, Alexander Borgida
2000	—	`conf`	Lightweight Semantics For Shared Object-oriented Software. LMO Alexander Borgida
2000	—	`conf`	What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases. Description Logics Alexander Borgida, Ralf Küsters
1999	J	`jnl`	"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. Artif. Intell. Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Alexander Borgida
1999	A*	`conf`	Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability. ICSE Alexander Borgida, Premkumar T. Devanbu
1999	—	`conf`	Explaining ALC Subsumption. Description Logics Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider
1999	J	`jnl`	Extensible Knowledge Representation: the Case of Description Reasoners. J. Artif. Intell. Res. Alexander Borgida
1999	J	`jnl`	Matching in Description Logics. J. Log. Comput. Franz Baader, Ralf Küsters, Alexander Borgida, Deborah L. McGuinness
1999	—	`ed.`	Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 Description Logics Patrick Lambrix, Alexander Borgida, Maurizio Lenzerini, Ralf Möller, Peter F. Patel-Schneider
1999	—	`conf`	Tolerating exceptions in workflows: a unified framework for data and processes. WACC Alexander Borgida, Takahiro Murata
1998	J	`jnl`	KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases. SIGMOD Rec. Alexander Borgida, Vinay K. Chaudhri, Martin Staudt
1998	—	`conf`	Matching in Description Logics: Preliminary Results. Description Logics Franz Baader, Alexander Borgida, Deborah L. McGuinness
1998	Misc	`conf`	Matching in Description Logics: Preliminary Results. ICCS Franz Baader, Alexander Borgida, Deborah L. McGuinness
1998	—	`ed.`	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 Alexander Borgida, Vinay K. Chaudhri, Martin Staudt
1997	—	`conf`	Adding Uniqueness Constraints to Description Logics (Preliminary Report). DOOD Alexander Borgida, Grant E. Weddell
1997	—	`conf`	Incremental Individual Reasoning in ProtoDL. Description Logics Alexander Borgida
1997	J	`jnl`	Representing Software Engineering Knowledge. Autom. Softw. Eng. John Mylopoulos, Alexander Borgida, Eric S. K. Yu
1996	—	`conf`	Asking Queries about Frames. Description Logics Alexander Borgida, Deborah L. McGuinness
1996	A*	`conf`	Asking Queries about Frames. KR Alexander Borgida, Deborah L. McGuinness
1996	J	`jnl`	On the Relative Expressiveness of Description Logics and Predicate Logics. Artif. Intell. Alexander Borgida
1996	—	`conf`	Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. Description Logics Alexander Borgida, Charles L. Isbell Jr., Deborah L. McGuinness
1995	J	`jnl`	Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. Alexander Borgida
1995	A*	`conf`	Explaining Subsumption in Description Logics. IJCAI (1) Deborah L. McGuinness, Alexander Borgida
1995	J	`jnl`	On the Frame Problem in Procedure Specifications. IEEE Trans. Software Eng. Alexander Borgida, John Mylopoulos, Raymond Reiter
1994	J	`jnl`	A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. CoRR Alexander Borgida, Peter F. Patel-Schneider
1994	J	`jnl`	A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. J. Artif. Intell. Res. Alexander Borgida, Peter F. Patel-Schneider
1994	A*	`conf`	On Formal Requirements Modeling Languages: RML Revisited. ICSE Sol J. Greenspan, John Mylopoulos, Alexander Borgida
1994	A	`conf`	On The Relationship Between Description Logic and Predicate Logic. CIKM Alexander Borgida
1993	A*	`conf`	"...And Nothing Else Changes": The Frame Problem in Procedure Specifications. ICSE Alexander Borgida, John Mylopoulos, Raymond Reiter
1993	—	`conf`	Loading Data into Description Reasoners. SIGMOD Conference Alexander Borgida, Ronald J. Brachman
1992	A*	`conf`	Computing Least Common Subsumers in Description Logics. AAAI William W. Cohen, Alexander Borgida, Haym Hirsh
1992	J	`jnl`	From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics. Int. J. Cooperative Inf. Syst. Alexander Borgida
1992	—	`conf`	Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems. IFIP Congress (3) Alexander Borgida, Premkumar T. Devanbu
1992	J	`jnl`	Knowledge Representation and Reasoning in Software Engineering. IEEE Trans. Software Eng. Alexander Borgida, Matthias Jarke
1992	—	`conf`	Structural Subsumption: What Is It and Why Is It Important? Description Logics Alexander Borgida
1992	—	`conf`	The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. FGCS Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick
1992	A*	`conf`	Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. KR Alexander Borgida
1991	—	`ch.`	Living wiht Classic: When and How to Use a KL-ONE-Like Language. Principles of Semantic Networks Ronald J. Brachman, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick, Alexander Borgida
1991	J	`jnl`	The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. SIGART Bull. Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida
1990	A	`conf`	Knowledge Representation, Semantic Data Modelling: What's the Difference? ER Alexander Borgida
1990	J	`jnl`	Telos: Representing Knowledge About Information Systems. ACM Trans. Inf. Syst. John Mylopoulos, Alexander Borgida, Matthias Jarke, Manolis Koubarakis
1989	—	`conf`	CLASSIC: A Structural Data Model for Objects. SIGMOD Conference Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick
1989	J	`jnl`	Database Programming by Formal Refinement of Conceptual Designs. IEEE Data Eng. Bull. Joachim W. Schmidt, Ingrid Wetzel, Alexander Borgida, John Mylopoulos
1989	—	`conf`	Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. SIGMOD Conference Rakesh Agrawal, Alexander Borgida, H. V. Jagadish
1989	A*	`conf`	Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. KR Alexander Borgida, David W. Etherington
1989	—	`conf`	Support for Data-Intensive Applications: Conceptual Design and Software Development. DBPL Alexander Borgida, John Mylopoulos, Joachim W. Schmidt, Ingrid Wetzel
1989	A*	`conf`	Type Systems for Querying Class Hierarchies with Non-strict Inheritance. PODS Alexander Borgida
1989	A*	`conf`	Vivid Knowledge and Tractable Reasoning. IJCAI David W. Etherington, Alexander Borgida, Ronald J. Brachman, Henry A. Kautz
1988	—	`conf`	Constraint-Based Systems: Knowledge About Data - Panel Report. Expert Database Conf. Matthew Morgenstern, Alexander Borgida, Catherine Lassez, David Maier, Gio Wiederhold
1988	—	`conf`	Modeling Class Hierarchies with Contradictions. SIGMOD Conference Alexander Borgida
1987	—	`conf`	Exceptions dans les bases de données. BDA Alexander Borgida
1987	—	`conf`	Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. SIGMOD Conference Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley
1986	J	`jnl`	A requirements modeling language and its logic. Inf. Syst. Sol J. Greenspan, Alexander Borgida, John Mylopoulos
1986	—	`conf`	Can entity-based information systems live with exceptions? (abstract only). OOPWORK Alexander Borgida
1986	—	`conf`	Exceptions in object-oriented languages. OOPWORK Alexander Borgida
1985	—	`conf`	A Requirements Modeling Language and Its Logic. On Knowledge Base Management Systems (Islamorada) Sol J. Greenspan, Alexander Borgida, John Mylopoulos
1985	A*	`conf`	Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. VLDB Alexander Borgida, Keith E. Williamson
1985	—	`conf`	Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper Data Types and Persistence (Appin), Informal Proceedings Alexander Borgida
1985	—	`conf`	Class Hierarchies in Information Systems: Sets, Types, or Prototypes? Data Types and Persistence (Appin) Alexander Borgida
1985	—	`conf`	Conceptual Modeling of Information Systems. On Knowledge Base Management Systems (Islamorada) Alexander Borgida
1985	—	`conf`	Design of a Compiler for a Semantic Data Model. Foundations of Knowledge Base Management (Xania) Brian A. Nixon, Lawrence Chung, David Lauzon, Alexander Borgida, John Mylopoulos, Martin Stanley
1985	J	`jnl`	Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Softw. Alexander Borgida
1985	—	`conf`	Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). Wissensbasierte Systeme Alexander Borgida, Sol J. Greenspan, John Mylopoulos
1985	J	`jnl`	Knowledge Representation as the Basis for Requirements Specifications. Computer Alexander Borgida, Sol J. Greenspan, John Mylopoulos
1985	J	`jnl`	Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. Alexander Borgida
1985	—	`conf`	Languages and The Engineering of Large Knowledge Bases. On Knowledge Base Management Systems (Islamorada) Alexander Borgida
1985	—	`conf`	Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases. On Knowledge Base Management Systems (Islamorada) Alexander Borgida, Tom M. Mitchell, Keith E. Williamson
1985	—	`conf`	The Software Development Environment as a Knowledge Base Management System. Foundations of Knowledge Base Management (Xania) Alexander Borgida, Matthias Jarke, John Mylopoulos, Joachim W. Schmidt, Yannis Vassiliou
1984	—	`conf`	Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity. NMR Alexander Borgida, Tomasz Imielinski
1984	J	`jnl`	Information System Design at the Conceptual Level - The Taxis Project. IEEE Database Eng. Bull. John Mylopoulos, Alexander Borgida, Sol J. Greenspan, Harry K. T. Wong
1984	—	`conf`	The Darwin Software-Developemnt-Environemnt for Evolving Systems. Software Development Environments (SDE) Naftaly H. Minsky, Alexander Borgida
1983	J	`jnl`	Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics. Math. Syst. Theory Alexander Borgida
1982	A*	`conf`	Capturing More World Knowledge in the Requirements Specification. ICSE Sol J. Greenspan, John Mylopoulos, Alexander Borgida
1982	A	`conf`	Generalization/Specialization as a Basis for Software Specification. On Conceptual Modelling (Intervale) Alexander Borgida, John Mylopoulos, Harry K. T. Wong
1981	A*	`conf`	Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory VLDB Alexander Borgida, Harry K. T. Wong
1981	A*	`conf`	On the Definition of Specialization Hierarchies for Procedures. IJCAI Alexander Borgida
1980	—	`conf`	Consistency of Models (discussion). Workshop on Data Abstraction, Databases and Conceptual Modelling John Miles Smith, Charles Rich, Jonathan J. King, Peter Hitchcock, Alexander Borgida, Jaime G. Carbonell
1980	—	`conf`	Data and Activities: Exploiting Hierarchies of Classes. Workshop on Data Abstraction, Databases and Conceptual Modelling Alexander Borgida, Sol J. Greenspan
1977	—	`—`	Formal studies of stratificational grammars. Alexander Borgida
1976	J	`jnl`	TORUS: a step towards bridging the gap between data bases and the casual user. Inf. Syst. John Mylopoulos, Alexander Borgida, Phil Cohen, Nick Roussopoulos, John K. Tsotsos, Harry K. T. Wong
1975	A*	`conf`	Semantic Networks and the Generation of Context. IJCAI John Mylopoulos, Philip R. Cohen, Alexander Borgida, Laszlo Sugar