Search results for "datalog"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri	A graphic tool for ontology reasoning under Datalog∃.	SEBD	2013	DBLP BibTeX RDF
14	Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca	Development Tools for Datalog.	SEBD	2013	DBLP BibTeX RDF
14	Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna	Query Answering over Disjunctive Datalog with Existential Quantifiers.	SEBD	2013	DBLP BibTeX RDF
14	Fernando Sáenz-Pérez	Implementing Tabled Hypothetical Datalog.	ICTAI	2013	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska	Query Answering in Datalog+/- Ontologies under Group Preferences and Probabilistic Uncertainty.	ICWE Workshops	2013	DBLP DOI BibTeX RDF
14	Martin Koch 0006, Sven Schmidt, Harold Boley, Rainer Herpers	Grailog KS Viz: A Grailog Visualizer for Datalog RuleML Using an XSLT Translator to SVG.	RuleML (2)	2013	DBLP BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari, Oana Tifrea-Marciuska	Query Answering in Probabilistic Datalog+/- Ontologies under Group Preferences.	Web Intelligence	2013	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari	Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-.	Description Logics	2013	DBLP BibTeX RDF
14	André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob	Well-Founded Semantics for Extended Datalog and Ontological Reasoning.	Description Logics	2013	DBLP BibTeX RDF
14	Mark Kaminski, Bernardo Cuenca Grau	Sufficient Conditions for First-Order and Datalog Rewritability in ELU.	Description Logics	2013	DBLP BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari	Preference-Based Query Answering in Datalog+/- Ontologies.	Description Logics	2013	DBLP BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Ignacio Simari	Preference-Based Query Answering in Datalog+/- Ontologies.	IJCAI	2013	DBLP BibTeX RDF
14	Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks 0001	Computing Datalog Rewritings Beyond Horn Ontologies.	IJCAI	2013	DBLP BibTeX RDF
14	Stephen H. Muggleton, Dianhuan Lin	Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited.	IJCAI	2013	DBLP BibTeX RDF
14	Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo	A Monotonic Extension for Horn-Clauses and its Significance in Datalog's Renaissance.	AMW	2013	DBLP BibTeX RDF
14	Matteo Interlandi, Letizia Tanca, Sonia Bergamaschi	Datalog in Time and Space, Synchronously.	AMW	2013	DBLP BibTeX RDF
14	Thomas Roelleke, Marco Bonzanini, Miguel Martinez-Alvarez	On the modelling of ranking algorithms in probabilistic datalog.	DBRank@VLDB	2013	DBLP DOI BibTeX RDF
14	Melita Hajdinjak, Andrej Bauer	Similarity-Based Relations in Datalog Programs.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2012	DBLP DOI BibTeX RDF
14	Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone	Magic Sets for disjunctive Datalog programs.	Artif. Intell.	2012	DBLP DOI BibTeX RDF
14	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna	Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues	CoRR	2012	DBLP BibTeX RDF
14	Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone	Magic Sets for Disjunctive Datalog Programs	CoRR	2012	DBLP BibTeX RDF
14	Yingyi Bu, Vinayak R. Borkar, Michael J. Carey 0001, Joshua Rosen, Neoklis Polyzotis, Tyson Condie, Markus Weimer, Raghu Ramakrishnan 0001	Scaling Datalog for Machine Learning on Big Data	CoRR	2012	DBLP BibTeX RDF
14	Bruno Marnette	Resolution and Datalog Rewriting Under Value Invention and Equality Constraints	CoRR	2012	DBLP BibTeX RDF
14	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	A general Datalog-based framework for tractable query answering over ontologies.	J. Web Semant.	2012	DBLP DOI BibTeX RDF
14	Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna	Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
14	Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers	Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation.	PADL	2012	DBLP DOI BibTeX RDF
14	Afef Bahri, Rafik Bouaziz, Faïez Gargouri	Towards an Efficient Datalog Based Evaluation of the FSAQL Query Language.	RED	2012	DBLP DOI BibTeX RDF
14	Bernd Neumayr, Stefan Anderlik, Michael Schrefl	Towards ontology-based OLAP: datalog-based reasoning over multidimensional ontologies.	DOLAP	2012	DBLP DOI BibTeX RDF
14	Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma	Probabilistic Ontologies in Datalog+/-.	CILC	2012	DBLP BibTeX RDF
14	Michael Benedikt, Pierre Bourhis, Pierre Senellart	Monadic Datalog Containment.	ICALP (2)	2012	DBLP DOI BibTeX RDF
14	Nikolaj S. Bjørner, Guido de Caso, Yuri Gurevich	From Primal Infon Logic with Individual Variables to Datalog.	Correct Reasoning	2012	DBLP DOI BibTeX RDF
14	Bart van Delft, Niklas Broberg, David Sands 0001	A Datalog Semantics for Paralocks.	STM	2012	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari	Inconsistency Handling in Datalog+/- Ontologies.	ECAI	2012	DBLP DOI BibTeX RDF
14	Matteo Interlandi	Enhancing Datalog with Epistemic Operators to Reason About Knowledge in Distributed Systems.	SEBD	2012	DBLP BibTeX RDF
14	Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo	An Extension of Datalog for Graph Queries.	SEBD	2012	DBLP BibTeX RDF
14	Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri	Efficient Query Answering over Datalog with Existential Quantifiers.	SEBD	2012	DBLP BibTeX RDF
14	Saumen C. Dey, Sven Köhler 0003, Shawn Bowers, Bertram Ludäscher	Datalog as a Lingua Franca for Provenance Querying and Reasoning.	TaPP	2012	DBLP BibTeX RDF
14	Edmund Soon Lee Lam, Iliano Cervesato	Modeling datalog fact assertion and retraction in linear logic.	PPDP	2012	DBLP DOI BibTeX RDF
14	Philippe Balbiani, Antoun Yaacoub	Deciding the Bisimilarity Relation between Datalog Goals.	JELIA	2012	DBLP DOI BibTeX RDF
14	Hendrik Decker	Datalog for Inconsistency-tolerant Knowledge Engineering.	KEOD	2012	DBLP BibTeX RDF
14	David Bednárek	Effective Datalog-like representation of procedural programs.	ITAT	2012	DBLP BibTeX RDF
14	Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri	Efficiently Computable Datalog∃ Programs.	KR	2012	DBLP BibTeX RDF
14	Georg Gottlob, Thomas Schwentick	Rewriting Ontological Queries into Small Nonrecursive Datalog Programs.	KR	2012	DBLP BibTeX RDF
14	Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma	Probabilistic Datalog+/- under the Distribution Semantics.	Description Logics	2012	DBLP BibTeX RDF
14	Giorgio Stefanoni, Boris Motik, Ian Horrocks 0001	Small Datalog Query Rewritings for EL.	Description Logics	2012	DBLP BibTeX RDF
14	Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris, Mantas Simkus	Datalog and Its Extensions for Semantic Web Databases.	Reasoning Web	2012	DBLP DOI BibTeX RDF
14	Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari	Consistent Answers in Probabilistic Datalog+/- Ontologies.	RR	2012	DBLP DOI BibTeX RDF
14	Cristina Civili	Research Summary: Datalog-Based Data Access.	RR	2012	DBLP DOI BibTeX RDF
14	Foto N. Afrati, Jeffrey D. Ullman	Transitive closure and recursive Datalog implemented on clusters.	EDBT	2012	DBLP DOI BibTeX RDF
14	Daniel Fitzner, Jörg Hoffmann 0001, Eva Klien	Functional description of geoprocessing services as conjunctive datalog queries.	GeoInformatica	2011	DBLP DOI BibTeX RDF
14	Gianluigi Greco, Antonella Guzzo, Domenico Saccà	Simulations on workflow management systems: A framework based on event choice datalog.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
14	Georg Gottlob, Thomas Schwentick	Rewriting Ontological Queries into Small Nonrecursive Datalog Programs	CoRR	2011	DBLP BibTeX RDF
14	Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers	Approximating Constraint Propagation in Datalog	CoRR	2011	DBLP BibTeX RDF
14	Torsten Stüber	Multioperator Weighted Monadic Datalog.		2011	RDF
14	Fernando Sáenz-Pérez, Rafael Caballero 0001, Yolanda García-Ruiz	A Deductive Database with Datalog and SQL Query Languages.	APLAS	2011	DBLP DOI BibTeX RDF
14	Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari	Answering Threshold Queries in Probabilistic Datalog+/- Ontologies.	SUM	2011	DBLP DOI BibTeX RDF
14	K. Tuncay Tekle, Yanhong A. Liu	More efficient datalog queries: subsumptive tabling beats magic sets.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
14	Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo	Datalog and emerging applications: an interactive tutorial.	SIGMOD Conference	2011	DBLP DOI BibTeX RDF
14	Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina	Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis.	SEBD	2011	DBLP BibTeX RDF
14	Victor Felea	Certain Answers for Views and Queries Expressed as Non-recursive Datalog Programs with Negation.	ACIIDS (1)	2011	DBLP DOI BibTeX RDF
14	Pierre Bourreau, Sylvain Salvati	A Datalog Recognizer for Almost Affine λ-CFGs.	MOL	2011	DBLP DOI BibTeX RDF
14	Niels Pahlavi, Stephen H. Muggleton	Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework.	ILP (Late Breaking Papers)	2011	DBLP DOI BibTeX RDF
14	Torsten Stüber	Multioperator Weighted Monadic Datalog.	Ausgezeichnete Informatikdissertationen	2011	DBLP BibTeX RDF
14	Moritz Y. Becker, Jason F. Mackay	Relaxed Safeness in Datalog-Based Policies.	RuleML America	2011	DBLP DOI BibTeX RDF
14	Georg Gottlob, Thomas Schwentick	Rewriting Ontological Queries into Small Nonrecursive Datalog Programs.	Description Logics	2011	DBLP BibTeX RDF
14	Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari	Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies.	RR	2011	DBLP DOI BibTeX RDF
14	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Monadic datalog over finite structures of bounded treewidth.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
14	Manuel Bodirsky, Jan Kára	A fast algorithm and datalog inexpressibility for temporal reasoning.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
14	Stavros S. Cosmadakis, Eugénie Foustoucos, Anastasios Sidiropoulos	Undecidability and intractability results concerning datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
14	Marco A. Feliú, Christophe Joubert, Fernando Tarin	Evaluation Strategies for Datalog-based Points-To Analysis.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2010	DBLP DOI BibTeX RDF
14	Francesca A. Lisi	Inductive Logic Programming in Databases: from Datalog to DL+log	CoRR	2010	DBLP BibTeX RDF
14	Andreas Blass, Yuri Gurevich	Hilbertian Deductive Systems, Infon Logic, and Datalog.	Bull. EATCS	2010	DBLP BibTeX RDF
14	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Tractable database design and datalog abduction through bounded treewidth.	Inf. Syst.	2010	DBLP DOI BibTeX RDF
14	Giorgio Orsi 0001, Letizia Tanca	Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
14	Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano	NP Datalog: A logic language for expressing search and optimization problems.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
14	Francesca A. Lisi	Inductive Logic Programming in Databases: From Datalog to DL+log.	Theory Pract. Log. Program.	2010	DBLP DOI BibTeX RDF
14	Royi Ronen, Oded Shmueli	Automated interaction in social networks with datalog.	CIKM	2010	DBLP DOI BibTeX RDF
14	Witold Charatonik, Piotr Witkowski 0001	On the Complexity of the Bernays-Schönfinkel Class with Datalog.	LPAR (Yogyakarta)	2010	DBLP DOI BibTeX RDF
14	Vivek Nigam, Limin Jia 0001, Anduo Wang, Boon Thau Loo, Andre Scedrov	An Operational Semantics for Network Datalog.	LAM@LICS	2010	DBLP DOI BibTeX RDF
14	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris	Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.	LICS	2010	DBLP DOI BibTeX RDF	Ontologies, Query Answering, Knowledge Representation and Reasoning
14	Miguel Martinez-Alvarez, Thomas Roelleke	Modelling Probabilistic Inference Networks and Classification in Probabilistic Datalog.	SUM	2010	DBLP DOI BibTeX RDF
14	Terry A. Halpin, Matthew Curland, Kurt Stirewalt, Navin Viswanath, Matthew J. McGill, Steven Beck	Mapping ORM to Datalog: An Overview.	OTM Workshops	2010	DBLP DOI BibTeX RDF
14	Molham Aref	Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk).	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
14	Mario Alviano	Dynamic Magic Sets for Disjunctive Datalog Programs.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
14	Stijn Heymans, Thomas Eiter, Guohui Xiao 0001	Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.	ECAI	2010	DBLP BibTeX RDF
14	Paolo Atzeni, Giorgio Gianforme, Daniele Toti	Polymorphism in Datalog and Inheritance in a Metamodel (Extended Abstract).	SEBD	2010	DBLP BibTeX RDF
14	K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu	Graph queries through datalog optimizations.	PPDP	2010	DBLP DOI BibTeX RDF
14	Paolo Atzeni, Giorgio Gianforme, Daniele Toti	Polymorphism in Datalog and Inheritance in a Metamodel.	FoIKS	2010	DBLP DOI BibTeX RDF
14	Dongxi Liu	XQuery meets Datalog: Data Relevance Query for workflow trustworthiness.	RCIS	2010	DBLP DOI BibTeX RDF
14	Andrea Calì, Georg Gottlob, Andreas Pieris	Query Answering under Non-guarded Rules in Datalog+/-.	RR	2010	DBLP DOI BibTeX RDF
14	Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt	On the Semantic Relationship between Datalog and Description Logics.	RR	2010	DBLP DOI BibTeX RDF
14	Grigoris Karvounarakis	Datalog.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
14	Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano	NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems	CoRR	2009	DBLP BibTeX RDF
14	Martin Grohe, Götz Schwandtner	The Complexity of Datalog on Linear Orders	Log. Methods Comput. Sci.	2009	DBLP BibTeX RDF
14	Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini	Fuzzy matchmaking in e-marketplaces of peer entities using Datalog.	Fuzzy Sets Syst.	2009	DBLP DOI BibTeX RDF
14	Eugénie Foustoucos, Irène Guessarian	Inf-datalog, Modal Logic and Complexities.	RAIRO Theor. Informatics Appl.	2009	DBLP DOI BibTeX RDF
14	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	Datalog Extensions for Tractable Query Answering over Ontologies.	Semantic Web Information Management	2009	DBLP DOI BibTeX RDF
14	Matthias Büchse, Torsten Stüber	Monadic Datalog Tree Transducers.	LATA	2009	DBLP DOI BibTeX RDF
14	Georg Gottlob	Datalog+/-: A Unified Approach to Ontologies and Integrity Constraints.	SEBD	2009	DBLP BibTeX RDF