Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
161	CSPs with near-unanimity polymorphisms are solvable by linear Datalog Marcin Kozik joint work with Libor Barto and Ross Willard Theoretical Computer Science Jagiellonian University Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-08-15 11:19:55
162	Declarative PTIME Queries to Relational Databases Patrick Doherty Witold Lukaszewicz March 9, 2001 Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:09:00 Query languages Formal languages Programming paradigms Model theory Datalog FO Well-formed formula Function Interpretation Logic Mathematics Mathematical logic
163	Declarative PTIME Queries to Relational Databases Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
164	Contextual Itemset Mining in DBpedia Julien Rabatel1 , Madalina Croitoru1 , Dino Ienco2 , Pascal Poncelet1 1 LIRMM, University Montpellier 2, France IRSTEA UMR TETIS, LIRMM, France Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-08-13 13:11:30 Technical communication Science Knowledge representation Information science Cyc Knowledge base Abox Datalog DBpedia Semantic Web Ontology Information
165	P,P Why Some Reasoning Problems are More Tractable Than Others Markus Krötzsch Technische Universität Dresden, Germany Abstract. Knowledge representation and reasoning leads to a wide range of Add to Reading List Source URL: korrekt.org Language: English - Date: 2014-09-19 04:24:27 Model theory Query languages Predicate logic Propositional calculus Philosophy of language Datalog Logic programming FO First-order logic Logic Mathematical logic Mathematics
166	Project No : FP7[removed]Project Acronym: Add to Reading List Source URL: www.optique-project.eu Language: English - Date: 2013-11-08 03:47:29 Semantic Web Query languages Computer languages RDF Knowledge representation SPARQL Datalog RDF query language Web Ontology Language Data management Computing Information
167	Optimizing Query Rewriting for Multiple Queries George Konstantinidis José Luis Ambite Information Sciences Institute Add to Reading List Source URL: www-scf.usc.edu Language: English - Date: 2012-05-26 19:31:35 Computing Data Conjunctive query Computer languages Data integration Datalog SQL Query FO Data management Query languages Database theory
168	Microsoft PowerPoint - KJDB2010-morishima[removed]pptx Add to Reading List Source URL: www.kc.tsukuba.ac.jp Language: English - Date: 2011-07-25 05:37:50 Query languages Abstraction Artificial intelligence Datalog Programming paradigms Mathematical logic Game theory Predicate Property Logic Data management Computing
169	PDF Document Add to Reading List Source URL: www.isi.edu Language: English - Date: 2013-06-17 21:39:12 Query languages Computer languages Database management systems Database theory Data integration Datalog Database Web Ontology Language SQL Computing Data management Data
170	Optimizing Query Rewriting for Multiple Queries George Konstantinidis José Luis Ambite Information Sciences Institute Add to Reading List Source URL: www.birncommunity.org Language: English - Date: 2013-04-17 15:22:38 Computing Data Conjunctive query Computer languages Data integration Datalog SQL Query FO Data management Query languages Database theory

UPDATE