ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
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
On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
A non-deterministic semantics for tractable inference
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Decidable reasoning in first-order knowledge bases with perfect introspection
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Negation and proof by contradiction in access-limited logic
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Observations on cognitive judgments
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Natural language based inference procedures applied to schubert's steamroller
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Expressing Program Requirements Using Refinement Lattices
Fundamenta Informaticae
Hi-index | 0.00 |