Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
141	Lisp in Summer Projects Submission Submission Date[removed]:42:25 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Data management Computer languages Datalog Database theory Database management systems SQL Lisp Database Heroku Computing Query languages Software engineering
142	1 SociaLite: An Efficient Graph Query Language Based on Datalog Jiwon Seo, Stephen Guo, and Monica S. Lam, Member, IEEE Abstract—With the rise of social networks, large-scale graph analysis becomes increasingly import Add to Reading List Source URL: mobisocial.stanford.edu Language: English - Date: 2015-03-17 16:12:15 Datalog Shortest path problem Directed acyclic graph Function Static single assignment form Graph Mathematics Graph theory Theoretical computer science
143	An Operational Semantics for Network Datalog Vivek Nigam1 , Limin Jia2 , Anduo Wang1 , Boon Thau Loo1 , Andre Scedrov1 1 University of Pennsylvania, Philadelphia, USA Carnegie Mellon University, Pittsburgh, USA Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Data management Programming paradigms Datalog Logic programming Predicate Algorithm SQL FO Query languages Computing Software engineering
144	A methodology of ILP Luc De Raedt Albert-Ludwigs-University Freiburg Three messages Add to Reading List Source URL: www-ai.ijs.si Language: English - Date: 2002-10-02 08:14:36 Data management Datalog SQL Machine learning Tuple Query languages Computing Mathematics
145	Declarative Networking doi:[removed][removed]By Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E. Gay, Joseph M. Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2014-09-30 10:30:54 Data Network architecture Wireless networking Computer networking Routing Link-state routing protocol Distance-vector routing protocol Datalog Communications protocol Routing protocols Routing algorithms Computing
146	Efficiently Executing Information Gathering Plans Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-11 09:17:48 Computing Database management systems Programming paradigms Software engineering Deductive database Function Algorithm Predicate Logic programming Mathematics Query languages Datalog
147	Structure Learning via Parameter Learning William Yang Wang Kathryn Mazaitis William W. Cohen Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-08-25 09:41:11 Reasoning Quantification Automated theorem proving Predicate logic Logic programming Prolog Resolution Datalog First-order logic Logic Mathematics Mathematical logic
148	Some experiments on the usage of a deductive database for RDFS querying and reasoning Giovambattista Ianni1,2 , Alessandra Martello1 , Claudio Panetta1 , and Giorgio Terracina1 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2007-11-28 05:44:56 RDF Web standards SPARQL Triplestore Jena Web Ontology Language Sesame RDF Schema Datalog Semantic Web Data management Computing
149	Application Note. “How to work with DATALOG STD version” Overview: The new high end IRS systems available since January 2010 are equipped with a Datalog module that can be used to record all the events occurring in Add to Reading List Source URL: www.olicorp.ch Language: English - Date: 2010-11-23 14:40:15 Card reader Universal Serial Bus Datalog Computer hardware Secure Digital USB
150	Parsing and Generation as Datalog Queries Makoto Kanazawa National Institute of Informatics 2–1–2 Hitotsubashi, Chiyoda-ku, Tokyo, 101–8430, Japan [removed] Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2010-06-15 03:09:05 Wales rugby union captains Binary arithmetic Binary multiplier Multiplication

UPDATE