Requirements for advanced programming systems for list processing
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
Micro-Planner Reference Manual
Micro-Planner Reference Manual
Copilot: a multiple-process approach to interactive programming systems.
Copilot: a multiple-process approach to interactive programming systems.
The SNOBOL4 programming language
The SNOBOL4 programming language
Toward a programming laboratory
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
Magma2: a language oriented toward experiments in control
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
A Sufficient Condition for Backtrack-Free Search
Journal of the ACM (JACM)
Extending Earley's context-free parsing algorithm for string pattern matching
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
ACM Computing Surveys (CSUR)
Backtracking in a Generalized Control Setting
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Alternative to the Use of Patterns in String Processing
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Multiprocessing Approach to Compile-Time Symbol Resolution
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Evaluation of Expressions in Icon
ACM Transactions on Programming Languages and Systems (TOPLAS)
High level programming for distributed computing
Communications of the ACM
Communications of the ACM
Detection of combined occurrences
Communications of the ACM
Automatic data structure selection: an example and overview
Communications of the ACM
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
Two-level control structure for nondeterministic programming
Communications of the ACM
Maintaining order in a linked list
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
A procedure mechanism for backtrack programming
ACM '76 Proceedings of the 1976 annual conference
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Control requirements for the design of production system architectures
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Language facilities for programmable backtracking
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Aspects of a trigger subsystem in an integrated database system
ICSE '76 Proceedings of the 2nd international conference on Software engineering
On the problem of uniform references to data structures
Proceedings of the international conference on Reliable software
The Icon programming language a new approach to high-level string processing
ACM '79 Proceedings of the 1979 annual conference
ACM '79 Proceedings of the 1979 annual conference
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
Computational Linguistics
Multiple tense computer programming
ACM SIGPLAN Notices
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
A deductive model of control of a problem solver
ACM SIGART Bulletin
Trends in Artificial Intelligence
IEEE Transactions on Computers
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
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Specification overlays: an application of partitioned semantic networks
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1
Knowledge and its use in a program for going from one place to another
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
TULIPS: teachable, understanding natural language input problem-solver
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
LORD: LISP-oriented resolver and data-base
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Planner-BESM-6 system: implementation methods
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Ideas about management of LISP data bases
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
AUTOPASS: an automatic programming system for computer controlled mechanical assembly
IBM Journal of Research and Development
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Eliminating interchangeable values in constraint satisfaction problems
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
From systems to logic in the early development of nonmonotonic reasoning
Artificial Intelligence
Deep and shallow binding: The assignment operation
Computer Languages
Compiling lambda-expressions using continuations and factorizations
Computer Languages
Hi-index | 0.11 |