Positivism vs minimalism in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
Communications of the ACM
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Describing Prolog by its interpretation and compilation
Communications of the ACM
Parameter passing and control stack management in Prolog implementation revisited
ACM Transactions on Programming Languages and Systems (TOPLAS)
PROLOG applications for database design with the information center
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Expert system approach to VLSI cell design (abstract)
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
The lion and the unicorn met PROLOG
ACM SIGPLAN Notices
Computer aided design (CAD) using logic programming
DAC '84 Proceedings of the 21st Design Automation Conference
Logic programming applied to hardware design specification and verification
MICRO 17 Proceedings of the 17th annual workshop on Microprogramming
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Using λ-calculus to represent meanings in logic grammars
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
ACM SIGCSE Bulletin
A PROLOG implementation of Government-Binding Theory
COLING '86 Proceedings of the 11th coference on Computational linguistics
History of programming languages---II
Ontologies and reasoning techniques for (legal) intelligent information retrieval systems
Artificial Intelligence and Law
IJCAI'83 Proceedings of the Eighth 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
Integrating the two main inference modes of NKRL, transformations and hypotheses
Journal on Data Semantics IV
Hi-index | 0.03 |