Search results for "datalog"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Ariyam Das, Sahil M. Gandhi, Carlo Zaniolo	ASTRO: A Datalog System for Advanced Stream Reasoning.	CIKM	2018	DBLP DOI BibTeX RDF
14	Stefan Brass, Mario Wenzel	An Abstract Machine for Push Bottom-Up Evaluation of Datalog.	DEXA (2)	2018	DBLP DOI BibTeX RDF
14	Petar Tsankov	Security Analysis of Smart Contracts in Datalog.	ISoLA (4)	2018	DBLP DOI BibTeX RDF
14	Jiwon Seo 0002	Datalog Extensions for Bioinformatic Data Analysis.	EMBC	2018	DBLP DOI BibTeX RDF
14	Stanislav Kikot, Roman Kontchakov, Salvatore Rapisarda, Michael Zakharyaschev	STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries.	OTM Conferences (2)	2018	DBLP DOI BibTeX RDF
14	Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie	Declarative Algorithms in Datalog with Extrema: Their Formal Semantics Simplified.	ICLP (Technical Communications)	2018	DBLP DOI BibTeX RDF
14	Nantia Makrynioti, Nikolaos Vasiloglou, Emir Pasalic, Vasilis Vassalos	Modelling Machine Learning Algorithms on Relational Data with Datalog.	DEEM@SIGMOD	2018	DBLP DOI BibTeX RDF
14	Xujie Si, Woosuk Lee, Richard Zhang 0004, Aws Albarghouthi, Paraschos Koutris, Mayur Naik	Syntax-guided synthesis of Datalog programs.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
14	Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks 0001	Stream Reasoning in Temporal Datalog.	AAAI	2018	DBLP DOI BibTeX RDF
14	Pan Hu 0001, Boris Motik, Ian Horrocks 0001	Optimised Maintenance of Datalog Materialisations.	AAAI	2018	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro	Complexity of Approximate Query Answering under Inconsistency in Datalog+/-.	SEBD	2018	DBLP BibTeX RDF
14	Yahui Li, Zhiliang Wang, Xia Yin, Xingang Shi, Jianping Wu, Jiangyuan Yao, Yingya Guo	Efficient network configuration verification using optimized datalog.	INFOCOM Workshops	2018	DBLP DOI BibTeX RDF
14	Bas Ketsman, Aws Albarghouthi, Paraschos Koutris	Distribution Policies for Datalog.	ICDT	2018	DBLP DOI BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Rewriting Guarded Existential Rules into Small Datalog Programs.	ICDT	2018	DBLP DOI BibTeX RDF
14	Mistral Contrastin, Dominic A. Orchard, Andrew C. Rice	Automatic Reordering for Dataflow Safety of Datalog.	PPDP	2018	DBLP DOI BibTeX RDF
14	Xue Li, Alan Bundy, Alan Smaill	ABC Repair System for Datalog-like Theories.	KEOD	2018	DBLP DOI BibTeX RDF
14	Chungha Sung, Shuvendu K. Lahiri, Constantin Enea, Chao Wang 0001	Datalog-based scalable semantic diffing of concurrent programs.	ASE	2018	DBLP DOI BibTeX RDF
14	Phuc Do, Phu Pham	W-PathSim++: the novel approach of topic-driven similarity search in large-scaled heterogeneous network with the support of Spark-based DataLog.	KSE	2018	DBLP DOI BibTeX RDF
14	Herbert Jordan, Bernhard Scholz, Pavle Subotic	Two concurrent data structures for efficient datalog query processing.	PPoPP	2018	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro	Complexity of Approximate Query Answering under Inconsistency in Datalog+/-.	IJCAI	2018	DBLP DOI BibTeX RDF
14	Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001	Stratified Negation in Limit Datalog Programs.	IJCAI	2018	DBLP DOI BibTeX RDF
14	Bruno Yun, Madalina Croitoru, Srdjan Vesic, Pierre Bisquert	DAGGER: Datalog+/- Argumentation Graph GEneRator.	AAMAS	2018	DBLP BibTeX RDF
14		Query, Datalog.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
14		Datalog, SQL.	Encyclopedia of GIS	2017	DBLP DOI BibTeX RDF
14	Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Zinn	Datalog Queries Distributing over Components.	ACM Trans. Comput. Log.	2017	DBLP DOI BibTeX RDF
14	Makoto Kanazawa	Parsing and Generation as Datalog Query Evaluation.	FLAP	2017	DBLP BibTeX RDF
14	Leopoldo E. Bertossi, Babak Salimi	Causes for query answers from databases: Datalog abduction, view-updates, and integrity constraints.	Int. J. Approx. Reason.	2017	DBLP DOI BibTeX RDF
14	Christiane Engels, Andreas Behrend, Stefan Brass	A Rule-Based Approach to Analyzing Database Schema Objects with Datalog.	CoRR	2017	DBLP BibTeX RDF
14	Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001	Foundations of Declarative Data Analysis Using Limit Datalog Programs.	CoRR	2017	DBLP BibTeX RDF
14	Stefan Brass, Heike Stephan	Bottom-Up Evaluation of Datalog: Preliminary Report.	WLP / WFLP	2017	DBLP DOI BibTeX RDF
14	Cristina Feier, Antti Kuusisto, Carsten Lutz	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.	CoRR	2017	DBLP BibTeX RDF
14	Carlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky, Tyson Condie	Fixpoint Semantics and Optimization of Recursive Datalog Programs with Aggregates.	CoRR	2017	DBLP BibTeX RDF
14	Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks 0001	Stream Reasoning in Temporal Datalog.	CoRR	2017	DBLP BibTeX RDF
14	Pan Hu 0001, Boris Motik, Ian Horrocks 0001	Optimised Maintenance of Datalog Materialisations.	CoRR	2017	DBLP BibTeX RDF
14	Taisuke Sato	A linear algebraic approach to datalog evaluation.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
14	Carlo Zaniolo, Mohan Yang, Ariyam Das, Alexander Shkapsky, Tyson Condie, Matteo Interlandi	Fixpoint semantics and optimization of recursive Datalog programs with aggregates.	Theory Pract. Log. Program.	2017	DBLP DOI BibTeX RDF
14	Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena	Declarative Probabilistic Programming with Datalog.	ACM Trans. Database Syst.	2017	DBLP DOI BibTeX RDF
14	Mohan Yang, Alexander Shkapsky, Carlo Zaniolo	Scaling up the performance of more powerful Datalog systems on multicore machines.	VLDB J.	2017	DBLP DOI BibTeX RDF
14	Stefan Brass, Heike Stephan	Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method.	Ershov Informatics Conference	2017	DBLP DOI BibTeX RDF
14	Stefan Brass	Language Constructs for a Datalog Compiler.	DEXA (1)	2017	DBLP DOI BibTeX RDF
14	Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri	Reasoning on anonymity in Datalog+/-.	ICLP (Technical Communications)	2017	DBLP DOI BibTeX RDF
14	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Dan Suciu	What Do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog Have to Do with One Another?	PODS	2017	DBLP DOI BibTeX RDF
14	Edelmira Pasarella, Jorge Lobo 0001	A Datalog Framework for Modeling Relationship-based Access Control Policies.	SACMAT	2017	DBLP DOI BibTeX RDF
14	George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis	A Datalog model of must-alias analysis.	SOAP@PLDI	2017	DBLP DOI BibTeX RDF
14	Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis	Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses.	SOAP@PLDI	2017	DBLP DOI BibTeX RDF
14	Bernardo Cuteri, Francesco Ricca	A compiler for stratified Datalog programs: preliminary results.	SEBD	2017	DBLP BibTeX RDF
14	Cristina Feier, Antti Kuusisto, Carsten Lutz	Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).	ICDT	2017	DBLP DOI BibTeX RDF
14	Véronique Benzaken, Evelyne Contejean, Stefania Dumbrava	Certifying Standard and Stratified Datalog Inference Engines in SSReflect.	ITP	2017	DBLP DOI BibTeX RDF
14	Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith	Constraint-Based Synthesis of Datalog Programs.	CP	2017	DBLP DOI BibTeX RDF
14	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev	Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.	Description Logics	2017	DBLP BibTeX RDF
14	Carsten Lutz, Leif Sabellek	Ontology-Mediated Querying with EL: Trichotomy and Linear Datalog Rewritability.	Description Logics	2017	DBLP BibTeX RDF
14	Christiane Engels, Andreas Behrend, Stefan Brass	A Rule-Based Approach to Analyzing Database Schema Objects with Datalog.	LOPSTR	2017	DBLP DOI BibTeX RDF
14	Andrea Calì	Ontology Querying: Datalog Strikes Back.	Reasoning Web	2017	DBLP DOI BibTeX RDF
14	Marie-Christine Rousset, Manuel Atencia, Jérôme David, Fabrice Jouanot, Olivier Palombi, Federico Ulliana	Datalog Revisited for Reasoning in Linked Data.	Reasoning Web	2017	DBLP DOI BibTeX RDF
14	Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks 0001	Foundations of Declarative Data Analysis Using Limit Datalog Programs.	IJCAI	2017	DBLP DOI BibTeX RDF
14	Carsten Lutz, Leif Sabellek	Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability.	IJCAI	2017	DBLP DOI BibTeX RDF
14	Zeinab Bahmani, Leopoldo E. Bertossi	Enforcing Relational Matching Dependencies with Datalog for Entity Resolution.	FLAIRS	2017	DBLP BibTeX RDF
14	André Frochaux	Static analysis of monadic datalog on finite labeled trees. (PDF / PS)		2017	RDF
14	Ingo Frommholz, Thomas Roelleke	Scalable DB+IR Technology: Processing Probabilistic Datalog with HySpirit.	Datenbank-Spektrum	2016	DBLP DOI BibTeX RDF
14	Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001	Module Extraction in Expressive Ontology Languages via Datalog Reasoning.	J. Artif. Intell. Res.	2016	DBLP DOI BibTeX RDF
14	Cristhian Ariel David Deagustini, Maria Vanina Martinez, Marcelo A. Falappa, Guillermo Ricardo Simari	Datalog+- Ontology Consolidation.	J. Artif. Intell. Res.	2016	DBLP DOI BibTeX RDF
14	Taisuke Sato	A Linear Algebraic Approach to Datalog Evaluation.	CoRR	2016	DBLP BibTeX RDF
14	Mostafa Milani, Andrea Calì, Leopoldo E. Bertossi	A Hybrid Approach to Query Answering under Expressive Datalog+/-.	CoRR	2016	DBLP BibTeX RDF
14	Zeinab Bahmani, Leopoldo E. Bertossi	Enforcing Relational Matching Dependencies with Datalog for Entity Resolution.	CoRR	2016	DBLP BibTeX RDF
14	Mahmoud Abo Khamis, Hung Q. Ngo 0001, Dan Suciu	What do Shannon-type inequalities, submodular width, and disjunctive datalog have to do with one another?	CoRR	2016	DBLP BibTeX RDF
14	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev	Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.	CoRR	2016	DBLP BibTeX RDF
14	K. Tuncay Tekle, Yanhong A. Liu	Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions.	CoRR	2016	DBLP BibTeX RDF
14	Mostafa Milani, Leopoldo E. Bertossi	Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations.	CoRR	2016	DBLP BibTeX RDF
14	André Frochaux, Nicole Schweikardt	Monadic Datalog Containment on Trees Using the Descendant-Axis.	CoRR	2016	DBLP BibTeX RDF
14	Babak Salimi, Leopoldo E. Bertossi	Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints.	CoRR	2016	DBLP BibTeX RDF
14	Leopoldo E. Bertossi, Babak Salimi	Causes for Query Answers from Databases: Datalog Abduction, View-Updates, and Integrity Constraints.	CoRR	2016	DBLP BibTeX RDF
14	K. Tuncay Tekle, Yanhong A. Liu	Precise complexity guarantees for pointer analysis via Datalog with extensions.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
14	Filip Mazowiecki, Filip Murlak, Adam Witkowski	Monadic Datalog and Regular Tree Pattern Queries.	ACM Trans. Database Syst.	2016	DBLP DOI BibTeX RDF
14	Haijiang Wu, Jie Liu 0008, Tao Wang 0030, Dan Ye 0004, Jun Wei 0001, Hua Zhong 0007	Parallel Materialization of Datalog Programs with Spark for Scalable Reasoning.	WISE (1)	2016	DBLP DOI BibTeX RDF
14	Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch	VLog: A Column-Oriented Datalog System for Large Knowledge Graphs.	ISWC (Posters & Demos)	2016	DBLP BibTeX RDF
14	Marek Rogala, Jan Hidders, Jacek Sroka	DatalogRA: datalog with recursive aggregation in the spark RDD model.	GRADES	2016	DBLP DOI BibTeX RDF
14	Abdallah Arioua, Patrice Buche, Madalina Croitoru	A Datalog± Domain-Specific Durum Wheat Knowledge Base.	MTSR	2016	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Cristian Molinaro, Livia Predoiu, Gerardo I. Simari	Ranking Answers to Datalog+/- Ontologies based on Trust and Reliability of Subjective Reports.	Computational Models of Rationality	2016	DBLP BibTeX RDF
14	Bernhard Scholz, Herbert Jordan, Pavle Subotic, Till Westmann	On fast large-scale program analysis in Datalog.	CC	2016	DBLP DOI BibTeX RDF
14	Alexander Shkapsky, Mohan Yang, Matteo Interlandi, Hsuan Chiu, Tyson Condie, Carlo Zaniolo	Big Data Analytics with Datalog Queries on Spark.	SIGMOD Conference	2016	DBLP DOI BibTeX RDF
14	Michael Arntzenius, Neelakantan R. Krishnaswami	Datafun: a functional Datalog.	ICFP	2016	DBLP DOI BibTeX RDF
14	Jacopo Urbani, Ceriel J. H. Jacobs, Markus Krötzsch	Column-Oriented Datalog Materialization for Large Knowledge Graphs.	AAAI	2016	DBLP DOI BibTeX RDF
14	Brend Wanders, Maurice van Keulen, Jan Flokstra	JudgeD: A Probabilistic Datalog with Dependencies.	AAAI Workshop: Declarative Learning Based Programming	2016	DBLP BibTeX RDF
14	Ismail Ilkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza	Complexity Results for Probabilistic Datalog±.	ECAI	2016	DBLP DOI BibTeX RDF
14	Cornelius Croitoru, Madalina Croitoru	Representing Multi-scale Datalog +/- Using Hierarchical Graphs.	ICCS	2016	DBLP DOI BibTeX RDF
14	Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták	From Datalog to flix: a declarative language for fixed points on lattices.	PLDI	2016	DBLP DOI BibTeX RDF
14	Haijiang Wu, Jie Liu 0008, Tao Wang 0030, Dan Ye 0004, Jun Wei 0001, Hua Zhong 0007	Plogs: Materializing Datalog Programs with MapReduce for Scalable Reasoning.	UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld	2016	DBLP DOI BibTeX RDF
14	Walaa Eldin Moustafa, Vicky Papavasileiou, Ken Yocum, Alin Deutsch	Datalography: Scaling datalog graph analytics on graph processing systems.	IEEE BigData	2016	DBLP DOI BibTeX RDF
14	Serge Abiteboul, Pierre Bourhis, Victor Vianu	A Formal Study of Collaborative Access Control in Distributed Datalog.	ICDT	2016	DBLP DOI BibTeX RDF
14	Vince Bárány, Balder ten Cate, Benny Kimelfeld, Dan Olteanu, Zografoula Vagena	Declarative Probabilistic Programming with Datalog.	ICDT	2016	DBLP DOI BibTeX RDF
14	Yisong Wang, Xu Wang, Yi Huang	Learning Datalog Programs from Input and Output.	ILP (Short Papers)	2016	DBLP BibTeX RDF
14	Pierre Bourhis, Carsten Lutz	Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics.	KR	2016	DBLP BibTeX RDF
14	Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks 0001	Ontology Module Extraction via Datalog Reasoning.	Description Logics	2016	DBLP BibTeX RDF
14	Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev	Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.	Description Logics	2016	DBLP BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics.	Description Logics	2016	DBLP BibTeX RDF
14	Sebastian Rudolph, Michaël Thomazo	Expressivity of Datalog Variants - Completing the Picture.	IJCAI	2016	DBLP BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.	IJCAI	2016	DBLP BibTeX RDF
14	Mostafa Milani, Andrea Calì, Leopoldo E. Bertossi	A Hybrid Approach to Query Answering Under Expressive Datalog ^\pm.	RR	2016	DBLP DOI BibTeX RDF
14	Mostafa Milani, Leopoldo E. Bertossi	Extending Weakly-Sticky Datalog±: Query-Answering Tractability and Optimizations.	RR	2016	DBLP DOI BibTeX RDF
14	Babak Salimi, Leopoldo E. Bertossi	Causes for Query Answers from Databases, Datalog Abduction and View-Updates: The Presence of Integrity Constraints.	FLAIRS	2016	DBLP BibTeX RDF