Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
201	TE C H N I C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN UND A RTIFICIAL I NTELLIGENCE Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2008-01-31 02:46:26 Mathematical logic Stable model semantics Datalog Universal quantification FO Ground expression Answer set programming Logic programming Theoretical computer science Logic
202	PDF Document Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-16 09:32:31 Rules of inference Automated theorem proving Logic in computer science Logic programming Resolution Datalog Horn clause Unification Semantic reasoner Logic Mathematical logic Mathematics
203	PDF Document Add to Reading List Source URL: semantic-web-book.org Language: English - Date: 2012-03-20 11:07:29 Data Web Ontology Language Ontology Description logic Datalog RDF Schema Semantic wiki Rule Interchange Format Resource Description Framework Semantic Web Information Science
204	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-01-24 17:40:42 Computing Ontology Logic in computer science Mathematical logic Datalog Abox Horn clause Tbox Rewriting Theoretical computer science Query languages Mathematics
205	MIND: An architecture for multimedia information retrieval in federated digital libraries Henrik Nottelmann, Norbert Fuhr Department of Computer Science University of Dortmund, Germany Add to Reading List Source URL: www.ercim.eu Language: English - Date: 2008-12-08 05:11:33 Information Datalog Metadata Uncertain inference Tf*idf Search engine indexing SQL Information science Information retrieval Science
206	Ontology storage and querying Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:16 Data management RDF Schema Web Ontology Language Query language RDF query language Versa Ontology language Triplestore Datalog Semantic Web Computing Information
207	A Model Towards Using Evidence From Security Events For Network Attack Analysis Changwei Liu 1, Anoop Singhal 2, Duminda Wijesekera[removed] Add to Reading List Source URL: www.nist.gov Language: English - Date: 2014-05-27 12:38:48 Logic Computer security Digital forensics Graph theory Computer network security Network forensics Graph Datalog Vulnerability Computing Artificial intelligence Reasoning
208	(Long version: cs.unb.ca/~boley/talks/RulesOBDA.pdf) Department of Informatics Colloquium, University of Zurich, Switzerland, April 10, 2014 11th Annual CS Research Exposition, UNB Fredericton, NB, May 2, 2014 Seminar, Add to Reading List Source URL: files.meetup.com Language: English - Date: 2014-07-12 07:06:47 Data management Query languages RDF Datalog Knowledge representation Conjunctive query Data integration Web Ontology Language Ontology Semantic Web Computing Information
209	Automated Analysis of Security-Critical JavaScript APIs Ankur Taly Stanford University ´ Ulfar Add to Reading List Source URL: www-cs-students.stanford.edu Language: English - Date: 2011-05-17 21:19:11 Cross-platform software Scripting languages Data types Functional programming Type theory Eval JavaScript Closure Datalog Software engineering Computing Software
210	A Hybrid Diagnosis Approach Combining Black-Box and White-Box Reasoning Mingmin Chen1 , Shizhuo Yu1 , Nico Franz2 , Shawn Bowers3 , and Bertram Lud¨ascher1 1 Dept. of Computer Science, University of California, Davis, Add to Reading List Source URL: taxonbytes.org Language: English - Date: 2014-07-01 16:19:30 Computing Computer programming Programming paradigms Constraint satisfaction problem Answer set programming Algorithm Association rule learning Datalog Constraint programming Software engineering Logic programming