Foundations of a functional approach to knowledge representation.
Artificial Intelligence
CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
LaSSIE: a knowledge-based software information system
Communications of the ACM - Special issue on software engineering
Inside the LOOM description classifier
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Commitment-Based Software Development
IEEE Transactions on Software Engineering
Techniques for Partial Specification and Specification of Switching Systems
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Description Logics in Data Management
IEEE Transactions on Knowledge and Data Engineering
Complete and Incomplete Knowledge in Logical Information Systems
ECSQARU '01 Proceedings of the 6th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Description logic-based methods for auditing frame-based medical terminological systems
Artificial Intelligence in Medicine
Modified algorithm for efficient reasoning in qualitative belief networks
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Computer Methods and Programs in Biomedicine
A note on logic and information retrieval
MIRO'95 Proceedings of the Final conference on Multimedia Information Retrieval
Journal of Biomedical Informatics
| Hi-index | 0.00 |