Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
1	Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami University of Birmingham (UK) Add to Reading List Source URL: www.rntz.net Language: 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 Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: 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 Add to Reading List Source URL: mikael-monet.net Language: 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 Add to Reading List Source URL: www.sri.inf.ethz.ch Language: 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 Add to Reading List Source URL: scheme2017.namin.org Language: 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 Add to Reading List Source URL: people.rennes.inria.fr Language: 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´ Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source 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 Add to Reading List Source URL: research.nii.ac.jp - Date: 2010-06-08 00:59:18

UPDATE