Research in music and artificial intelligence
ACM Computing Surveys (CSUR)
A society model for office information systems
ACM Transactions on Information Systems (TOIS)
An expert system for dynamic scheduling
ISMIS '86 Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
ACM SIGART Bulletin
Prolog dialects: a deja vu of BASICs
ACM SIGPLAN Notices
ACM SIGSMALL/PC Notes
Investigation into the efficiency of using APL for the programming of an inference machine
APL '87 Proceedings of the international conference on APL: APL in transition
Functional programming for freshman computer science majors
SIGCSE '87 Proceedings of the eighteenth SIGCSE technical symposium on Computer science education
A small lisp interpreter as a project in a programming language course
ACM SIGCSE Bulletin
Tags and type checking in LISP: hardware and software approaches
ASPLOS II Proceedings of the second international conference on Architectual support for programming languages and operating systems
PHRAN-SPAN: a natural language interface for system specifications
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Illustrated description of an interactive knowledge based indexing system
SIGIR '87 Proceedings of the 10th annual international ACM SIGIR conference on Research and development in information retrieval
An approach to integrating expert system components into production software
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
Towards functional programming in Prolog
ACM SIGPLAN Notices
Concurrent programming language—LISPTALK
ACM SIGPLAN Notices
A simple interprocedural register allocation algorithm and its effectiveness for LISP
ACM Transactions on Programming Languages and Systems (TOPLAS)
HAL: A multi-paradigm approach to automatic data path synthesis
25 years of DAC Papers on Twenty-five years of electronic design automation
Welding advisory system for process selection “WASPS”
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A framework for visualizing object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
ALHARD: an application-oriented language for hardware simulation
CSC '90 Proceedings of the 1990 ACM annual conference on Cooperation
Cognitive Fit: An Empirical Study of Recursion and Iteration
IEEE Transactions on Software Engineering
Qualitative representation of a continuous process with reference to apple fruit abscission
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Visualizing evaluation in applicative languages
Communications of the ACM
Teaching introductory AI from first principles
ACM SIGART Bulletin
Comparing images using color coherence vectors
MULTIMEDIA '96 Proceedings of the fourth ACM international conference on Multimedia
APL '85 Proceedings of the international conference on APL: APL and the future
APL '85 Proceedings of the international conference on APL: APL and the future
Visualizing Evaluation in Scheme
Lisp and Symbolic Computation
Expert systems development in LISP and Ada
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada
HAL: a multi-paradigm approach to automatic data path synthesis
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Knowlege-based expert systems and their application(tutorial session
DAC '86 Proceedings of the 23rd ACM/IEEE Design Automation Conference
Intelligent simulation environments: identification of the basics
WSC '88 Proceedings of the 20th conference on Winter simulation
Languages for expert system building: a comparison
Proceedings of the 1986 ACM SIGSMALL/PC symposium on Small systems
ADVISOR—an expert system for student advisement
CSC '87 Proceedings of the 15th annual conference on Computer Science
Software engineering for rule-based systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Translating a research LISP prototype to a formal Ada design prototype
WADAS '85 Proceedings of the second annual Washington Ada symposium on Ada: Ada in the mainstream: applications and education
Programming Languages in Economics
Computational Economics - Special issue on programming languages
Ada symbolic processing for information fusion
WADAS '86 Proceedings of the third annual Washington Ada symposium on Ada: Ada use in focus : practical lessons in perspective
An Intelligent Human-Computer Interface for Provisionof On-Line Help
Artificial Intelligence Review
A High Accuracy Volume Renderer for Unstructured Data
IEEE Transactions on Visualization and Computer Graphics
An Icon-Based Design Method for Prolog
IEEE Software
A Software Engineering Methodology for Rule-Based Systems
IEEE Transactions on Knowledge and Data Engineering
Sharing Properties in a Uniform Object Space
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Advanced Thread Synchronization in Java Using Interaction Expressions
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
YACAS: A Do-It-Yourself Symbolic Algebra Environment
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
A computer science syllabus for gifted pre-college students
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
Computer animation with scripts and actors
SIGGRAPH '82 Proceedings of the 9th annual conference on Computer graphics and interactive techniques
Software architecture based on communicating residential environments
ICSE '81 Proceedings of the 5th international conference on Software engineering
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Prettyprinting styles for various languages
ACM SIGPLAN Notices
Resolution of collective-distributive ambiguity using model-based reasoning
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
Threaded interpretive systems and functional programming environments
ACM SIGPLAN Notices
Providing curricular assistance to a third world university computer science department
Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education
ACM SIGSOFT Software Engineering Notes
Detection of Redundant Code Using R2D2
Software Quality Control
Coupling and cohesion metrics for knowledge-based systems using frames and rules
ACM Transactions on Software Engineering and Methodology (TOSEM)
An algorithm to play the game of mastermind
ACM SIGART Bulletin
Encyclopedia of Computer Science
Improved simplification of odd and even functions in REDUCE
ACM SIGSAM Bulletin
Gentran: an automatic code generation facility for REDUCE
ACM SIGSAM Bulletin
ZIL: an implementation of Lisp on MVS/XA at C. S. Draper laboratory
ACM SIGPLAN Lisp Pointers
A General Forward Reasoning Algorithm for Various Logic Systems with Different Formalizations
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Novice LISP errors: undetected losses of information from working memory
Human-Computer Interaction
Debugging: an analysis of bug-location strategies
Human-Computer Interaction
Really arguing with your computer in natural language
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
Artificial intelligence and macro-economy, an application
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Understanding system specifications written in natural language
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
On the NP-ardness of blocks world
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Making discrete mathematics relevant
Proceedings of the 48th Annual Southeast Regional Conference
Hi-index | 0.02 |