Tag datalog [47 articles] Export

Recent papers classified by the tag datalog.

	Cloning-based context-sensitive pointer alias analysis using binary decision diagrams [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation, Vol. 39, No. 6. (May 2004), pp. 131-144. by John Whaley, Monica S. Lam posted to verification static source robdd research programming model-checking model method language formal datalog code bdd analysis by incubos on 2009-08-30 18:25:24 as along with 6 people robertjohnsimmons pedagand bec schuh srccheck olesya
	Monadic datalog and the expressive power of languages for Web information extraction [My Copy] J. ACM, Vol. 51, No. 1. (January 2004), pp. 74-113. by Georg Gottlob, Christoph Koch posted to datalog expressive mso power web by fgeerts on 2009-04-07 17:38:21 as along with 1 person and 5 groups seabay Blog_and_Wiki_Research CSCW OpenArchive P2P XMLDataManagement
	Answering queries using limited external query processors (extended abstract) [My Copy] In PODS '96: Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1996), pp. 227-237. by Alon Y. Levy, Anand Rajaraman, Jeffrey D. Ullman posted to 1996 datalog query_anwering views by tulaydemir on 2009-03-16 16:30:46 as
	Description logic programs: combining logic programs with description logic [My Copy] In WWW '03: Proceedings of the 12th international conference on World Wide Web (2003), pp. 48-57. by Benjamin N. Grosof, Ian Horrocks, Raphael Volz, Stefan Decker posted to datalog owl rules by fraktalek on 2008-12-16 16:27:01 as along with 2 people pchampin fer
	Context-sensitive program analysis as database queries [My Copy] In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 1-12. by Monica S. Lam, John Whaley, Benjamin V. Livshits, et al.Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel posted to binary-decision-diagram datalog homework-pas-1 language-java lecture-pas tool-bddbddb by pedagand on 2008-11-18 23:10:44 as along with 3 people and 1 group robertjohnsimmons schuh NSumner CS510 2008 Spring
	Datalog Grammars for abductive syntactic error diagnosis and repair [My Copy] (1997) by J. Balsa, D. Pereira posted to datalog grammars by jensw on 2008-07-19 20:57:33 as
	Undecidable boundedness problems for datalog programs [My Copy] The Journal of Logic Programming (November 1995), pp. 163-190. by G. G. Hillebrand, P. C. Kanellakis, H. G. Mairson, M. Y. Vardi posted to datalog decidability by tuncay on 2008-06-23 09:38:39 as
	Datalog LITE: a deductive query language with linear time model checking [My Copy] ACM Trans. Comput. Logic, Vol. 3, No. 1. (January 2002), pp. 42-79. by Georg Gottlob, Erich Grädel, Helmut Veith posted to datalog lite by anonyox on 2008-05-27 18:25:55 as
	What you always wanted to know about Datalog (and never dared to ask) [My Copy] Knowledge and Data Engineering, IEEE Transactions on, Vol. 1, No. 1. (1989), pp. 146-166. by S. Ceri, G. Gottlob, L. Tanca posted to datalog by buchgeher on 2008-05-21 08:32:54 as along with 4 people dherman dullhunk dyoo PierreDeL
	A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming [My Copy] In IJCAI (2005), pp. 90-96. by Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits edited by Leslie P. Kaelbling, Alessandro Saffiotti, Leslie P. Kaelbling, Alessandro Saffiotti posted to database datalog languages logic by jmackay on 2008-05-06 05:52:56 as
	Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity [My Copy] Logics in Artificial Intelligence (2004), pp. 200-212. by Wolfgang Faber, Nicola Leone, Gerald Pfeifer posted to datalog logic sql by jmackay on 2008-05-06 05:47:50 as
	The Role of Abduction in Declarative Authorization Policies [My Copy] Practical Aspects of Declarative Languages (2008), pp. 84-99. by Moritz Becker, Sebastian Nanz posted to database datalog languages logic policy security tabled by jmackay on 2008-05-05 19:26:59 as
	An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs [My Copy] ACM Trans. Program. Lang. Syst., Vol. 20, No. 3. (1998), pp. 586-634. by Konstantinos F. Sagonas, Terrance Swift posted to database datalog languages logic tabled by jmackay on 2008-05-03 20:29:32 as
	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies [My Copy] In PLILP (1996), pp. 243-258. by Juliana Freire, Terrance Swift, David S. Warren posted to database datalog logic prolog tabled xsb by jmackay on 2008-05-03 20:26:32 as
	A Summary of XSB Performance [My Copy] by Terrance Swift, David S. Warren posted to database datalog logic performance prolog xsb by jmackay on 2008-05-03 20:23:37 as along with 2 people contingencyplan baisemain
	XSB as an efficient deductive database engine [My Copy] (1994), pp. 442-453. by Konstantinos Sagonas, Terrance Swift, David S. Warren posted to database datalog logic prolog xsb by jmackay on 2008-05-03 20:22:56 as along with 2 people contingencyplan baisemain
	Design and Semantics of a Decentralized Authorization Language [My Copy] Computer Security Foundations Symposium, 2007. CSF '07. 20th IEEE In CSF '07: Proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 3-15. by Moritz Becker, Cedric Fournet, Andrew Gordon posted to datalog distributed languages logic security systems by jmackay on 2008-05-02 09:43:11 as along with 4 people powerwolf bpw5 michaelbanks weqa
	codeQuest: Scalable Source Code Queries with Datalog [My Copy] ECOOP 2006 – Object-Oriented Programming (2006), pp. 2-27. by Elnar Hajiyev, Mathieu Verbaere, Oege de Moor posted to analysis code database datalog logic sql by jmackay on 2008-05-01 06:29:15 as along with 1 person KarlKlose
	From SPARQL to rules (and back) [My Copy] In WWW '07: Proceedings of the 16th international conference on World Wide Web (2007), pp. 787-796. by Axel Polleres posted to datalog dbs kbs ontologies owl querying rdf rules sparql by Scis0000002 on 2008-03-26 01:26:24 as along with 3 people and 1 group azygmunt vannevarvision pablomendes AGH-IISG
	Tabled evaluation with delaying for general logic programs [My Copy] Journal of the ACM, Vol. 43, No. 1. (1996), pp. 20-74. by Weidong Chen, David S. Warren posted to backward-chaining datalog logic-programming by dherman on 2008-03-18 14:38:37 as
	Efficient Top-Down Computation of Queries under the Well-Founded Semantics [My Copy] Journal of Logic Programming, Vol. 24, No. 3. (1995), pp. 161-199. by Weidong Chen, Terrance Swift, David S. Warren posted to backward-chaining datalog logic-programming by dherman on 2008-03-18 14:35:26 as
	Probabilistic Datalog—a logic for powerful retrieval methods [My Copy] In SIGIR '95: Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval (1995), pp. 282-290. by Norbert Fuhr posted to datalog reasoning by florianfischer on 2007-11-24 16:29:13 as along with 1 person rayzhang
	A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes [My Copy] Journal of Automated Reasoning, Vol. 38, No. 1-3. (April 2007), pp. 227-259. by Lutz, Carsten, Milicic, Maja posted to datalog descriptionlogic logic by onafoggynight on 2007-11-08 17:12:28 as
	Flattening and Saturation: Two Representation Changes for Generalization [My Copy] Mach. Learn., Vol. 14, No. 2. (1 February 1994), pp. 219-232. by Céline Rouveirol posted to datalog logic by onafoggynight on 2007-11-06 13:59:45 as along with 1 person robertjohnsimmons
	On the Complexity Analysis of Static Analyses [My Copy] In SAS '99: Proceedings of the 6th International Symposium on Static Analysis (1999), pp. 312-329. by David A. Mcallester posted to bottom-up datalog logic-programming static-analysis time-complexity by tuncay on 2007-10-23 23:52:52 as
	On Transformations into Linear Database Logic Programs [My Copy] In Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics (1996), pp. 433-444. by Foto N. Afrati, Manolis Gergatsoulis, Maria Katzouraki posted to datalog linearization by tuncay on 2007-10-23 23:46:47 as
	The Branching-Time Transformation Technique for Chain Datalog Programs [My Copy] Journal of Intelligent Information Systems, Vol. 17, No. 1. (1 November 2001), pp. 71-94. by Panos Rondogiannis, Manolis Gergatsoulis posted to datalog extended-datalog program-transformation by tuncay on 2007-10-23 23:44:42 as
	Bottom-up beats top-down for datalog [My Copy] In PODS '89: Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1989), pp. 140-149. by J. D. Ullman posted to bottom-up datalog magic-sets by tuncay on 2007-10-23 23:23:34 as
	The deductive database system LOLA [My Copy] Logic Programming And Nonmonotonic Reasoning (1997), pp. 375-386. by Ulrich Zukowski, Burkhard Freitag posted to datalog implementation by tuncay on 2007-10-20 00:44:46 as along with 1 person robertjohnsimmons
	Tail recursion elimination in deductive databases [My Copy] ACM Trans. Database Syst., Vol. 21, No. 2. (June 1996), pp. 208-237. by Kenneth A. Ross posted to datalog magic-sets tail-recursion by tuncay on 2007-10-20 00:33:56 as
	From datalog rules to efficient programs with time and space guarantees [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 172-183. by Yanhong A. Liu, Scott D. Stoller posted to datalog program-generation time-complexity by tuncay on 2007-10-20 00:19:17 as along with 1 person robertjohnsimmons
	Undecidable optimization problems for database logic programs [My Copy] J. ACM, Vol. 40, No. 3. (July 1993), pp. 683-713. by Haim Gaifman, Harry Mairson, Yehoshua Sagiv, Moshe Y. Vardi posted to datalog decidability by tuncay on 2007-10-19 23:30:22 as
	Necessary and sufficient conditions to linearize doubly recursive programs in logic databases [My Copy] ACM Trans. Database Syst., Vol. 15, No. 3. (September 1990), pp. 459-482. by Weining Zhang, Clement T. Yu, Daniel Troy posted to datalog linear-datalog linearization by tuncay on 2007-10-19 23:27:55 as
	On compile-time query optimization in deductive databases by means of static filtering [My Copy] ACM Trans. Database Syst., Vol. 15, No. 3. (September 1990), pp. 385-426. by Michael Kifer, Eliezer L. Lozinskii posted to bottom-up datalog filtering static-filtering by tuncay on 2007-10-19 23:25:03 as
	Efficient evaluation of right-, left-, and multi-linear rules [My Copy] SIGMOD Rec., Vol. 18, No. 2. (June 1989), pp. 235-242. by J. F. Naughton, R. Ramakrishnan, Y. Sagiv, J. D. Ullman posted to bottom-up datalog linear-datalog by tuncay on 2007-10-19 23:19:33 as
	Bounds on the propagation of selection into logic programs [My Copy] In PODS '87: Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1987), pp. 214-226. by C. Beeri, P. Kanellakis, F. Bancilhon, R. Ramakrishnan posted to datalog filtering by tuncay on 2007-10-13 00:41:00 as
	Filtering data flow in deductive databases [My Copy] In Proceedings on International conference on database theory (1986), pp. 186-202. by Michael Kifer, Eliezer L. Lozinskii posted to datalog filtering static-filtering by tuncay on 2007-10-13 00:21:00 as
	Modular stratification and magic sets for DATALOG programs with negation [My Copy] In PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1990), pp. 161-171. by Kenneth A. Ross posted to datalog magic-sets negation by tuncay on 2007-10-13 00:04:00 as
	Hard problems for simple logic programs [My Copy] In SIGMOD '90: Proceedings of the 1990 ACM SIGMOD international conference on Management of data (1990), pp. 64-73. by Yatin P. Saraiya posted to datalog decidability linearization by tuncay on 2007-10-12 23:50:35 as
	DATALOG Queries with Stratified Negation and Choice: from P to D P [My Copy] In ICDT (1995), pp. 82-96. by Sergio Greco, Domenico Sacca, Carlo Zaniolo posted to datalog extended-datalog negation stable-model-semantics stratified-negation by tuncay on 2007-10-12 23:27:08 as
	Querying Complex Graphs [My Copy] Practical Aspects of Declarative Languages (2005), pp. 199-214. by Yanhong Liu, Scott Stoller posted to datalog graph-query by tuncay on 2007-10-12 23:17:20 as
	Chain queries expressible by linear datalog programs [My Copy] In Proc. 5th Internat. Workshop on Deductive Databases and Logic Programming (DDLP'97), GMD-studien No. 317, Sankt Augustin (1997), pp. 49-58. by F. Afrati, F. Toni posted to chain-query datalog linear-datalog by tuncay on 2007-10-12 22:25:27 as
	GraphLog: a visual formalism for real life recursion [My Copy] In PODS '90: Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1990), pp. 404-416. by Mariano P. Consens, Alberto O. Mendelzon posted to datalog graph-query by tuncay on 2007-10-12 22:16:04 as along with 1 person and 1 group mhay kdl
	A framework for testing safety and effective computability of extended datalog [My Copy] SIGMOD Rec., Vol. 17, No. 3. (June 1988), pp. 154-163. by Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli posted to databases datalog by florianfischer on 2007-09-24 13:05:59 as
	On the power of magic [My Copy] In PODS '87: Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems (1987), pp. 269-284. by C. Beeri, R. Ramakrishnan posted to datalog db magic_sets prolog query by bfraser on 2007-08-20 23:44:01 as
	Provisions and Obligations in Policy Management and Security Applications [My Copy] (2002) by C. Bettini posted to bettini datalog obligations by fgeller on 2006-08-16 23:04:20 as
	Flexible support for multiple access control policies [My Copy] ACM Trans. Database Syst., Vol. 26, No. 2. (June 2001), pp. 214-260. by Sushil Jajodia, Pierangela Samarati, Maria L. Sapino, V. S. Subrahmanian posted to access control datalog by schopra on 2005-09-30 23:06:53 as

Note: You may cite this page as: http://www.citeulike.org/tag/datalog

logic	13
database	7
mso	7
extraction	6
bottom-up	4
languages	4
logic-programming	4
prolog	4
decidability	3
filtering	3
linear-datalog	3
linearization	3
magic-sets	3
tabled	3
xsb	3
analysis	2
backward-chaining	2
code	2
databases	2
extended-datalog	2
graph-query	2
negation	2
owl	2
rules	2
security	2
sql	2
static-filtering	2
time-complexity	2
1996	1
access	1
bdd	1
bettini	1
binary-decision-diagram	1
chain-query	1
control	1
db	1
dbs	1
descriptionlogic	1
distributed	1
expressive	1
formal	1
grammars	1
homework-pas-1	1
implementation	1
kbs	1
language	1
language-java	1
lecture-pas	1
lite	1
magic_sets	1
method	1
model	1
model-checking	1
obligations	1
ontologies	1
performance	1
policy	1
power	1
program-generation	1
program-transformation	1
programming	1
query	1
query_anwering	1
querying	1
rdf	1
reasoning	1
research	1
robdd	1
semantic-web	1
source	1
sparql	1
stable-model-semantics	1
static	1
static-analysis	1
stratified-negation	1
systems	1
tail-recursion	1
tool-bddbddb	1
verification	1
views	1
web	1

Tag datalog [47 articles] Export

Related Tags