Arc and path consistence revisited
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Logic programming and databases
Logic programming and databases
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Monotonic aggregation in deductive databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
Machine Learning
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
A machine program for theorem-proving
Communications of the ACM
On the complexity analysis of static analyses
Journal of the ACM (JACM)
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
The Magic of Duplicates and Aggregates
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Algorithms for Rewriting Aggregate Queries Using Views
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
The Deductive Database System LOLA
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Understanding belief propagation and its generalizations
Exploring artificial intelligence in the new millennium
Constraint Processing
Computational Linguistics
Magic for filter optimization in dynamic bottom-up processing
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
Parse forest computation of expected governors
ACL '01 Proceedings of the 39th Annual Meeting on Association for Computational Linguistics
Parameter estimation for probabilistic finite-state transducers
ACL '02 Proceedings of the 40th Annual Meeting on Association for Computational Linguistics
Transformation-based learning in the fast lane
NAACL '01 Proceedings of the second meeting of the North American Chapter of the Association for Computational Linguistics on Language technologies
A parsing: fast exact Viterbi parse selection
NAACL '03 Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology - Volume 1
Machine Learning
Incorporating non-local information into information extraction systems by Gibbs sampling
ACL '05 Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics
Compiling Comp Ling: practical weighted dynamic programming and the Dyna language
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A stochastic grammar of images
Foundations and Trends® in Computer Graphics and Vision
A learning algorithm for continually running fully recurrent neural networks
Neural Computation
Communications of the ACM - Scratch Programming for All
Lifted first-order belief propagation
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
zymake: a computational workflow system for machine learning and natural language processing
SETQA-NLP '08 Software Engineering, Testing, and Quality Assurance for Natural Language Processing
The generalized A* architecture
Journal of Artificial Intelligence Research
DBToaster: a SQL compiler for high-performance delta processing in main-memory databases
Proceedings of the VLDB Endowment
OpenFst: a general and efficient weighted finite-state transducer library
CIAA'07 Proceedings of the 12th international conference on Implementation and application of automata
Self-adjusting computation with Delta ML
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Painless unsupervised learning with features
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
Convolution kernel over packed parse forest
ACL '10 Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics
Products of weighted logic programs
Theory and Practice of Logic Programming
LogicBlox, platform and language: a tutorial
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Optimizing large-scale Semi-Naïve datalog evaluation in hadoop
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Hi-index | 0.00 |
Modern statistical AI systems are quite large and complex; this interferes with research, development, and education. We point out that most of the computation involves database-like queries and updates on complex views of the data. Specifically, recursive queries look up and aggregate relevant or potentially relevant values. If the results of these queries are memoized for reuse, the memos may need to be updated through change propagation. We propose a declarative language, which generalizes Datalog, to support this work in a generic way. Through examples, we show that a broad spectrum of AI algorithms can be concisely captured by writing down systems of equations in our notation. Many strategies could be used to actually solve those systems. Our examples motivate certain extensions to Datalog, which are connected to functional and object-oriented programming paradigms.