Datalog

Results: 248



#Item
1Datafun: 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)

Add to Reading List

Source URL: www.rntz.net

Language: English - Date: 2018-07-25 15:09:53
    2CALL 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

    Add to Reading List

    Source URL: www.dbai.tuwien.ac.at

    Language: English - Date: 2012-02-17 11:00:16
      3Combined 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

      Add to Reading List

      Source URL: mikael-monet.net

      Language: English - Date: 2017-05-23 13:21:54
        4Exercise 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

        Add to Reading List

        Source URL: www.sri.inf.ethz.ch

        Language: English - Date: 2018-05-15 09:28:46
          51 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

          Add to Reading List

          Source URL: scheme2017.namin.org

          Language: English - Date: 2018-04-03 07:53:01
            6Modular 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

            Add to Reading List

            Source URL: people.rennes.inria.fr

            Language: English - Date: 2014-09-03 04:27:28
              7Datalog 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´

              Add to Reading List

              Source URL: marenas.sitios.ing.uc.cl

              - Date: 2013-04-26 05:45:30
                8Extending 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

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2015-04-26 09:23:21
                  9Tractable 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

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2009-07-07 04:46:34
                    10Parsing 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

                    Add to Reading List

                    Source URL: research.nii.ac.jp

                    - Date: 2010-06-08 00:59:18