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 |
|