Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
The British Nationality Act as a logic program
Communications of the ACM
Communications of the ACM - Special issue on parallelism
Alma-O: an imperative language that supports declarative programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
Surveyor's Forum: Determining a Search
ACM Computing Surveys (CSUR)
Associons: A Program Notation with Tuples Instead of Variables
ACM Transactions on Programming Languages and Systems (TOPLAS)
Two-level control structure for nondeterministic programming
Communications of the ACM
A preliminary system for the design of DBTG data structures
Communications of the ACM
Requirements for advanced programming systems for list processing
Communications of the ACM
A Metalanguage for interactive proof in LCF
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Scheme: A Interpreter for Extended Lambda Calculus
Higher-Order and Symbolic Computation
The Apiary network architecture for knowledgeable systems
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
APL '79 Proceedings of the international conference on APL: part 1
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
A Daemon-based programming system for office procedures.
COCS '84 Proceedings of the second ACM-SIGOA conference on Office information systems
ACM SIGPLAN Notices - Special issue: History of programming languages conference
A procedural approach to pattern matching in SNOBOL4
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Techniques for the automatic selection of data structures
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Breaking the complexity barrier again
SIGPLAN '73 Proceedings of the 1973 meeting on Programming languages and information retrieval
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
ACL '79 Proceedings of the 17th annual meeting on Association for Computational Linguistics
A selected descriptor-indexed bibliography to the literature on belief revision
ACM SIGART Bulletin
ACM SIGART Bulletin
History of programming languages---II
A laboratory for the study of automating programming
ACM SIGSAM Bulletin
History of programming languages I
Semantic Modeling for Deductive Question-Answering
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
QLISP: a language for the interactive development of complex systems
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Procedural representation in a fuzzy problem-solving system
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
A pattern of language evolution
Celebrating the 50th Anniversary of Lisp
Reasoning in incomplete domains
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Using active connection graphs for reasoning with recursive rules
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
The declarative representation and procedural simulation of causality in physical mechanisms
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Subgoal protection and unravelling during plan synthesis
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Semantic modeling for deductive question-answering
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
An efficient robot planner which generates its own procedures
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
ETHER: a parallel problem solving system
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A survey of automated deduction
Artificial intelligence today
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Supporting and optimizing full unification in a forward chaining rule system
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Reasoned Assumptions And Rational Psychology
Fundamenta Informaticae
Hi-index | 0.06 |