Alexander Borgida

Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, 2023

2022

CaRE: a refinement calculus for requirements engineering based on argumentation theory.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2022

Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International AAAI Conference on Web and Social Media, 2022

Accessing Document Data Sources using Referring Expression Types.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Understanding Document Data Sources Using Ontologies with Referring Expressions.

[BibT_eX]

[DOI]

Proceedings of the AI 2022: Advances in Artificial Intelligence, 2022

2021

A retrospective on Telos as a metamodeling language for requirements engineering.

[BibT_eX]

[DOI]

Manolis Koubarakis

Panos Constantopoulos

Requir. Eng., 2021

2020

CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool).

[BibT_eX]

[DOI]

Dataset, October, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

[BibT_eX]

[DOI]

Dataset, May, 2020

A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material.

[BibT_eX]

[DOI]

Dataset, May, 2020

A Refinement Calculus for Requirements Engineering Based on Argumentation Theory.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 39th International Conference, 2020

2019

On Special Description Logics for Processes and Plans.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Description Logics and Specialization for Structured BPMN.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2019

Initial Steps Towards a Family of Regular-Like Plan Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Searching heterogeneous personal digital traces.

[BibT_eX]

[DOI]

Proceedings of the Information... Anyone, Anywhere, Any Time, Any Way, 2019

On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Conceptual Schema Design.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Logical Database Design: From Conceptual to Logical Schema.

[BibT_eX]

[DOI]

Marco A. Casanova

Alberto H. F. Laender

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

YourDigitalSelf: A Personal Digital Trace Integration Tool.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Information and Knowledge Management, 2018

2017

Integration and Exploration of Connected Personal Digital Traces.

[BibT_eX]

[DOI]

