1![Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami University of Birmingham (UK) Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami University of Birmingham (UK)](https://www.pdfsearch.io/img/88d9a3d87aaa8221ac88c9103f92a63d.jpg) | Add to Reading ListSource URL: www.rntz.netLanguage: English - Date: 2018-07-25 15:09:53
|
---|
2![CALL FOR PAPERS DATALOG 2.0 THE 2nd INTERNATIONAL WORKSHOP ON THE RESURGENCE OF DATALOG IN ACADEMIA AND INDUSTRY September 11-13, 2012, Vienna, Austria http://www.dbai.tuwien.ac.at/datalog2.0 CALL FOR PAPERS DATALOG 2.0 THE 2nd INTERNATIONAL WORKSHOP ON THE RESURGENCE OF DATALOG IN ACADEMIA AND INDUSTRY September 11-13, 2012, Vienna, Austria http://www.dbai.tuwien.ac.at/datalog2.0](https://www.pdfsearch.io/img/5b3ab07831e0455ea138aacf5a6a7078.jpg) | Add to Reading ListSource URL: www.dbai.tuwien.ac.atLanguage: English - Date: 2012-02-17 11:00:16
|
---|
3![Combined Tractability of Query Evaluation via Tree Automata and Cycluits Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart Problem Evaluate Datalog queries tractably in parameterized combined complexity Combined Tractability of Query Evaluation via Tree Automata and Cycluits Antoine Amarilli, Pierre Bourhis, Mikaël Monet, Pierre Senellart Problem Evaluate Datalog queries tractably in parameterized combined complexity](https://www.pdfsearch.io/img/0c0010247a5f1af856026d9ac6a5e32e.jpg) | Add to Reading ListSource URL: mikael-monet.netLanguage: English - Date: 2017-05-23 13:21:54
|
---|
4![Exercise 1 Datalog and Network Reliability Program Analysis for System Security and Reliability 2018 ETH Zurich February 27, 2018 Exercise 1 Datalog and Network Reliability Program Analysis for System Security and Reliability 2018 ETH Zurich February 27, 2018](https://www.pdfsearch.io/img/63bef22143a25e0273d4b94e08f842e1.jpg) | Add to Reading ListSource URL: www.sri.inf.ethz.chLanguage: English - Date: 2018-05-15 09:28:46
|
---|
5![1 Toward Parallel CFA with Datalog, MPI, and CUDA THOMAS GILRAY, University of Maryland SIDHARTH KUMAR, University of Utah We present our recent experience working to design parallel functional control-flow analysis (CF 1 Toward Parallel CFA with Datalog, MPI, and CUDA THOMAS GILRAY, University of Maryland SIDHARTH KUMAR, University of Utah We present our recent experience working to design parallel functional control-flow analysis (CF](https://www.pdfsearch.io/img/0bf1157c21da1ade4bb19d63a13a0048.jpg) | Add to Reading ListSource URL: scheme2017.namin.orgLanguage: English - Date: 2018-04-03 07:53:01
|
---|
6![Modular Class Analysis with datalog Fr d ric Besson and Thomas Jensen IRISA/INRIA/CNRS Campus de Beaulieu FRennes, France Modular Class Analysis with datalog Fr d ric Besson and Thomas Jensen IRISA/INRIA/CNRS Campus de Beaulieu FRennes, France](https://www.pdfsearch.io/img/a7ad9134f96ae5ade638c85d78eaba29.jpg) | Add to Reading ListSource URL: people.rennes.inria.frLanguage: English - Date: 2014-09-03 04:27:28
|
---|
7![Datalog as a Query Language for Data Exchange Systems Marcelo Arenas PUC Chile Joint work with Pablo Barcel´ Datalog as a Query Language for Data Exchange Systems Marcelo Arenas PUC Chile Joint work with Pablo Barcel´](https://www.pdfsearch.io/img/137c7c683b8d873ec7e9c3f20f551a68.jpg) | Add to Reading ListSource URL: marenas.sitios.ing.uc.cl- Date: 2013-04-26 05:45:30
|
---|
8![Extending Datalog with Analytics in LogicBlox Molham Aref1 , Benny Kimelfeld?1,2 , Emir Pasalic1 , and Nikolaos Vasiloglou1 Extending Datalog with Analytics in LogicBlox Molham Aref1 , Benny Kimelfeld?1,2 , Emir Pasalic1 , and Nikolaos Vasiloglou1](https://www.pdfsearch.io/img/d4dc3c7214a804b14be33705a9d22ab3.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2015-04-26 09:23:21
|
---|
9![Tractable Query Answering over Ontologies with Datalog± Andrea Cal`ı2,1 , Georg Gottlob1,2 , and Thomas Lukasiewicz1,‡ 1 2 Tractable Query Answering over Ontologies with Datalog± Andrea Cal`ı2,1 , Georg Gottlob1,2 , and Thomas Lukasiewicz1,‡ 1 2](https://www.pdfsearch.io/img/95ec59e75bf7ad41630340633be21c3d.jpg) | Add to Reading ListSource URL: ceur-ws.org- Date: 2009-07-07 04:46:34
|
---|
10![Parsing and Generation as Datalog Queries Makoto Kanazawa National Institute of Informatics
CFG recognition/parsing as Datalog query evaluation 0 Parsing and Generation as Datalog Queries Makoto Kanazawa National Institute of Informatics
CFG recognition/parsing as Datalog query evaluation 0](https://www.pdfsearch.io/img/82f3163b141fca41bffde5b1810c856f.jpg) | Add to Reading ListSource URL: research.nii.ac.jp- Date: 2010-06-08 00:59:18
|
---|