Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
231	Exploiting Conjunctive Queries in Description Logic Programs? Thomas Eiter1 , Giovambattista Ianni1,2 , Thomas Krennwallner1 , and Roman Schindlauer1,2 1 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Mathematical logic Logic in computer science Semantic Web Conjunctive query Database theory Description logic Datalog Answer set programming Stable model semantics Theoretical computer science Logic Logic programming
232	Exploiting Description Logic Reasoners in Inductive Logic Programming Systems: An Experience within the Semantic Web area Francesca A. Lisi Dipartimento di Informatica, Universit` a degli Studi di Bari, Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Science Ontology Knowledge representation Reasoning Information science Datalog Description logic Web Ontology Language Semantic reasoner Semantic Web Information Computing
233	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-03-13 14:27:12 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
234	LG[removed]March 4, 2008 Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2008-03-20 14:06:26 Datalog Game Description Language Logic programming Function Tic-tac-toe Negation as failure Stratification FO Mathematics Mathematical logic Query languages
235	IST[removed]ESTRELLA Add to Reading List Source URL: www.estrellaproject.org Language: English - Date: 2009-08-10 08:48:29 Information science Knowledge representation Ontology Knowledge engineering Semantic Web Rule Language Semantic reasoner Description logic Datalog Knowledge representation and reasoning Semantic Web Information Science
236	Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Marcelo Arenas Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-10-03 19:09:27 Data integration FO Mathematics Computational complexity theory Inequality Information Conjunctive query Database theory Datalog
237	On Datalog vs. LFP Anuj Dawar and Stephan Kreutzer 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-05-21 09:46:10 Metalogic FO Datalog Structure Forcing Conjunctive query Finite model theory First-order logic Interpretation Mathematical logic Logic Model theory
238	MAV Stabilization using Machine Learning and Onboard Sensors CS6780 Final Report Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2010-12-18 15:03:53 Unmanned aerial vehicle Parrot AR.Drone Quadrotor Datalog
239	A Functional Semantic Web Architecture Aurona Gerber, Alta van der Merwe, and Andries Barnard Meraka Institute and University of South Africa (Unisa), Add to Reading List Source URL: ksg.meraka.org.za Language: English - Date: 2008-03-14 03:31:50 Data Web services Information science Knowledge representation Description logic World Wide Web Datalog Communications protocol Ontology Semantic Web Information Computing
240	PDF Document Add to Reading List Source URL: www.sci.brooklyn.cuny.edu Language: English - Date: 2003-09-03 10:42:12 Rules of inference Logic programming B-Prolog SLD resolution Prolog Datalog Computer program Resolution XSB Computing Software engineering Computer programming