Data buffer performance for sequential Prolog architectures
ISCA '88 Proceedings of the 15th Annual International Symposium on Computer architecture
Decidable optimization problems for database logic programs
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Expressiveness of restricted recursive queries
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
On the first-order expressibility of recursive queries
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The physiology of PROLOG expert system inference engine
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Communications of the ACM
Retrieval from hierarchical texts by partial patterns
SIGIR '93 Proceedings of the 16th annual international ACM SIGIR conference on Research and development in information retrieval
Teaching AI algorithms using animations reinforced by interactive exercises
Proceedings of the 2nd Australasian conference on Computer science education
Annals of Mathematics and Artificial Intelligence
Blending Imperative and Relational Programming
IEEE Software
Constraint-Based Query Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
GTL: a graphical language for temporal data
SSDBM'1994 Proceedings of the 7th international conference on Scientific and Statistical Database Management
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Security policy analysis using deductive spreadsheets
Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Xcellog: A deductive spreadsheet system
The Knowledge Engineering Review
Generating Specialized Rules and Programs for Demand-Driven Analysis
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Deductive spreadsheets using tabled logic programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
The language features and architecture of b-prolog
Theory and Practice of Logic Programming - Prolog Systems
A realistic architecture for the semantic web
RuleML'05 Proceedings of the First international conference on Rules and Rule Markup Languages for the Semantic Web
Optimizing inequality joins in datalog with approximated constraint propagation
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
Towards ABox Modularization of semi-expressive Description Logics
Applied Ontology - Modularity in Ontologies
LogicBlox, platform and language: a tutorial
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Hi-index | 0.02 |