Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
431	RQL: A Declarative Query Language for RDF* Gregory Karvounarakis Sofia Alexaki Vassilis Christophides Dimitris Plexousakis Institute of Computer Science FORTH, Vassilika Vouton Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:06 Information Resource Description Framework RDF Schema Resource Versa RDF/XML Datalog Ontology RDF query language Semantic Web Computing Data management
432	RUL: A Declarative Update Language for RDF M. Magiridou1? , S. Sahtouris2 , V. Christophides2 , and M. Koubarakis1? 1 2 Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:16 Query languages RDF Web standards Web services Computer languages Blank node SPARQL Reification RDF Schema Computing Semantic Web Data management
433	Cerebral Cortex July 2009;19:[removed]doi:[removed]cercor/bhn191 Advance Access publication November 2, 2008 Contextual Processing in Episodic Future Thought Add to Reading List Source URL: memory.wustl.edu Language: English - Date: 2014-10-15 13:18:35 Mental processes Episodic memory Chronesthesia Autonoetic consciousness Recall Autobiographical memory Declarative memory Working memory Recognition memory Mind Cognitive science Memory
434	May[removed]ICS-FORTH & Univ. of Crete RQL: A Declarative Query Language for RDF G. Karvounarakis S. Alexaki V. Christophides Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:06 Information Resource Description Framework RDF Schema Resource RDF query language Query language RDF Semantic Web Computing Web standards
435	Noname manuscript No. (will be inserted by the editor) Declarative Representation of Proof Terms Claudio Sacerdoti Coen Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-05-22 05:46:20 Proof theory Mathematical proofs Philosophical logic Logic in computer science Natural deduction Entailment Curry–Howard correspondence Theorem First-order logic Logic Mathematics Mathematical logic
436	DejaVu: Declarative Pattern Matching over Live and Archived Streams of Events Nihal Dindar, Barıṣ Güç, Patrick Lau, Aslı Özal, Merve Soner, Nesime Tatbul @ ETH Zurich SQL-based Query Language* Motivation Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-07-16 17:51:28 Tax evasion UBS K Complex event processing Computing Investment Software engineering
437	Actes JFPC[removed]Improving Constraint Modelling Using Visualization Helmut Simonis Cork Constraint Computation Centre Add to Reading List Source URL: jfpc2010.greyc.fr Language: English - Date: 2011-05-09 04:10:16 Computer programming Constraint logic programming ECLiPSe Constraint Constraint satisfaction Constraint programming Declarative programming Software engineering
438	Synthesis of Loop-free Programs Sumit Gulwani Susmit Jha ∗ Ashish Tiwari † Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-06-03 21:06:21 Applied mathematics Satisfiability Modulo Theories Constraint satisfaction problem Boolean satisfiability problem Constraint logic programming Decomposition method Theoretical computer science Constraint programming Declarative programming
439	Declarative Representation of Proof Terms Claudio Sacerdoti Coen? Department of Computer Science, University of Bologna [removed] Abstract. We present a declarative language inspired by the pseudonatural lang Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-10-31 05:51:56 Proof theory Entailment Symbol Structure Logic Deduction Natural deduction
440	DejaVu: Declarative Pattern Matching over ∗ Live and Archived Streams of Events Nihal Dindar, Barı¸s Güç, Patrick Lau, Aslı Özal, Merve Soner, Nesime Tatbul Systems Group, Department of Computer Science, ETH Zuri Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-04-25 11:29:12 Database theory Query languages MySQL Cognition Information systems Complex event processing Radio-frequency identification Relational database StreamSQL Computing Data management Software

UPDATE