- Optimizing Datalog for the GPU
2023/11/03 by Yihao Sun, Ahmedur Rahman Shovon, Sun, Yihao +7 · 4 voices
Computer Science · #Advanced Database Systems and Queries #Analytics #Computer science #Data Management and Algorithms #Data Mining Algorithms and Applications #Database #Datalog #Hash function #Information retrieval #Joins #Parallel computing #Programming language #SIMD #Search engine indexing #cs.DB #cs.PL
- Better Together: Unifying Datalog and Equality Saturation
2023/04/10 by Yihong Zhang, Zhang, Yihong, Yisu Remy Wang +13 · 2 voices · 16 citations
Computer Science · #Artificial intelligence #Computer science #Concurrency #Datalog #Formal Methods in Verification #Logic, programming, and type systems #Pointer (user interface) #Programming language #Rewriting #Security and Verification in Computing #Theoretical computer science #Unification
- Fifty Years of Prolog and Beyond
2022/01/26 by Philipp Körner, Michael Leuschel, Michaël Leuschel +23 · 3 voices · 7 citations
Computer Science · #Computer science #Datalog #Formal Methods in Verification #Implementation #Logic programming #Logic, programming, and type systems #Programming language #Prolog #Software Engineering Research #Software engineering #Software portability #cs.PL
- ERBlox: Combining Matching Dependencies with Machine Learning for Entity\n Resolution
2016/02/06 by Zeinab Bahmani, Leopoldo Bertossi, Bahmani, Zeinab +3 · 2 citations
Computer Science · Decision Sciences · Social Sciences · #Access Control and Trust #Artificial Intelligence (cs.AI) #Artificial intelligence #Classifier (UML) #Computer science #Data Quality and Management #Data mining #Database #Databases (cs.DB) #Datalog #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine learning #Matching (statistics) #Natural language processing #Pattern matching #Privacy-Preserving Technologies in Data #cs.AI #cs.DB #cs.LG
- Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics
2002/01/01 by Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi · 1 citation
Computer Science · Mathematics · #1-planar graph #Advanced Graph Theory Research #Bounded function #Characterization (materials science) #Chordal graph #Combinatorics #Complexity and Algorithms in Graphs #Computer science #Constraint (computer-aided design) #Constraint satisfaction #Constraint satisfaction problem #Datalog #Discrete mathematics #Graph #Logic, Reasoning, and Knowledge #Mathematics #Partial k-tree #Pathwidth #Theoretical computer science #Time complexity #Treewidth
- The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
1998/01/01 by Tomás Feder, Moshe Y. Vardi · 4 citations
Computer Science · Mathematics · #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Constraint Satisfaction and Optimization #Datalog #Class (philosophy) #Monotone polygon #Mathematics #P #Discrete mathematics #Combinatorics #Group (periodic table) #Subclass #Constraint (computer-aided design) #Circumscription #Constraint satisfaction problem #Computer science #Time complexity #Theoretical computer science #Programming language #Artificial intelligence
- Undecidable boundedness problems for datalog programs
1995/11/01 by Gerd G Hillebrand, Gerd G. Hillebrand, Paris C Kanellakis +5 · 1 citation
Computer Science · Mathematics · #Algorithm #Arity #Bounded function #Combinatorics #Complexity and Algorithms in Graphs #Computer science #Datalog #Decidability #Discrete mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Partition (number theory) #Predicate (mathematical logic) #Programming language #Turing machine #Undecidable problem
- Classical negation in logic programs and disjunctive databases
1991/08/01 by Michael Gelfond, Vladimir Lifschitz · 3 citations
Computer Science · #Advanced Algebra and Logic #Artificial intelligence #Autoepistemic logic #Computer science #Datalog #Deductive database #Description logic #Knowledge representation and reasoning #Logic programming #Logic, Reasoning, and Knowledge #Multimodal logic #Negation #Negation as failure #Programming language #Semantic Web and Ontologies #Semantics (computer science) #Stable model semantics #Theoretical computer science