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∃. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: 21st Italian Symposium on Advanced Database Systems, SEBD 2013, Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013., pp. 51-62, 2013, Curran Associates, 978-1-62993-949-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Development Tools for Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: 21st Italian Symposium on Advanced Database Systems, SEBD 2013, Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013., pp. 385-392, 2013, Curran Associates, 978-1-62993-949-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna |
Query Answering over Disjunctive Datalog with Existential Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: 21st Italian Symposium on Advanced Database Systems, SEBD 2013, Roccella Jonica, Reggio Calabria, Italy, June 30 - July 4, 2013., pp. 393-400, 2013, Curran Associates, 978-1-62993-949-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Fernando Sáenz-Pérez |
Implementing Tabled Hypothetical Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013, Herndon, VA, USA, November 4-6, 2013, pp. 596-601, 2013, IEEE Computer Society, 978-1-4799-2971-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE Workshops ![In: Current Trends in Web Engineering - ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers, pp. 192-206, 2013, Springer, 978-3-319-04243-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML (2) ![In: Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, July 11 -13, 2013, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2013 IEEE/WIC/ACM International Conferences on Web Intelligence, WI 2013, Atlanta, GA, USA, November 17-20, 2013, pp. 171-178, 2013, IEEE Computer Society, 978-1-4799-2902-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Complexity of Inconsistency-Tolerant Query Answering in Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 791-803, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob |
Well-Founded Semantics for Extended Datalog and Ontological Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 209-220, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Mark Kaminski, Bernardo Cuenca Grau |
Sufficient Conditions for First-Order and Datalog Rewritability in ELU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 271-293, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Preference-Based Query Answering in Datalog+/- Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013, pp. 804-815, 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo Ignacio Simari |
Preference-Based Query Answering in Datalog+/- Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 1017-1023, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos, Ian Horrocks 0001 |
Computing Datalog Rewritings Beyond Horn Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 832-838, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Stephen H. Muggleton, Dianhuan Lin |
Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 1551-1557, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo |
A Monotonic Extension for Horn-Clauses and its Significance in Datalog's Renaissance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Matteo Interlandi, Letizia Tanca, Sonia Bergamaschi |
Datalog in Time and Space, Synchronously. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, Puebla/Cholula, Mexico, May 21-23, 2013., 2013, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
14 | Thomas Roelleke, Marco Bonzanini, Miguel Martinez-Alvarez |
On the modelling of ranking algorithms in probabilistic datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBRank@VLDB ![In: 7th International Workshop on Ranking in Databases (co-located with VLDB 2013), DBRank 2013, Riva del Garda, Italy - August 30 - 30, 2013, pp. 4:1-4:6, 2013, ACM, 978-1-4503-2497-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Melita Hajdinjak, Andrej Bauer |
Similarity-Based Relations in Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. ![In: Int. J. Uncertain. Fuzziness Knowl. Based Syst. 20(5), pp. 673-700, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Magic Sets for disjunctive Datalog programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 187, pp. 156-192, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 8(1), 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1210.2316, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Mario Alviano, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Magic Sets for Disjunctive Datalog Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.6346, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.0160, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Bruno Marnette |
Resolution and Datalog Rewriting Under Value Invention and Equality Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.0254, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
A general Datalog-based framework for tractable query answering over ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Web Semant. ![In: J. Web Semant. 14, pp. 57-83, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 12(4-5), pp. 701-718, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
Optimizing Inequality Joins in Datalog with Approximated Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings, pp. 108-122, 2012, Springer, 978-3-642-27693-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Afef Bahri, Rafik Bouaziz, Faïez Gargouri |
Towards an Efficient Datalog Based Evaluation of the FSAQL Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RED ![In: Resource Discovery - 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers, pp. 150-180, 2012, Springer, 978-3-642-45262-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Bernd Neumayr, Stefan Anderlik, Michael Schrefl |
Towards ontology-based OLAP: datalog-based reasoning over multidimensional ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2012, ACM 15th International Workshop on Data Warehousing and OLAP, Maui, HI, USA, November 2, 2012, Proceedings, pp. 41-48, 2012, ACM, 978-1-4503-1721-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma |
Probabilistic Ontologies in Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CILC ![In: Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012, pp. 221-235, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Michael Benedikt, Pierre Bourhis, Pierre Senellart |
Monadic Datalog Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II, pp. 79-91, 2012, Springer, 978-3-642-31584-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Nikolaj S. Bjørner, Guido de Caso, Yuri Gurevich |
From Primal Infon Logic with Individual Variables to Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct Reasoning ![In: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, pp. 72-86, 2012, Springer, 978-3-642-30742-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Bart van Delft, Niklas Broberg, David Sands 0001 |
A Datalog Semantics for Paralocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STM ![In: Security and Trust Management - 8th International Workshop, STM 2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers, pp. 305-320, 2012, Springer, 978-3-642-38003-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Inconsistency Handling in Datalog+/- Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012, pp. 558-563, 2012, IOS Press, 978-1-61499-097-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Matteo Interlandi |
Enhancing Datalog with Epistemic Operators to Reason About Knowledge in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Twentieth Italian Symposium on Advanced Database Systems, SEBD 2012, Venice, Italy, June 24-27, 2012, Proceedings, pp. 265-270, 2012, Edizioni Libreria Progetto, Padova, Italy, 978-88-96477-23-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo |
An Extension of Datalog for Graph Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Twentieth Italian Symposium on Advanced Database Systems, SEBD 2012, Venice, Italy, June 24-27, 2012, Proceedings, pp. 177-184, 2012, Edizioni Libreria Progetto, Padova, Italy, 978-88-96477-23-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficient Query Answering over Datalog with Existential Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Twentieth Italian Symposium on Advanced Database Systems, SEBD 2012, Venice, Italy, June 24-27, 2012, Proceedings, pp. 155-162, 2012, Edizioni Libreria Progetto, Padova, Italy, 978-88-96477-23-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TaPP ![In: 4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012, 2012, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Edmund Soon Lee Lam, Iliano Cervesato |
Modeling datalog fact assertion and retraction in linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012, pp. 67-78, 2012, ACM, 978-1-4503-1522-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Philippe Balbiani, Antoun Yaacoub |
Deciding the Bisimilarity Relation between Datalog Goals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, pp. 67-79, 2012, Springer, 978-3-642-33352-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Hendrik Decker |
Datalog for Inconsistency-tolerant Knowledge Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: KEOD 2012 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Barcelona, Spain, 4 - 7 October, 2012., pp. 296-301, 2012, SciTePress, 978-989-8565-30-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | David Bednárek |
Effective Datalog-like representation of procedural programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITAT ![In: Proceedings of the Conference on Theory and Practice of Information Technologies, Belianske Tatry, Slovak Republic, September 17-21, 2012, pp. 9-16, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Nicola Leone, Marco Manna, Giorgio Terracina, Pierfrancesco Veltri |
Efficiently Computable Datalog∃ Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012, AAAI Press, 978-1-57735-560-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012, AAAI Press, 978-1-57735-560-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma |
Probabilistic Datalog+/- under the Distribution Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Giorgio Stefanoni, Boris Motik, Ian Horrocks 0001 |
Small Datalog Query Rewritings for EL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
14 | Georg Gottlob, Giorgio Orsi 0001, Andreas Pieris, Mantas Simkus |
Datalog and Its Extensions for Semantic Web Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings, pp. 54-77, 2012, Springer, 978-3-642-33157-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari |
Consistent Answers in Probabilistic Datalog+/- Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 156-171, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Cristina Civili |
Research Summary: Datalog-Based Data Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings, pp. 272-277, 2012, Springer, 978-3-642-33202-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Foto N. Afrati, Jeffrey D. Ullman |
Transitive closure and recursive Datalog implemented on clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: 15th International Conference on Extending Database Technology, EDBT '12, Berlin, Germany, March 27-30, 2012, Proceedings, pp. 132-143, 2012, ACM, 978-1-4503-0790-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Fitzner, Jörg Hoffmann 0001, Eva Klien |
Functional description of geoprocessing services as conjunctive datalog queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GeoInformatica ![In: GeoInformatica 15(1), pp. 191-221, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà |
Simulations on workflow management systems: A framework based on event choice datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligenza Artificiale ![In: Intelligenza Artificiale 5(2), pp. 189-206, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1106.3767, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Dario Campagna, Beata Sarna-Starosta, Tom Schrijvers |
Approximating Constraint Propagation in Datalog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1112.3787, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Torsten Stüber |
Multioperator Weighted Monadic Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
14 | Fernando Sáenz-Pérez, Rafael Caballero 0001, Yolanda García-Ruiz |
A Deductive Database with Datalog and SQL Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings, pp. 66-73, 2011, Springer, 978-3-642-25317-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari |
Answering Threshold Queries in Probabilistic Datalog+/- Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings, pp. 401-414, 2011, Springer, 978-3-642-23962-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | K. Tuncay Tekle, Yanhong A. Liu |
More efficient datalog queries: subsumptive tabling beats magic sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2011, Athens, Greece, June 12-16, 2011, pp. 661-672, 2011, ACM, 978-1-4503-0661-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo |
Datalog and emerging applications: an interactive tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2011, Athens, Greece, June 12-16, 2011, pp. 1213-1216, 2011, ACM, 978-1-4503-0661-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Sistemi Evoluti per Basi di Dati - SEBD 2011, Proceedings of the Nineteenth Italian Symposium on Advanced Database Systems, Maratea, Italy, June 26-29, 2011, pp. 295-302, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Victor Felea |
Certain Answers for Views and Queries Expressed as Non-recursive Datalog Programs with Negation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIIDS (1) ![In: Intelligent Information and Database Systems - Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I, pp. 67-77, 2011, Springer, 978-3-642-20038-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Pierre Bourreau, Sylvain Salvati |
A Datalog Recognizer for Almost Affine λ-CFGs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOL ![In: The Mathematics of Language - 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings, pp. 21-38, 2011, Springer, 978-3-642-23210-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Niels Pahlavi, Stephen H. Muggleton |
Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ILP (Late Breaking Papers) ![In: Latest Advances in Inductive Logic Programming, ILP 2011, Late Breaking Papers, Windsor Great Park, UK, July 31 - August 3, 2011., pp. 209-216, 2011, Imperial College Press / World Scientific, 978-1-78326-508-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Torsten Stüber |
Multioperator Weighted Monadic Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ausgezeichnete Informatikdissertationen ![In: Ausgezeichnete Informatikdissertationen 2011, pp. 221-230, 2011, GI, 978-3-88579-416-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Moritz Y. Becker, Jason F. Mackay |
Relaxed Safeness in Datalog-Based Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML America ![In: Rule-Based Modeling and Computing on the Semantic Web, 5th International Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings, pp. 49-57, 2011, Springer, 978-3-642-24907-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Thomas Schwentick |
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
14 | Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari |
Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings, pp. 77-92, 2011, Springer, 978-3-642-23579-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Monadic datalog over finite structures of bounded treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 12(1), pp. 3:1-3:48, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Manuel Bodirsky, Jan Kára |
A fast algorithm and datalog inexpressibility for temporal reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 11(3), pp. 15:1-15:21, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 11(2), pp. 12:1-12:29, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Marco A. Feliú, Christophe Joubert, Fernando Tarin |
Evaluation Strategies for Datalog-based Points-To Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Francesca A. Lisi |
Inductive Logic Programming in Databases: from Datalog to DL+log ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.2586, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Andreas Blass, Yuri Gurevich |
Hilbertian Deductive Systems, Infon Logic, and Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 102, pp. 122-150, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Tractable database design and datalog abduction through bounded treewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 35(3), pp. 278-298, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 10(3), pp. 243-250, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 10(2), pp. 125-166, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Francesca A. Lisi |
Inductive Logic Programming in Databases: From Datalog to DL+log. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 10(3), pp. 331-359, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Royi Ronen, Oded Shmueli |
Automated interaction in social networks with datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 19th ACM Conference on Information and Knowledge Management, CIKM 2010, Toronto, Ontario, Canada, October 26-30, 2010, pp. 1273-1276, 2010, ACM, 978-1-4503-0099-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Witold Charatonik, Piotr Witkowski 0001 |
On the Complexity of the Bernays-Schönfinkel Class with Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (Yogyakarta) ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings, pp. 187-201, 2010, Springer, 978-3-642-16241-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Vivek Nigam, Limin Jia 0001, Anduo Wang, Boon Thau Loo, Andre Scedrov |
An Operational Semantics for Network Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAM@LICS ![In: 3rd International Workshop on Logics, Agents, and Mobility, LAM'10, Edinburgh, UK, July 14, 2010, pp. 68-81, 2010, EasyChair. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 228-242, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SUM ![In: Scalable Uncertainty Management - 4th International Conference, SUM 2010, Toulouse, France, September 27-29, 2010. Proceedings, pp. 278-291, 2010, Springer, 978-3-642-15950-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2010 Workshops - Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings, pp. 504-513, 2010, Springer, 978-3-642-16960-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Molham Aref |
Datalog for Enterprise Software: from Industrial Applications to Research (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, pp. 1, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-17-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Mario Alviano |
Dynamic Magic Sets for Disjunctive Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP (Technical Communications) ![In: Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK, pp. 226-235, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-17-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Stijn Heymans, Thomas Eiter, Guohui Xiao 0001 |
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 35-40, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Paolo Atzeni, Giorgio Gianforme, Daniele Toti |
Polymorphism in Datalog and Inheritance in a Metamodel (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, SEBD 2010, Rimini, Italy, June 20-23, 2010, pp. 398-405, 2010, Esculapio Editore, 978-88-7488-369-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | K. Tuncay Tekle, Michael Gorbovitski, Yanhong A. Liu |
Graph queries through datalog optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 25-34, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Atzeni, Giorgio Gianforme, Daniele Toti |
Polymorphism in Datalog and Inheritance in a Metamodel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoIKS ![In: Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings, pp. 114-132, 2010, Springer, 978-3-642-11828-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Dongxi Liu |
XQuery meets Datalog: Data Relevance Query for workflow trustworthiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RCIS ![In: Proceedings of the Fourth IEEE International Conference on Research Challenges in Information Science, RCIS 2010, Nice, France, May 19-21, 2010, pp. 169-174, 2010, IEEE, 978-1-4244-4840-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Calì, Georg Gottlob, Andreas Pieris |
Query Answering under Non-guarded Rules in Datalog+/-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings, pp. 1-17, 2010, Springer, 978-3-642-15917-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt |
On the Semantic Relationship between Datalog and Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RR ![In: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings, pp. 88-102, 2010, Springer, 978-3-642-15917-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Grigoris Karvounarakis |
Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 751-754, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0911.2785, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Martin Grohe, Götz Schwandtner |
The Complexity of Datalog on Linear Orders ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 5(1), 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 160(2), pp. 251-268, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Eugénie Foustoucos, Irène Guessarian |
Inf-datalog, Modal Logic and Complexities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 43(1), pp. 1-21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
Datalog Extensions for Tractable Query Answering over Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantic Web Information Management ![In: Semantic Web Information Management - A Model-Based Perspective, pp. 249-279, 2009, Springer, 978-3-642-04328-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Büchse, Torsten Stüber |
Monadic Datalog Tree Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings, pp. 267-278, 2009, Springer, 978-3-642-00981-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob |
Datalog+/-: A Unified Approach to Ontologies and Integrity Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEBD ![In: Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, SEBD 2009, Camogli, Italy, June 21-24, 2009, pp. 5-6, 2009, Edizioni Seneca, 978-88-6122-154-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|