An interpreter for large knowledge bases
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
The MVL theorem proving system
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
ACM Computing Surveys (CSUR)
Loop checks for logic programs with functions
Theoretical Computer Science
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
On redundancy elimination tolerant scheduling rules
Theory and Practice of Logic Programming
Nexcel, a deductive spreadsheet
The Knowledge Engineering Review
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
Admissible criteria for loop control in planning
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Is there any need for domain-dependent control information?
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
An Abstract Approach to Some Loop Detection Problems
Fundamenta Informaticae
| Hi-index | 0.00 |