Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
81	Path queries for Web data Title Path queries for Web data Supervisors Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2015-03-27 04:26:27 Information Database theory Graph database Data integration Datalog Database Alberto O. Mendelzon Database management systems Data management Data
82	Computing Query Answers with Consistent Support∗ A Ph.D. project proposal Jui-Yi Kao Stanford University 353 Serra Mall Stanford, California, United States of America Add to Reading List Source URL: wcms.inf.ed.ac.uk Language: English - Date: 2009-06-22 06:06:25 Database theory Database management systems Query languages Computer languages Relational model Datalog Data integration SQL Database Data management Computing Data
83	The Declarative Imperative: Experiences and Conjectures in Distributed Logic Joseph M. Hellerstein Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2010-06-01 23:42:06 Query languages Programming paradigms Datalog Database management systems Database theory Prolog Logic programming SQL Relational model Computing Data management Software engineering
84	On guarded simulations and acyclic first-order languages George H.L. Fletcher Jan Hidders Stijn Vansummeren Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-24 10:00:24 Computing Relational model Conjunctive query Database theory Relational database management systems Relational algebra Tuple Datalog Structure Data management Mathematics Query languages
85	Journal of Artificial Intelligence Research–476 Submitted 08/11; publishedCompleteness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Add to Reading List Source URL: jair.org Language: English - Date: 2012-03-29 00:56:48 Information Ontology Query languages RDF Reasoning Semantic reasoner Datalog Description logic Conjunctive query Semantic Web Computing Data management
86	OpenRuleBench: An Analysis of the Performance of Rule Engines Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2009-07-12 23:57:36 Knowledge engineering Reasoning Semantic reasoner Geography of New York Information science Artificial intelligence Datalog Stony Brook Brookhaven New York Knowledge representation Semantic Web
87	Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, jcm}@cs.stanford.ed Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-11-05 19:04:46 Computing Constraint satisfaction Constraint logic programming Datalog Relational model Structure Logic programming Constraint Local consistency Constraint programming Software engineering Computer programming
88	A Logical Interpretation of RDF Wolfram Conen X ONAR IT Velbert, Germany Add to Reading List Source URL: nestroy.wi-inf.uni-essen.de Language: English - Date: 2000-10-11 07:50:58 World Wide Web Consortium Resource Description Framework RDF Schema Resource Datalog Knowledge representation and reasoning Versa RDFLib Web Ontology Language Semantic Web Computing Web standards
89	RT : A Role-based Trust-management Framework∗ Ninghui Li John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, mitchell}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-11-04 15:32:03 Computer security Constraint programming Datalog Cryptography Role-based access control Credential Digital credential Trust negotiation Constraint logic programming Security Identity management Access control
90	Beyond Proof-of-compliance: Security Analysis in Trust Management NINGHUI LI Purdue University JOHN C. MITCHELL Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:15:33 Datalog Central Intelligence Agency ALGOL 68 Propositional calculus Mathematical logic Logic Programming language theory

UPDATE