Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract). |
SEBD |
2009 |
DBLP BibTeX RDF |
|
14 | Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nissen, Christoph Quix, Martin Staudt 0001 |
Metamodelling with Datalog and Classes: ConceptBase at the Age of 21. |
ICOODB |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Ajay Khoche, Jay Katz, Sauro Landini, Kochen Liao, Neetu Agrawal, Glenn Plowman, Songlin Zuo, Liyang Lai, John Rowe, Thomas Zanon |
STDF Memory Fail Datalog Standard. |
VTS |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Calì, Georg Gottlob, Thomas Lukasiewicz |
Tractable Query Answering over Ontologies with Datalog+/-. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
14 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
Defining Datalog in Rewriting Logic. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
14 | |
Query, Datalog. |
Encyclopedia of GIS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | |
Datalog, SQL. |
Encyclopedia of GIS |
2008 |
DBLP DOI BibTeX RDF |
|
14 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer. |
PROLE |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Torsten Stüber, Heiko Vogler |
Weighted monadic datalog. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Blass, Yuri Gurevich |
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog |
CoRR |
2008 |
DBLP BibTeX RDF |
|
14 | Manuel Bodirsky, Víctor Dalmau |
Datalog and Constraint Satisfaction with Infinite Templates |
CoRR |
2008 |
DBLP BibTeX RDF |
|
14 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Monadic Datalog over Finite Structures with Bounded Treewidth |
CoRR |
2008 |
DBLP BibTeX RDF |
|
14 | Andreas Blass, Yuri Gurevich |
Two Forms of One Useful Logic: Existential Fixed Point Logic and Liberal Datalog. |
Bull. EATCS |
2008 |
DBLP BibTeX RDF |
|
14 | Sergio Greco, Luigi Palopoli 0001, Nicola Leone, Pasquale Rullo, Domenico Saccà |
Logic Programming in DataLog: A Long Tour from Theory to Practice. |
Il Milione |
2008 |
DBLP BibTeX RDF |
|
14 | Paolo Atzeni, Giorgio Gianforme |
Inheritance and Polymorphism in Datalog: an experience in Model Management. |
EJC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | David Bednárek |
Extending Datalog to cover XQuery. |
ITAT |
2008 |
DBLP BibTeX RDF |
|
14 | Ismail Khalil Ibrahim, Mohamed Ali Feki, Gabriele Kotsis |
A Datalog Model for Context Reasoning in Pervasive Environments. |
ISPA |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ajay Khoche, Phil Burlison, John Rowe, Glenn Plowman |
A Tutorial on STDF Fail Datalog Standard. |
ITC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Elnar Hajiyev |
Datalog as a pointcut language. |
|
2008 |
RDF |
|
14 | Goetz Schwandtner |
Datalog on infinite structures. (PDF / PS) |
|
2008 |
RDF |
|
14 | Rafael Caballero 0001, Yolanda García-Ruiz, Fernando Sáenz-Pérez |
A New Proposal for Debugging Datalog Programs. |
WFLP@RDP |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Marianne Winslett |
Boon Thau Loo speaks out: on his SIGMOD dissertation award, better networking through datalog, life as an assistant professor, and more. |
SIGMOD Rec. |
2007 |
DBLP DOI BibTeX RDF |
|
14 | László Egri, Benoît Larose, Pascal Tesson |
Symmetric Datalog and Constraint Satisfaction Problems in Logspace. |
Electron. Colloquium Comput. Complex. |
2007 |
DBLP BibTeX RDF |
|
14 | Robson da Luz, Mirian Halfeld Ferrari Alves, Martin A. Musicante |
Regular expression transformations to extend regular languages (with application to a Datalog XML schema validator). |
J. Algorithms |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Reinhard Pichler, Fang Wei 0001 |
Efficient Datalog Abduction through Bounded Treewidth. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
14 | Azzurra Ragone, Umberto Straccia, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
Extending Datalog for Matchmaking in P2P E-Marketplaces. |
SEBD |
2007 |
DBLP BibTeX RDF |
|
14 | Jan Frederik Forst, Thomas Roelleke, Anastasios Tombros |
Modelling a Summarisation Logic in Probabilistic Datalog. |
LWA |
2007 |
DBLP BibTeX RDF |
|
14 | Ágnes Achs |
From Fuzzy - to Bipolar - Datalog. |
EUSFLAT Conf. (2) |
2007 |
DBLP BibTeX RDF |
|
14 | Jianfeng Du, Yi-Dong Shen |
Partitioning ABoxes Based on Converting DL to Plain Datalog. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
14 | Warren Shen, AnHai Doan, Jeffrey F. Naughton, Raghu Ramakrishnan 0001 |
Declarative Information Extraction Using Datalog with Embedded Extraction Predicates. |
VLDB |
2007 |
DBLP BibTeX RDF |
|
14 | Makoto Kanazawa |
Parsing and Generation as Datalog Queries. |
ACL |
2007 |
DBLP BibTeX RDF |
|
14 | Petros Potikas, Panos Rondogiannis, Manolis Gergatsoulis |
A Value-propagating Transformation Technique for Datalog Programs Based on Non-Deterministic Constructs. |
Fundam. Informaticae |
2006 |
DBLP BibTeX RDF |
|
14 | Henrik Nottelmann, Norbert Fuhr |
Adding Probabilities and Rules to Owl Lite Subsets Based on Probabilistic Datalog. |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Eugénie Foustoucos, Irène Guessarian |
Complexity of Monadic inf-datalog. Application to temporal logic |
CoRR |
2006 |
DBLP BibTeX RDF |
|
14 | Edna Ruckhaus, Vladimir Kolovski, Bijan Parsia, Bernardo Cuenca Grau |
Integrating Datalog with OWL: Exploring the AL-log Approach. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Riccardo Rosati 0001 |
DL+log: Tight Integration of Description Logics and Disjunctive Datalog. |
KR |
2006 |
DBLP BibTeX RDF |
|
14 | Antonella Guzzo, Domenico Saccà |
Semi-Inflationary DATALOG: A declarative database language with procedural features. |
AI Commun. |
2005 |
DBLP BibTeX RDF |
|
14 | Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, Eugénie Foustoucos, Irène Guessarian |
On relating CTL to Datalog |
CoRR |
2005 |
DBLP BibTeX RDF |
|
14 | Víctor Dalmau |
Linear Datalog and Bounded Path Duality of Relational Structures |
CoRR |
2005 |
DBLP BibTeX RDF |
|
14 | Víctor Dalmau |
Linear datalog and bounded path duality of relational structures. |
Log. Methods Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Greco, Ester Zumpano |
Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries. |
Encyclopedia of Database Technologies and Applications |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Greco, Ester Zumpano |
Rewriting and Efficient Computation of Bound Disjunctive Datalog Queries. |
Encyclopedia of Database Technologies and Applications |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Gergely Lukácsy, Zsolt Nagy |
Open World Reasoning in Datalog. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ullrich Hustadt, Boris Motik |
Description Logics and Disjunctive Datalog - The Story so Far. |
Description Logics |
2005 |
DBLP BibTeX RDF |
|
14 | Elisa Bertino, Barbara Catania, Roberta Gori |
Enhancing the expressive power of the U-Datalog language |
CoRR |
2004 |
DBLP BibTeX RDF |
|
14 | Ji-Hoon Kang, Ki-Hyung Hong, Kyu-Young Whang, Jung Wan Cho |
Generalization of ZYT-linearizability for bilinear datalog programs. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jan Maluszynski, Aida Vitória |
Toward Rough Datalog: Embedding Rough Sets in Prolog. |
Rough-Neural Computing: Techniques for Computing with Words |
2004 |
DBLP BibTeX RDF |
|
14 | Christian Mancas, Simona Dragomir |
Matbase datalog¬ subsystem meta-catalog conceptual design. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
14 | Piero A. Bonatti |
On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Siegfried Nijssen, Joost N. Kok |
Ideal Refinement of Datalog Clauses Using Primary Keys. |
ECAI |
2004 |
DBLP BibTeX RDF |
|
14 | Vincenzino Lio, Gerald Pfeifer |
Interoperabilita' tra sistemi Datalog disgiuntivi e DBMS: DLV. |
SEBD |
2004 |
DBLP BibTeX RDF |
|
14 | Gerd Stumme |
Iceberg Query Lattices for Datalog. |
LWA |
2004 |
DBLP BibTeX RDF |
|
14 | Ullrich Hustadt, Boris Motik, Ulrike Sattler |
Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. |
KR |
2004 |
DBLP BibTeX RDF |
|
14 | Mengchi Liu |
Extending Datalog with Declarative Updates. |
J. Intell. Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Foto N. Afrati, Manolis Gergatsoulis, Francesca Toni |
Linearisability on datalog programs. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Irène Guessarian, Eugénie Foustoucos, Theodore Andronikos, Foto N. Afrati |
On temporal logic versus datalog. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Greco, Carlo Zaniolo |
Greedy Algorithms in Datalog |
CoRR |
2003 |
DBLP BibTeX RDF |
|
14 | Georg Gottlob, Christos H. Papadimitriou |
On the complexity of single-rule datalog queries. |
Inf. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco |
Improving Query Optimization for Disjunctive Datalog. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
14 | Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian |
From CTL to Datalog. |
PCK50 |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Brass |
Eine auf Datalog basierende XML-Anfragesprache. |
Grundlagen von Datenbanken |
2003 |
DBLP BibTeX RDF |
|
14 | Ignacio J. Blanco, Olga Pons, José-María Serrano, María Amparo Vila Miranda |
Deduction in a GEFRED database using Datalog. |
EUSFLAT Conf. |
2003 |
DBLP BibTeX RDF |
|
14 | Raphael Volz, Steffen Staab, Boris Motik |
Incremental Maintenance of dynamic Datalog programs. |
PSSS |
2003 |
DBLP BibTeX RDF |
|
14 | Martin Grohe |
Monadic Datalog on Trees (Invited Talk). |
FICS |
2003 |
DBLP BibTeX RDF |
|
14 | Stefano Basta, Sergio Flesca, Sergio Greco |
Functional Queries in Datalog. |
New Gener. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Georg Gottlob, Christoph Koch 0001 |
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction |
CoRR |
2002 |
DBLP BibTeX RDF |
|
14 | Antonella Guzzo, Domenico Saccà |
Modelling the Future with Event Choice DATALOG. |
APPIA-GULP-PRODE |
2002 |
DBLP BibTeX RDF |
|
14 | Jan Blatak, Lubos Popelínský, Miloslav Nepil |
RAP: Framework for Mining Frequent Datalog Patterns. |
KDID |
2002 |
DBLP BibTeX RDF |
|
14 | Yann Loyer, Nicolas Spyratos |
Sémantique des programmes Datalog avec négation sous hypothèses non-uniformes. |
BDA |
2002 |
DBLP BibTeX RDF |
|
14 | José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places |
A Semantic Query Optimization Approach to Optimize Linear Datalog Programs. |
ADBIS |
2002 |
DBLP DOI BibTeX RDF |
|
14 | Panos Rondogiannis, Manolis Gergatsoulis |
The Branching-Time Transformation Technique for Chain Datalog Programs. |
J. Intell. Inf. Syst. |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Elisa Bertino, Barbara Catania, Roberta Gori |
Enhancing the expressive power of the U-Datalog language. |
Theory Pract. Log. Program. |
2001 |
DBLP BibTeX RDF |
|
14 | Sergio Greco, Carlo Zaniolo |
Greedy Algorithms in Datalog. |
Theory Pract. Log. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Henrik Nottelmann, Norbert Fuhr |
Learning Probabilistic Datalog Rules for Information Classification and Transformation. |
CIKM |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Norbert Fuhr |
Probabilistic datalog: Implementing logical information retrieval for advanced applications. |
J. Am. Soc. Inf. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Rachel Ben-Eliyahu-Zohary, Luigi Palopoli 0001, Victoria Zemlyanker |
More on tractable disjunctive Datalog. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Flum, Max Kubierschky, Bertram Ludäscher |
Games and total Datalog¬ queries. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Victor Vianu |
Review - Hypothetical Datalog: Complexity and Expressibility. |
ACM SIGMOD Digit. Rev. |
2000 |
DBLP BibTeX RDF |
|
14 | Deborah East, Miroslaw Truszczynski |
DATALOG with constraints - an answer-set programming system |
CoRR |
2000 |
DBLP BibTeX RDF |
|
14 | Deborah East, Miroslaw Truszczynski |
dcs: An Implementation of DATALOG with Constraints |
CoRR |
2000 |
DBLP BibTeX RDF |
|
14 | Ron van der Meyden |
Predicate Boundedness of Linear Monadic Datalog is in PSPACE. |
Int. J. Found. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Erich Grädel |
Efficient Evaluation Methods for Guarded Logics and Datalog LITE. |
LPAR |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Peter Z. Revesz |
Datalog and Constraints. |
Constraint Databases |
2000 |
DBLP BibTeX RDF |
|
14 | Deborah East, Miroslaw Truszczynski |
DATALOG with Constraints - An Answer-Set Programming System. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
14 | José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Héctor J. Hernández |
Un Procedimiento de Optimización Semántica de Programas Datalog. |
JISBD |
2000 |
DBLP BibTeX RDF |
|
14 | Luc Dehaspe, Hannu Toivonen |
Discovery of Frequent DATALOG Patterns. |
Data Min. Knowl. Discov. |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Brodsky 0001, Yehoshua Sagiv |
Inference of monotonicity constraints in Datalog programs. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Greco, Domenico Saccà |
Complexity and Expressive Power of Deterministic Semantics for DATALOG¬. |
Inf. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Jerzy Marcinkowski |
Achilles, Turtle, and Undecidable Boundedness Problems for Small DATALOG Programs. |
SIAM J. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ombretta Arvigo, Barbara Catania |
Integrity Constraint Checking in U-Datalog |
SEBD |
1999 |
DBLP BibTeX RDF |
|
14 | Riccardo Rosati 0001 |
Towards expressive KR systems integrating datalog and description logics: preliminary report. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
14 | Fosca Giannotti, Dino Pedreschi |
Datalog with Non-Deterministic Choice Computers NDB-PTIME. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | David Toman 0001, Jan Chomicki |
Datalog with Integer Periodicity Constraints. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Michael Meskes |
Subsumption-Stratified Datalog. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Mengchi Liu |
Relationlog: A Typed Extension to Datalog with Sets and Tuples. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Peter Z. Revesz |
The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases. |
Int. J. Algebra Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Greco |
Non-Determinism and Weak Constraints in Datalog. |
New Gener. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf |
AL-log: Integrating Datalog and Description Logics. |
J. Intell. Inf. Syst. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Marco Cadoli, Luigi Palopoli 0001 |
Circumscribing DATALOG: Expressive Power and Complexity. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Sérgio Lifschitz, Victor Vianu |
A Probabilistic View of Datalog Parallelization. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|