Temporal logics in AI: semantical and ontological considerations
Artificial Intelligence
Localizing temporal constraint propagation: defaults and exceptions
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Maintaining knowledge about temporal intervals
Communications of the ACM
Readings in Knowledge Representation
Readings in Knowledge Representation
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Towards automation of checklist-based code-reviews
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
The description logic handbook
Hi-index | 0.00 |
The RHET system is a knowledge representation tool that is intended to support the development of advanced prototype natural language understanding and planning systems. The key requirements on the system are that it be general and expressive enough to support basic experimental systems, that it is efficient enough to allow such systems to be effectively built, and that its behavior be precisely specified independent of the actual program. It is a hybrid representation consisting of a set of separately defined specialized reasoning systems that are presented to the user within a single uniform framework.