ACM Transactions on Programming Languages and Systems (TOPLAS)
A generalised data base interface for APL
APL '86 Proceedings of the international conference on APL
Algebraic specification of Macintosh's Quickdraw using OBJ2
ICSE '88 Proceedings of the 10th international conference on Software engineering
STP: a simple theorem prover for IBM-PC compatible computers
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
The use of meta-rules in rule based legal computer systems
ICAIL '93 Proceedings of the 4th international conference on Artificial intelligence and law
Tutorial on artificial intelligence
WSC '85 Proceedings of the 17th conference on Winter simulation
Knowledge-based query processing in object bases
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference
Journal of Automated Reasoning
The Automation of Proof: A Historical and Sociological Exploration
IEEE Annals of the History of Computing
An Intelligent Tutoring System for the Dijkstra-Gries Methodology
IEEE Transactions on Software Engineering
A Decidable CLDS for Some Propositional Resource Logics
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
PTTP+GLiDeS: Guiding Linear Deductions with Semantics
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Extended Query Answering Using Integrity Rules
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Using Decision Procedures with a Higher-Order Logic
TPHOLs '01 Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics
Genetic Reasoning: Evolutionary Induction of Mathematical Proofs
Proceedings of the Second European Workshop on Genetic Programming
Eliminating unwanted loops in Prolog
ACM SIGPLAN Notices
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
Specifying Strategies for Exercises
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Discovery and reasoning in mathematics
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Recognizing unnecessary inference
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Perception and experience in problem solving
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Learning strategies by reasoning about rules
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A logic-based model of intention formation and action for multi-agent subcontracting
Artificial Intelligence
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Operationality criteria for recursive predicates
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
PRAGMA: a flexible bidirectional dialogue system
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
A web application for mathematics education
ICWL'07 Proceedings of the 6th international conference on Advances in web based learning
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
| Hi-index | 0.00 |