APL '86 Proceedings of the international conference on APL
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
Explanation for an expert system that performs estate planning
ICAIL '87 Proceedings of the 1st international conference on Artificial intelligence and law
Computational Feasibility of Structured Matching
IEEE Transactions on Pattern Analysis and Machine Intelligence
Knowledge representation on the connection machine
Proceedings of the 1989 ACM/IEEE conference on Supercomputing
Using temporal hierarchies to efficiently maintain large temporal databases
Journal of the ACM (JACM)
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computing similarity in a reuse library system: an AI-based approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Macro processing in high-level languages
ACM SIGPLAN Notices
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
COREL: a conceptual retrieval system
Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval
DLMS: ten years of AI for vehicle assembly process planning
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
LISP on a reduced-instruction-set-processor
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
A plant intelligent supervisory control expert system
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Artificial intelligence implications for information retrieval
SIGIR '83 Proceedings of the 6th annual international ACM SIGIR conference on Research and development in information retrieval
Intelligent information systems
SIGIR '83 Proceedings of the 6th annual international ACM SIGIR conference on Research and development in information retrieval
Journal of Automated Reasoning
IEEE Micro
Some remarks about the inference techniques of RESEDA, an "intelligent" information retrieval system
SIGIR '84 Proceedings of the 7th annual international ACM SIGIR conference on Research and development in information retrieval
TIES: An Engineering Design Methodology and System
IAAI '90 Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence
IAAI '90 Proceedings of the The Second Conference on Innovative Applications of Artificial Intelligence
Reachability Programming in HOL98 Using BDDs
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Software architecture based on communicating residential environments
ICSE '81 Proceedings of the 5th international conference on Software engineering
An efficient environment allocation scheme in an interpreter for a lexically-scoped LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
A fifth generation approach to intelligent information retrieval
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
ACM SIGPLAN Notices
Two types of planning in language generation
ACL '88 Proceedings of the 26th annual meeting on Association for Computational Linguistics
On the static and dynamic extents of delimited continuations
Science of Computer Programming
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
Representation and analysis of electrical circuits in a deductive system
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 1
Japanese language semantic analyzer based on an extended case frame model
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
Spontaneous retrieval in a conceptual information system
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Deduction-based region-use planning
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
A process theory of non-monotonic inference
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Large-scale temporal data bases for planning in complex domains
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
On supporting associative access and processing over dynamic knowledge bases
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 2
Hunter-Gatherer: three search techniques integrated for natural language semantics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Using constraints to model disjunctions in rule-based reasoning
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Towards incremental disambiguation with a generalized discrimination network
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Computational Linguistics
Planning and temporal reasoning under uncertainty
PKWBS-W'84 Proceedings of the 1984 IEEE conference on Principles of knowledge-based systems
Efficient enumeration of instantiations in Bayesian networks
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Mechanical reasoning about families of UTP theories
Science of Computer Programming
Artificial Intelligence: From programs to solvers
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |