Toward automatic program synthesis
Communications of the ACM
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
A perspective of generative reuse
Annals of Software Engineering
Question Answering: From Partitions to Prolog
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
An application of variable-valued logic to inductive learning of plant disease diagnostic rules
MVL '76 Proceedings of the sixth international symposium on Multiple-valued logic
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
A laboratory for the study of automating programming
ACM SIGSAM Bulletin
A Resolution-Based Proof Procedure Using Deletion-Directed Search
IEEE Transactions on Computers
A laboratory for the study of automating programming
AFIPS '72 (Spring) Proceedings of the May 16-18, 1972, spring joint computer conference
A summary of progress toward proving program correctness
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
Robot planning, execution, and monitoring in an uncertain environment
IJCAI'71 Proceedings of the 2nd international joint conference on Artificial intelligence
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
An interpreter for the programming language predicate logic
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Deletion-directed search in resolution-based proof procedures
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Testing first-order logic axioms in program verification
TAP'10 Proceedings of the 4th international conference on Tests and proofs
A framework for testing first-order logic axioms in program verification
Software Quality Control
| Hi-index | 0.02 |