Proceedings of the ExploreDB'17, Chicago, IL, USA, May 19, 2017, 2017

Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces - (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Concerning Referring Expressions in Query Answers.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Desiree: a Refinement Calculus for Requirements Problems.

[BibT_eX]

[DOI]

CoRR, 2016

On Referring Expressions in Query Answering over First Order Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

On Referring Expressions in Information Systems Derived from Conceptual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Engineering Requirements with Desiree: An Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2016

2015

Challenges for Semantic Technologies in Distributed Mobile Environments.

[BibT_eX]

[DOI]

Evan W. Patton

Proceedings of the 1st International Workshop on Mobile Deployment of Semantic Technologies (MoDeST 2015) co-located with 14th International Semantic Web Conference (ISWC 2015), 2015

From Stakeholder Requirements to Formal Specifications Through Refinement.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2015

Towards a general formal framework of Coherence Management in RE.

[BibT_eX]

[DOI]

Ivan Jureta

Anna Zamansky

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

The Requirements Problem for Adaptive Systems.

[BibT_eX]

[DOI]

ACM Trans. Manag. Inf. Syst., 2014

Strategic business modeling: representation and reasoning.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Agile requirements engineering via paraconsistent reasoning.

[BibT_eX]

[DOI]

Inf. Syst., 2014

Non-functional requirements as qualities, with a spice of ontology.

[BibT_eX]

[DOI]

Feng-Lin Li

Jennifer Horkoff

Renata S. S. Guizzardi

Giancarlo Guizzardi

Lin Liu

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Applying knowledge representation and reasoning to (simple) goal models.

[BibT_eX]

[DOI]

Jennifer Horkoff

Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014

An Ontological Interpretation of Non-Functional Requirements.

[BibT_eX]

[DOI]

Renata S. S. Guizzardi

Proceedings of the Formal Ontology in Information Systems, 2014

An Overview of Requirements Evolution.

[BibT_eX]

[DOI]

Proceedings of the Evolving Software Systems, 2014

2013

Runtime goal models: Keynote.

[BibT_eX]

[DOI]

Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

Non-Functional Requirements Revisited.

[BibT_eX]

[DOI]

Proceedings of the 6th International <i>i*</i> Workshop 2013, 2013

Requirements models for design- and runtime: a position paper.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Modeling in Software Engineering, 2013

2012

Learning web-service task descriptions from traces.

[BibT_eX]

[DOI]

Thomas J. Walsh

Michael L. Littman

Web Intell. Agent Syst., 2012

A Formal Semantics for Weighted Ontology Mappings.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

Agile Requirements Evolution via Paraconsistent Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2012

2011

Mixed-Variable Requirements Roadmaps and their Role in the Requirements Engineering of Adaptive Systems

[BibT_eX]

[DOI]

Ivan Jureta

Neil A. Ernst

CoRR, 2011

Finding incremental solutions for evolving requirements.

[BibT_eX]

[DOI]

Neil A. Ernst

Ivan Jureta

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

Requirements evolution drives software evolution.

[BibT_eX]

[DOI]

Neil A. Ernst

Proceedings of the 12th International Workshop on Principles of Software Evolution and the 7th annual ERCIM Workshop on Software Evolution, 2011

2010

On Finding Query Rewritings under Expressive Constraints.

[BibT_eX]

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Reasoning with Optional and Preferred Requirements.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

2009

On Importing Knowledge from Ontologies..

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies: Concepts, 2009

Conceptual Schema Design.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Logical Database Design: from Conceptual to Logical Schema.

[BibT_eX]

[DOI]

Marco A. Casanova

Alberto H. F. Laender

Proceedings of the Encyclopedia of Database Systems, 2009

Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Measuring and Comparing Effectiveness of Data Quality Techniques.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008

Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies.

[BibT_eX]

[DOI]

J. Comput. Sci. Eng., 2008

Explanation in the DL-LiteFamily of Description Logics.

[BibT_eX]

[DOI]

Diego Calvanese

Mariano Rodriguez-Muro

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2008, 2008

Towards a Compositional Semantic Account of Data Quality Attributes.

[BibT_eX]

[DOI]

Lei Jiang

Proceedings of the Conceptual Modeling, 2008

Explanation in DL-Lite.

[BibT_eX]

[DOI]

Diego Calvanese

Mariano Rodriguez-Muro

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

How knowledge representation meets software engineering (and often databases).

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2007

Goal-Oriented Conceptual Database Design.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Requirements Engineering Conference, 2007

Importing from Functional Knowledge Bases - A Preview.

[BibT_eX]

[DOI]

Fausto Giunchiglia

Proceedings of the 2nd International Workshop on Modular Ontologies, WoMO 2007, 2007

Data Quality By Design: A Goal-Oriented Approach.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Information Quality, 2007

A Semantic Approach to Discovering Schema Mapping Expressions.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Data Engineering, 2007

Knowledge Representation Meets Databases - a View of the Symbiosys.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

On Importing Knowledge from DL Ontologies: Some Intuitions and Problems.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Discovering the Semantics of Relational Tables Through Mappings.

[BibT_eX]

[DOI]

J. Data Semant., 2006

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Building Semantic Mappings from Databases to Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Properties of Information Modeling Techniques for Information Systems Engineering.

[BibT_eX]

[DOI]

Proceedings of the Handbook on Architectures of Information Systems, 2006

2005

Constructing Complex Semantic Mappings Between XML Data and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems 2005: CoopIS, 2005

Aspects of Distributed and Modular Ontology Reasoning.

[BibT_eX]

[DOI]

Andrei Tamilin

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Towards Measuring Similarity in Description Logics.

[BibT_eX]

[DOI]

Thomas J. Walsh

Haym Hirsh

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Databases and the Semantic Web: Data Semantics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29, 2005

2004

Data Semantics Revisited.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

Refining Semantic Mappings from Relational Tables to Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web and Databases, Second International Workshop, 2004

2003

Distributed Description Logics: Assimilating Information from Peer Sources.

[BibT_eX]

[DOI]

J. Data Semant., 2003

Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?").

[BibT_eX]

[DOI]

Vipul Kashyap

Proceedings of the Semantic Web, 2003

Description Logics for Databases.

[BibT_eX]

Maurizio Lenzerini

Riccardo Rosati

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

Conceptual Modeling with Description Logics.

[BibT_eX]

Proceedings of the Description Logic Handbook: Theory, Implementation, and Applications, 2003

2002

Being Logical About Desert Island Reading.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2002

Distributed Description Logics: First results.

[BibT_eX]

[DOI]

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001

What's in an Attribute? Consequences for the Least Common Subsumer.

[BibT_eX]

[DOI]

Ralf Küsters

J. Artif. Intell. Res., 2001

Diachronic Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

2000

Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes.

[BibT_eX]

[DOI]

Takahiro Murata

IEEE Trans. Software Eng., 2000

Lightweight Semantics For Shared Object-oriented Software.

[BibT_eX]

Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

Explaining ALC Subsumption.

[BibT_eX]

Enrico Franconi

Ian Horrocks

Proceedings of the ECAI 2000, 2000

What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases.

[BibT_eX]

[DOI]

Ralf Küsters

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

1999

Matching in Description Logics.

[BibT_eX]

[DOI]

Franz Baader

Ralf Küsters

J. Log. Comput., 1999

Extensible Knowledge Representation: the Case of Description Reasoners.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1999

"Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Tolerating exceptions in workflows: a unified framework for data and processes.

[BibT_eX]

[DOI]

Takahiro Murata

Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability.

[BibT_eX]

[DOI]

Premkumar T. Devanbu

Proceedings of the 1999 International Conference on Software Engineering, 1999

Explaining ALC Subsumption.

[BibT_eX]

[DOI]

Enrico Franconi

Ian Horrocks

Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30, 1999

1998

KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases.

[BibT_eX]

[DOI]

Vinay K. Chaudhri

Martin Staudt

SIGMOD Rec., 1998

Matching in Description Logics: Preliminary Results.

[BibT_eX]

[DOI]

Franz Baader

Proceedings of the Conceptual Structures: Theory, 1998

1997

Representing Software Engineering Knowledge.

[BibT_eX]

[DOI]

Eric S. K. Yu

Autom. Softw. Eng., 1997

Adding Uniqueness Constraints to Description Logics (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Incremental Individual Reasoning in ProtoDL.

[BibT_eX]

[DOI]

Proceedings of the 1997 International Workshop on Description Logics, 1997

1996

On the Relative Expressiveness of Description Logics and Predicate Logics.

[BibT_eX]

[DOI]

Artif. Intell., 1996

Asking Queries about Frames.

[BibT_eX]

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

Reasoning with Black Boxes: Handling Test Concepts in CLASSIC.

[BibT_eX]

Charles L. Isbell Jr.

Proceedings of the 1996 International Workshop on Description Logics, 1996

1995

On the Frame Problem in Procedure Specifications.

[BibT_eX]

[DOI]

Raymond Reiter

IEEE Trans. Software Eng., 1995

Description Logics in Data Management.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1995

Explaining Subsumption in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994

A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 1994

On Formal Requirements Modeling Languages: RML Revisited.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

On The Relationship Between Description Logic and Predicate Logic.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29, 1994

1993

Loading Data into Description Reasoners.

[BibT_eX]

[DOI]

Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, 1993

"...And Nothing Else Changes": The Frame Problem in Procedure Specifications.

[BibT_eX]

[DOI]

Raymond Reiter

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Knowledge Representation and Reasoning in Software Engineering.

[BibT_eX]

[DOI]

Matthias Jarke

IEEE Trans. Software Eng., 1992

From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 1992

Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed.

[BibT_eX]

Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992

Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems.

[BibT_eX]

Premkumar T. Devanbu

Proceedings of the Personal Computers and Intelligent Systems, 1992

The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation.

[BibT_eX]

Lori Alperin Resnick

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

Structural Subsumption: What Is It and Why Is It Important?

[BibT_eX]

Proceedings of the Issues in Description Logics: Users Meet Developers, 1992

Computing Least Common Subsumers in Description Logics.

[BibT_eX]

[DOI]

William W. Cohen

Haym Hirsh

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale.

[BibT_eX]

[DOI]

SIGART Bull., 1991

Living wiht Classic: When and How to Use a KL-ONE-Like Language.

[BibT_eX]

[DOI]

Lori Alperin Resnick

Proceedings of the Principles of Semantic Networks, 1991

1990

Telos: Representing Knowledge About Information Systems.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst., 1990

Knowledge Representation, Semantic Data Modelling: What's the Difference?

[BibT_eX]

Proceedings of the 9th International Conference on Entity-Relationship Approach (ER'90), 1990

1989

Database Programming by Formal Refinement of Conceptual Designs.

[BibT_eX]

[DOI]

IEEE Data Eng. Bull., 1989

CLASSIC: A Structural Data Model for Objects.

[BibT_eX]

[DOI]

Lori Alperin Resnick

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Efficient Management of Transitive Relationships in Large Data and Knowledge Bases.

[BibT_eX]

[DOI]

Rakesh Agrawal

H. V. Jagadish

Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, USA, May 31, 1989

Type Systems for Querying Class Hierarchies with Non-strict Inheritance.

[BibT_eX]

[DOI]

Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1989

Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.

[BibT_eX]

David W. Etherington

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

Vivid Knowledge and Tractable Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989

Support for Data-Intensive Applications: Conceptual Design and Software Development.

[BibT_eX]

Proceedings of the Second International Workshop on Database Programming Languages, 1989

1988

Modeling Class Hierarchies with Contradictions.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, 1988

Constraint-Based Systems: Knowledge About Data - Panel Report.

[BibT_eX]

Proceedings of the Expert Database Systems, 1988

1987

Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis.

[BibT_eX]

[DOI]

Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, 1987

Exceptions dans les bases de données.

[BibT_eX]

Proceedings of the Troisièmes Journées Bases de Données Avancées, 1987

1986

Can entity-based information systems live with exceptions? (abstract only).

[BibT_eX]

[DOI]

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

Exceptions in object-oriented languages.

[BibT_eX]

[DOI]

Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented Programming, 1986

A requirements modeling language and its logic.

[BibT_eX]

[DOI]

Inf. Syst., 1986

1985

Language Features for Flexible Handling of Exceptions in Information Systems.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1985

Features of Languages for the Development of Information Systems at the Conceptual Level.

[BibT_eX]

[DOI]

IEEE Softw., 1985

Knowledge Representation as the Basis for Requirements Specifications.

[BibT_eX]

[DOI]

Computer, 1985

Knowledge Reperesentation as the Basis for Requirements Specification (Reprint).

[BibT_eX]

[DOI]

Proceedings of the Wissensbasierte Systeme, 1985

Accommodating Exceptions in Databases, and Refining the Schema by Learning from them.

[BibT_eX]

[DOI]

Keith E. Williamson

Proceedings of the VLDB'85, 1985

Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper

[BibT_eX]

Proceedings of the Data Types and Persistence, 1985

Design of a Compiler for a Semantic Data Model.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases.

[BibT_eX]

Tom M. Mitchell

Keith E. Williamson

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

The Software Development Environment as a Knowledge Base Management System.

[BibT_eX]

Proceedings of the Foundations of Knowledge Base Management: Contributions from Logic, 1985

Class Hierarchies in Information Systems: Sets, Types, or Prototypes?

[BibT_eX]

Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985

Languages and The Engineering of Large Knowledge Bases.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

Conceptual Modeling of Information Systems.

[BibT_eX]

Proceedings of the On Knowledge Base Management Systems: Integrating Artificial Intelligence and Database Technologies, 1985

1984

Information System Design at the Conceptual Level - The Taxis Project.

[BibT_eX]

[DOI]

IEEE Database Eng. Bull., 1984

The Darwin Software-Developemnt-Environemnt for Evolving Systems.

[BibT_eX]

[DOI]

Naftaly H. Minsky

Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, 1984

Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity.

[BibT_eX]

Tomasz Imielinski

Proceedings of the Non-Monotonic Reasoning Workshop, 1984

1983

Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1983

1982

Capturing More World Knowledge in the Requirements Specification.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 1982

Generalization/Specialization as a Basis for Software Specification.

[BibT_eX]

Harry K. T. Wong

Proceedings of the On Conceptual Modelling, 1982

1981

Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory

[BibT_eX]

Harry K. T. Wong

Proceedings of the Very Large Data Bases, 1981

On the Definition of Specialization Hierarchies for Procedures.

[BibT_eX]

[DOI]

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981

1980

Consistency of Models (discussion).

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

Data and Activities: Exploiting Hierarchies of Classes.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Data Abstraction, 1980

1977

Formal studies of stratificational grammars.

[BibT_eX]

[DOI]