|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 649 occurrences of 303 keywords
|
|
|
Results
Found 1398 publication records. Showing 1398 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
29 | Andrea Calì, Davide Martinenghi |
Conjunctive Query Containment under Access Limitations. |
ER |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Stephan Grimm, Uwe Keller, Holger Lausen, Gábor Nagypál |
A Reasoning Framework for Rule-Based WSML. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Katia Hristova, K. Tuncay Tekle, Yanhong A. Liu |
Efficient trust management policy analysis from rules. |
PPDP |
2007 |
DBLP DOI BibTeX RDF |
security, algorithm, access control, time complexity, policy analysis |
29 | C. R. Ramakrishnan 0001, I. V. Ramakrishnan, David Scott Warren |
Deductive Spreadsheets Using Tabled Logic Programming. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Harold Boley |
The RuleML Family of Web Rule Languages. |
PPSWR |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Andrea Calì, Diego Calvanese |
Optimising Query Answering in the Presence of Access Limitations (Position Paper). |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel |
Context-sensitive program analysis as database queries. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Magic Sets and Their Application to Data Integration. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Érick Alphonse, Stan Matwin |
Filtering Multi-Instance Problems to Reduce Dimensionality in Relational Learning. |
J. Intell. Inf. Syst. |
2004 |
DBLP DOI BibTeX RDF |
relational learning, feature subset selection, propositionalization |
29 | Gianluigi Greco, Antonella Guzzo, Domenico Saccà |
Reasoning on Workflow Executions. |
ADBIS |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Francesca A. Lisi, Donato Malerba |
Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning. |
AI*IA |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Foto N. Afrati, Manolis Gergatsoulis, Theodoros G. Kavalieros |
Answering Queries Using Materialized Views with Disjunctions. |
ICDT |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Francesco Buccafurri, Sergio Greco, Domenico Saccà |
The Expressive Power of Unique Total Stable Model Semantics. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Elisa Bertino, Giovanna Guerrini, Danilo Montesi |
Deductive Object Databases. |
ECOOP |
1994 |
DBLP DOI BibTeX RDF |
object based paradigm, composite databases, transactional behavior, Logic languages |
29 | Georges Gardarin, Jerry Kiernan |
Deductive Database Rule Languages: Analysis and Case Study. |
IBM Symposium: Database Systems of the 90s |
1990 |
DBLP DOI BibTeX RDF |
|
29 | Phokion G. Kolaitis, Christos H. Papadimitriou |
Why Not Negation by Fixpoint? |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Moshe Y. Vardi |
Decidability and Undecidability Results for Boundedness of Linear Recursive Queries. |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Pierre-Léo Bégay |
Developing and certifying in Coq/MathComp of Datalog optimizations for network verification. (Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau). |
|
2021 |
RDF |
|
29 | Alexandru Dura, Hampus Balldin, Christoph Reichenbach |
MetaDL: analysing Datalog in Datalog. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Alexandr Kazda |
nnn-permutability and linear Datalog implies symmetric Datalog. |
Log. Methods Comput. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Thomas Rebele, Thomas Pellissier Tanon, Fabian M. Suchanek |
Bash Datalog: Answering Datalog Queries with Unix Shell Commands. |
ISWC (1) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
29 | Stefania-Gabriela Dumbrava |
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog. (A Coq Formalization of Relational and Deductive Databases -and a Mechanizations of Datalog). |
|
2016 |
RDF |
|
29 | Alexandr Kazda |
$n$-permutability and linear Datalog implies symmetric Datalog. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
29 | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
29 | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning. |
AAAI |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Mark Kaminski, Yavor Nenov, Bernardo Cuenca Grau |
Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
29 | Sergio Greco, Ester Zumpano |
On the rewriting and efficient computation of bound disjunctive datalog queries. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
magic-set technique, logic programming, constraints, theory, disjunctive datalog |
29 | Anthony J. Bonner |
Workflow, Transactions, and Datalog. |
PODS |
1999 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Alberto Sulaiman |
Using Datalog Data Model and Data Mining to Solve Bill of Materials Personalization Problems. |
WECWIS |
1999 |
DBLP DOI BibTeX RDF |
Data Mining, Databases, Datalog, eCommerce, eBusiness |
29 | Alon Y. Levy, Yehoshua Sagiv |
Semantic Query Optimization in Datalog Programs. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Giansalvatore Mecca, Anthony J. Bonner |
Sequences, Datalog and Transducers. |
PODS |
1995 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Kenneth A. Ross |
Modular Stratification and Magic Sets for Datalog Programs with Negation. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
modular stratification, rule rewriting, well-sounded semantics, Datalog, deductive databases, stratification, magic sets |
29 | Erich Grädel, Gregory L. McColm |
Hierarchies in Transitive Closure Logic, Stratified Datalog and Infinitary Logic |
FOCS |
1992 |
DBLP DOI BibTeX RDF |
universal quantifiers, transitive closure logic, stratified Datalog, general hierarchy theorem, quantifier classes, infinitary logic |
29 | Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson, Moshe Y. Vardi |
Tools for Datalog Boundedness. |
PODS |
1991 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Foto N. Afrati, Stavros S. Cosmadakis, Mihalis Yannakakis |
On Datalog vs. Polynomial Time. |
PODS |
1991 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Jürgen Seib, Georg Lausen |
Parallelizing Datalog Programs by Generalized Pivoting. |
PODS |
1991 |
DBLP DOI BibTeX RDF |
Datalog |
29 | S. Seshadri, Jeffrey F. Naughton |
On the Expected Size of Recursive Datalog Queries. |
PODS |
1991 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Kenneth A. Ross |
Modular Stratification and Magic Sets for DATALOG Programs with Negation. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Stefano Ceri, Georg Gottlob, Letizia Tanca |
What you Always Wanted to Know About Datalog (And Never Dared to Ask). |
IEEE Trans. Knowl. Data Eng. |
1989 |
DBLP DOI BibTeX RDF |
optimisation methods, semantics, logic programming, logic programming, relational database, relational databases, query languages, Datalog, syntax, database query language |
29 | Miklós Ajtai, Yuri Gurevich |
Datalog vs. First-Order Logic |
FOCS |
1989 |
DBLP DOI BibTeX RDF |
finite structure, first-order languages, first-order expressible datalog query, compactness theorem, first-order logic, bounded |
29 | Anthony J. Bonner |
Hypothetical Datalog: Negation and Linear Recursion. |
PODS |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
29 | Yuri Gurevich, Itay Neeman |
DKAL: Distributed-Knowledge Authorization Language. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
Datalog with constraints, existential fixed-point logic, infon, security, access control, authorization, Datalog, information leakage, distributed knowledge |
29 | Ouri Wolfson, Aya Ozeri |
Parallel and Distributed Processing of Rules by Data Reduction. |
IEEE Trans. Knowl. Data Eng. |
1993 |
DBLP DOI BibTeX RDF |
parallel processing of rules, distributed processing of rules, datalog rule programs, rule-instantiations, seminaive evaluation, stratified-negation datalog programs, logic programming, knowledge based systems, distributed databases, communication network, data-reduction, communication overhead, decomposability |
29 | Sergio Greco, Nicola Leone, Pasquale Rullo |
COMPLEX: An Object-Oriented Logic Programming System. |
IEEE Trans. Knowl. Data Eng. |
1992 |
DBLP DOI BibTeX RDF |
object-oriented logic programming system, knowledge-based applications, Complex-Datalog, C-Datalog, semantic constructs, bottom-up computational model, fully declarative style of programming, top-down model, COMPLEX, object-oriented programming, logic programming, knowledge based systems, tool, software prototyping, prototypical implementation, logic language |
24 | |
Datalog Query Processing and Optimization. |
Encyclopedia of Database Systems |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Harold Boley |
RIF RuleML Rosetta Ring: Round-Tripping the Dlex Subset of Datalog RuleML and RIF-Core. |
RuleML |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin |
DatalogDL: Datalog Rules Parameterized by Description Logics. |
CSWWS |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Henrik Nottelmann |
PIRE: An Extensible IR Engine Based on Probabilistic Datalog. |
ECIR |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Qing Zhou, Ligong Long |
Sedatalog: A Set Extension of Datalog. |
Intelligent Information Processing |
2004 |
DBLP DOI BibTeX RDF |
The order of a set, The order of predicate, n-th order set |
24 | Chiara Cumbo, Wolfgang Faber 0001, Gianluigi Greco, Nicola Leone |
Enhancing the Magic-Set Method for Disjunctive Datalog Programs. |
ICLP |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Yann Loyer, Nicolas Spyratos |
Hypothesis-Founded Semantics for Datalog Programs with Negation. |
MFCS |
2002 |
DBLP DOI BibTeX RDF |
semantics of logic programs, non-monotonic reasoning, hypothesis |
24 | Georg Gottlob, Christoph Koch 0001 |
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. (PDF / PS) |
PODS |
2002 |
DBLP DOI BibTeX RDF |
Web View |
24 | Sergio Greco, Domenico Saccà, Carlo Zaniolo |
Extending stratified datalog to capture complexity classes ranging from P to QH. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Sergio Greco |
Dynamic Programming in Datalog with Aggregates. |
IEEE Trans. Knowl. Data Eng. |
1999 |
DBLP DOI BibTeX RDF |
optimization, aggregates, Deductive databases, nonmonotonic reasoning |
24 | Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà |
Active-U-Datalog: Integrating Active Rules in a Logical Update Language. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Sergio Greco, Nicola Leone, Francesco Scarcello |
DATALOG with Nested Rules. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro |
Locally Finite, Proper and Complete Operators for Refining Datalog Programs. |
ISMIS |
1996 |
DBLP DOI BibTeX RDF |
|
24 | Domenico Saccà |
Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Viet Phan Luong |
A Mixed Approach to Negation in General Datalog Programs. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Sérgio Lifschitz, Rubens N. Melo, Esther Pacitti |
Practical Behavior of Parallelization Strategies for Datalog. |
DOOD |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Luca Corciulo, Fosca Giannotti, Dino Pedreschi |
Datalog with Non-Deterministic Choice Computes NDB-PTIME. |
DOOD |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Tomás Feder, Yatin P. Saraiya |
Decidability and Undecidability of Equivalence for Linear Datalog with Applications to Normal-Form Optimizations. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Guozhu Dong, Rodney W. Topor |
Incremental Evaluation of Datalog Queries. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
24 | Peter T. Wood |
Syntactic Characterizations of 1-Bounded Datalog. |
DOOD |
1991 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Atzeni, Riccardo Torlone |
Updating Datalog Databases. |
East/West Database Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Irène Guessarian |
Deciding Boundedness for Uniformly Connected Datalog Programs. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Mariano P. Consens, Alberto O. Mendelzon |
Low Complexity Aggregation in GraphLog and Datalog. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Guozhu Dong |
On Distributed Processibility of Datalog Queries by Decomposing Databases. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Raghu Ramakrishnan 0001, Catriel Beeri, Ravi Krishnamurthy |
Optimizing Existential Datalog Queries. |
PODS |
1988 |
DBLP DOI BibTeX RDF |
|
24 | Guozhu Dong |
On the Composition and Decomposition of Datalog Program Mappings. |
ICDT |
1988 |
DBLP DOI BibTeX RDF |
|
24 | William R. Marczak, Shan Shan Huang, Martin Bravenboer, Micah Sherr, Boon Thau Loo, Molham Aref |
SecureBlox: customizable secure distributed data processing. |
SIGMOD Conference |
2010 |
DBLP DOI BibTeX RDF |
secure data management, datalog, distributed query processing |
24 | Manuel Bodirsky, Jens K. Müller |
The complexity of rooted phylogeny problems. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
?-categorical structures, computational complexity, Datalog, constraint satisfaction problems, phylogenetic reconstruction |
24 | Van Hung Le 0001, Fei Liu 0003, Hongen Lu |
A Data Model for Fuzzy Linguistic Databases with Flexible Querying. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
hedge algebra, linguistic value, querying, Datalog, Fuzzy database, fuzzy logic programming, linguistic hedge |
24 | Fengrong Li, Takuya Iida, Yoshiharu Ishikawa |
Traceable P2P record exchange: a database-oriented approach. |
Frontiers Comput. Sci. China |
2008 |
DBLP DOI BibTeX RDF |
lineage tracing, record exchange, datalog, traceability, data provenance, peer-to-peer (P2P) networks |
24 | Moritz Y. Becker, Sebastian Nanz |
The Role of Abduction in Declarative Authorization Policies. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
authorization language, access control, Datalog, abduction |
24 | Lars E. Olson 0001, Carl A. Gunter, P. Madhusudan |
A formal framework for reflective database access control policies. |
CCS |
2008 |
DBLP DOI BibTeX RDF |
formal safety verification, reflective database access control, transaction datalog, fine-grained access control |
24 | Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt |
Rule-Based Approaches for Representing Probabilistic Ontology Mappings. |
URSW (LNCS Vol.) |
2008 |
DBLP DOI BibTeX RDF |
Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics |
24 | Giorgio Gianforme, Roberto De Virgilio, Stefano Paolozzi, Pierluigi Del Nostro, Danilo Avola |
A Novel Approach for Practical Semantic Web Data Management. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
Semantic Web, Knowledge Management, RDF, DataLog |
24 | Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta |
Mining library specifications using inductive logic programming. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
machine learning., verification, datalog, inductive logic programming, software specification |
24 | Axel Polleres |
From SPARQL to rules (and back). |
WWW |
2007 |
DBLP DOI BibTeX RDF |
datalog, rules, SPARQL |
24 | Antje Nowack |
A Guarded Fragment for Abstract State Machines. |
J. Log. Lang. Inf. |
2005 |
DBLP DOI BibTeX RDF |
Datalog LITE, guarded fixed-point logic, computability, decidability, Abstract State Machines, expressive power, guarded fragment |
24 | Andreas Behrend |
Optimizing existential queries in stratifiable deductive databases. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
existential query, datalog, recursion, magic sets |
24 | Elisa Bertino, Barbara Catania, Elena Ferrari, Paolo Perlasca |
A logical framework for reasoning about access control models. |
ACM Trans. Inf. Syst. Secur. |
2003 |
DBLP DOI BibTeX RDF |
Access control framework, access control models analysis, logic programming, Datalog |
24 | Verónica Dahl |
On Implicit Meanings. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
elision, parallel structures, datalog grammars, bottom-up parsing, left-corner parsing, chart parsing, linear affine implication, prediction, coordination, logic grammars, hypothetical reasoning |
24 | Giansalvatore Mecca, Anthony J. Bonner |
Query Languages for Sequence Databases: Termination and Complexity. |
IEEE Trans. Knowl. Data Eng. |
2001 |
DBLP DOI BibTeX RDF |
complexity, query languages, Datalog, deductive databases, termination, Sequence databases |
24 | Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov |
Complexity and expressive power of logic programming. |
ACM Comput. Surv. |
2001 |
DBLP DOI BibTeX RDF |
Complexity, logic programming, query languages, datalog, expressive power, nonmonotonic logic |
24 | Chen Li 0001, Edward Y. Chang |
Answering queries with useful bindings. |
ACM Trans. Database Syst. |
2001 |
DBLP DOI BibTeX RDF |
Datalog programs, information-integration systems, limited source capabilities, query containment |
24 | Seppo Sippu, Eljas Soisalon-Soininen |
An Analysis of Magic Sets and Related Optimization Strategies for Logic Queries. |
J. ACM |
1996 |
DBLP DOI BibTeX RDF |
logic query, datalog, envelopes, magic sets |
24 | Peter Schäuble, Beat Wüthrich |
On the Expressive Power of Query Languages. |
ACM Trans. Inf. Syst. |
1994 |
DBLP DOI BibTeX RDF |
expressive power of query languages, fixpoint query languages, functional query languages, relational query languages, datalog |
24 | Ashish Gupta 0001, Inderpal Singh Mumick, V. S. Subrahmanian |
Maintaining Views Incrementally. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
24 | Shinichi Morishita |
An Alternating Fixpoint Tailored to Magic Programs. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
Datalog |
24 | Yatin P. Saraiya |
Hard Problems for Simple Logic Programs. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
24 | Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Letizia Tanca, Roberto V. Zicari |
Integrating Object-Oriented Data Modeling with a Rule-Based Programming Paradigm. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
24 | Yeh-Heng Sheng |
IDLOG: Extending the Expressive Power of Deductive Database Languages. |
SIGMOD Conference |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
24 | Inderpal Singh Mumick, Sheldon J. Finkelstein, Hamid Pirahesh, Raghu Ramakrishnan 0001 |
Magic Conditions. |
PODS |
1990 |
DBLP DOI BibTeX RDF |
Datalog |
24 | Jan Chomicki, Tomasz Imielinski |
Relational Specifications of Infinite Query Answers. |
SIGMOD Conference |
1989 |
DBLP DOI BibTeX RDF |
DATALOG |
20 | Daniel Deutch, Christoph Koch 0001, Tova Milo |
On probabilistic fixpoint and Markov chain query languages. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
probabilistic fixpoint, Markov chains |
20 | Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi |
Unified Declarative Platform for Secure Netwoked Information Systems. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1398 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|