A compositional, knowledge-based architecture for intelligent query user interfaces
CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
A semantical perspective on verification of knowledge
Data & Knowledge Engineering
An Extension of BDICTL with Functional Dependencies and Components
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Modelling multiple mind-matter interaction
International Journal of Human-Computer Studies
Heuristic reasoning and relative incompleteness
International Journal of Approximate Reasoning
Hi-index | 0.00 |