Foundations of a functional approach to knowledge representation.
Artificial Intelligence
Automated deduction by theory resolution
Journal of Automated Reasoning
What makes a knowledge base knowledgeable? A view of databases from the knowledge level
Proceedings from the first international workshop on Expert database systems
A Proof Procedure Using Connection Graphs
Journal of the ACM (JACM)
Algebraic simplification: a guide for the perplexed
Communications of the ACM
A decidable first-order logic for knowledge representation
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
The restricted language architecture of a hybrid representation system
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Theory links: Applications to automated theorem proving
Journal of Symbolic Computation
IBM Journal of Research and Development
Description Logics and Their Relationships with Databases
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Integrating declarative knowledge programming styles and tools in a structured object AI environment
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Terminological cycles in KL-ONE-based knowledge representation languages
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
A hybrid framework for representing uncertain knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Integrating rules in term subsumption knowledge representation servers
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Integrating a spatial reasoner with a resolution theorem-prover
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
The limits on combining recursive horn rules with description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Semantic web reasoners and languages
Artificial Intelligence Review
Reasoning on the semantic web for adaptive hypermedia
Journal of Web Engineering
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Semantic web reasoning using a blackboard system
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
AIM: a personal view of where I have been and where we might be going
Artificial Intelligence in Medicine
Deriving and Retrieving Contextual Categorical Information through Instance Inheritance
Fundamenta Informaticae
Hi-index | 0.00 |
Hybrid inference systems are an important way to address the fact that intelligent systems have muiltifaceted representational and reasoning competence. KRYPTON is an experimental prototype that competently handles both terminological and assertional knowledge; these two kinds of information are tightly linked by having sentences in an assertional component be formed using structured complex predicates denned in a complementary terminological component. KRYPTON is unique in that it combines in a completely integrated fashion a frame-based description language and a first-order resolution theorem-prover. We give here both a formal Knowledge Level view of the user interface to KRYPTON and the technical Symbol Level details of the integration of the two disparate components, thus providing an essential picture of the abstract function that KRYPTON computes and the implementation technology needed to make it work. We also illustrate the kind of complex question the system can answer.