Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
A requirements modeling language and its logic
Information Systems
Modeling class hierarchies with contradictions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Type systems for querying class hierarchies with non-strict inheritance
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
GPS, a program that simulates human thought
Computation & intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Artificial Intelligence
The use of description logics in KBSE systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
ICSE '91 Proceedings of the 13th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Adding more “DL” to IDL: towards more knowledgeable component inter-operability
Proceedings of the 21st international conference on Software engineering
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
Querying Heterogeneous Information Sources Using Source Descriptions
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Dialogue and process design for interactive information systems using Taxis
Proceedings of the SIGOA conference on Office information systems
Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Extensible knowledge representation: the case of description reasoners
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
This paper surveys a selection of personal research projects which addressed problems related to Software Engineering, and whose solution was inspired by ideas from the field of Knowledge Representation and Reasoning. Surprisingly often, the research was also related to problems in Databases. We discuss, in part, to what extent did the KR ideas provide ready-made solutions to SE and DB problems, and how frequently we had to invent new KR techniques.