Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
21	New Wave KRR: Rulelog-based Deep Reasoning with NLP for Financial Regulatory Compliance and More Benjamin Grosof* Coherent Knowledge Presentation (30-min.) Add to Reading List Source URL: ijcai-16.org Language: English - Date: 2016-07-22 16:57:54** Software engineering Logic Declarative programming Reasoning Programming paradigms Model theory Logical connectives Logic programming Prolog Datalog HiLog XSB
22	Context-Sensitive Program Analysis as Database Queries Monica S. Lam John Whaley V. Benjamin Livshits Michael C. Martin Dzintars Avots Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-03-29 03:01:53 Computing Software engineering Data management Database management systems Query languages Datalog Binary decision diagram Monica S. Lam Deductive database Relational algebra Logic programming Database
23	Experiencing ASP with real world applications G. Terracina1 , E. De Francesco1 , C. Panetta1 , N. Leone1 Dipartimento di Matematica, Universit`a della Calabria, IRende (CS), Italy terracina,defrancesco,panetta,leo Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-25 04:19:04 Data management Computing SQL keywords Software Query languages Logic programming Datalog Null Join Stable model semantics Database K
24	Finding Application Errors and Security Flaws Using PQL: a Program Query Language Michael Martin Benjamin Livshits Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-08-16 13:28:19 Software engineering Computer programming Computing Query languages Functional languages Object-oriented programming languages Scripting languages SQL Datalog Prolog Closure Objective-C
25	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
26	¨ Kunstliche Intelligenz manuscript No. (will be inserted by the editor) Is Your Database System a Semantic Web Reasoner? Add to Reading List Source URL: korrekt.org Language: English - Date: 2016-06-06 08:03:59 Computing Data management Semantic Web Data Resource Description Framework Query languages Knowledge engineering Knowledge representation SPARQL RDF Schema Datalog Web Ontology Language
27	Circuits for Datalog Provenance Daniel Deutch Tova Milo Tel Aviv University Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2013-12-16 04:18:28 Mathematics Computing Mathematical logic Database theory Complexity classes Boolean algebra Algebraic structures Relational model Datalog Relational algebra Tuple FO
28	Active Knowledge: Dynamically Enriching RDF Knowledge Bases by Web Services Nicoleta Preda Max Planck Institute for Informatics Saarbrücken, Germany Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:01 Computing Data management Data Resource Description Framework Query languages Web services Semantic Web Datalog SPARQL Prolog Data integration Query optimization
29	Modeling the Mashup Space Serge Abiteboul INRIA Saclay Paris, France .@inria.fr Add to Reading List Source URL: www.cs.tau.ac.il Language: English - Date: 2008-09-14 01:48:48 Web services Mashup Web 2.0 Semantic Web End-user development Web Services Discovery Semantic HTML Datalog Open Mashup Alliance Enterprise Mashup Markup Language