Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
111	Journal of Artificial Intelligence Research–476 Submitted 08/11; publishedCompleteness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Add to Reading List Source URL: www.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
112	Reflection Analysis for Java Benjamin Livshits, John Whaley, and Monica S. Lam? Computer Science Department Stanford University Stanford, CA 94305, USA {livshits, jwhaley, lam}@cs.stanford.edu Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2005-09-07 13:39:43 Method Reflection Datalog Objective-C Java Native Interface Java Call graph Graph Constructor Computing Software engineering Computer programming
113	SAFE: Policy Aware SPARQL Query Federation Over RDF Data Cubes Yasar Khan1 , Muhammad Saleem2 , Aftab Iqbal1 , Muntazir Mehdi1 , Aidan Hogan3 , Panagiotis Hasapis4 , Axel-Cyrille Ngonga Ngomo2 , Stefan Decker1 , and Ratn Add to Reading List Source URL: svn.aksw.org Language: English - Date: 2015-03-09 10:43:30 Semantic Web Web standards RDF Computer languages SPARQL Named graph RDF query language Datalog Linked data Query languages Computing Data management
114	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
115	Soutei, a Logic-Based Trust-Management System System Description Andrew Pimlott1 and Oleg Kiselyov2 1 2 Add to Reading List Source URL: okmij.org Language: English - Date: 2006-02-22 23:23:35 Datalog PERMIS Prolog Access control Logic programming Assertion Channel access method Predicate Logic Computing Software engineering Computer programming
116	Semantics and Expressive Power of Non-Deterministic Constructs in Deductive Databases Fosca Giannotti1 , Dino Pedreschi2 and Carlo Zaniolo3 1 Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2001-06-29 02:31:43 Complexity classes Data management Software engineering Datalog Database management systems Relational model Expressive power FO SQL Computing Query languages Computer languages
117	Logic-based Web Information Extraction∗ Georg Gottlob and Christoph Koch Database and Artificial Intelligence Group, Technische Universit¨ at Wien, A-1040 Vienna, Austria. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:42 Data management Computer languages Datalog Database management systems Logic programming Database theory Expressive power SQL Monad Computing Software engineering Query languages
118	Theory of Answering Queries Using Views ∗ Alon Y. Halevy† Department of Computer Science and Engineering Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:35 Data Information Data integration Conjunctive query Alberto O. Mendelzon Datalog Query optimizer Database View Data management Database management systems Database theory
119	A Formalization of HIPAA for a Medical Messaging System Peifung E. Lam1 , John C. Mitchell1 , and Sharada Sundaram1,2 2 1 Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-03-09 22:02:41 Law Privacy law Privacy Health Insurance Portability and Accountability Act Datalog Prolog Privacy policy Protected health information Logic programming Ethics Computing Data privacy
120	Tabling for Transaction Logic ∗ Paul Fodor Michael Kifer State University of New York at Stony Brook,Stony Brook, NY 11794, USA Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-05-12 21:44:02 Model theory Transaction logic B-Prolog Prolog First-order logic Datalog Interpretation Function Modal logic Logic Mathematical logic Mathematics

UPDATE