Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Principles of Database Systems
Principles of Database Systems
Logic and Data Bases
Complexity of a top-down capture rule
Complexity of a top-down capture rule
ACL '83 Proceedings of the 21st annual meeting on Association for Computational Linguistics
Theory of Relational Databases
Theory of Relational Databases
On the implementation of a simple class of logic queries for databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
Data independent recursion in deductive databases
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sets and negation in a logic data base language (LDL1)
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Maintenance of stratified databases viewed as a belief revision system
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Bounds on the propagation of selection into logic programs
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Efficient evaluation for a subset of recursive queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Worst-case complexity analysis of methods for logic query implementation
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Query optimization by simulated annealing
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Non-deterministic modelling of logical queries in deductive databases
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Handling redundancy in the processing of recursive database queries
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A graphical query language supporting recursion
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A study of transitive closure as a recursion mechanism
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A necessary condition for a doubly recursive rule to be equivalent to a linear recursive rule
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A framework for testing safety and effective computability of extended datalog
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Compiling separable recursions
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Classification of recursive formulas in deductive databases
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Distributed processing of logic programs
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
SYGRAF: Implementing Logic Programs in a Database Style
IEEE Transactions on Software Engineering
Minimizing function-free recursive inference rules
Journal of the ACM (JACM)
Sharing the load of logic-program evaluation
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Efficient evaluation of right-, left-, and multi-linear rules
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Extensible query processing in starburst
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the power of Alexander templates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proof-tree transformation theorems and their applications
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Linearising nonlinear recursions in polynomial time
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Why a single parallelization strategy is not enough in knowledge bases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An interpreter for large knowledge bases
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
Linearization of Nonlinear Recursive Rules
IEEE Transactions on Software Engineering
On compile-time query optimization in deductive databases by means of static filtering
ACM Transactions on Database Systems (TODS)
Parallel processing of recursive queries in distributed architectures
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Necessary and sufficient conditions to linearize doubly recursive programs in logic databases
ACM Transactions on Database Systems (TODS)
Hard problems for simple logic programs
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Towards an algebraic theory of recursion
Journal of the ACM (JACM)
On the expected size of recursive Datalog queries
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
Efficient Evaluation of Multiple Linear Recursions
IEEE Transactions on Software Engineering
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Implementing deductive databases by linear programming
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Shortest path by approximation in logic programs
ACM Letters on Programming Languages and Systems (LOPLAS)
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Layer sharing: an improved structure-sharing framework
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Active rules in deductive databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Compiling query constraints (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An optimal graph traversal algorithm for evaluating linear binary-chain programs
CIKM '94 Proceedings of the third international conference on Information and knowledge management
LogicBase: a deductive database system prototype
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Implementation of magic-sets in a relational database system
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
How to forget the past without repeating it
Journal of the ACM (JACM)
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Decomposition of magic rewriting
Journal of the ACM (JACM)
Shape analysis as a generalized path problem
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Demand interprocedural dataflow analysis
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
Practical program analysis using general purpose logic programming systems—a case study
PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Tail recursion elimination in deductive databases
ACM Transactions on Database Systems (TODS)
Implementing deductive databases by mixed integer programming
ACM Transactions on Database Systems (TODS)
Cost-based optimization for magic: algebra and implementation
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Perspectives on database theory
ACM SIGACT News
An analysis of magic sets and related optimization strategies for logic queries
Journal of the ACM (JACM)
Regular path queries with constraints
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A deductive rules processor for SQL databases
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
An overview of query optimization in relational systems
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Polynomial-time program transformations in deductive databases
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Backward chaining evaluation in stratified disjunctive theories
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Graph-theoretic methods in database theory
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inherent complexity of recursive queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The complexity of ordering subgoals
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An algorithm for ordering subgoals in NAIL?
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimizing existential datalog queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Counting methods for cyclic relations
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Cooperative Query Answering with GeneralizedQuantifiers
Journal of Intelligent Information Systems
An experimental performance study of a pipelined recursive query processing strategy
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
A data structure for arc insertion and regular path finding
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
A vision for management of complex models
ACM SIGMOD Record
Dynamically distributed query evaluation
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Program optimization using indexed and recursive data structures
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Database compression with data mining methods
Information organization and databases
On the complexity analysis of static analyses
Journal of the ACM (JACM)
State-saving transformations for efficient bottom-up
Annals of Mathematics and Artificial Intelligence
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
ACM SIGMOD Record
An introduction to deductive database languages and systems
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
DECLARE and SDS: early efforts to commercialize deductive database technology
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
The aditi deductive database system
The VLDB Journal — The International Journal on Very Large Data Bases - Prototypes of deductive database systems
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Moving Selections into Linear Least Fixpoint Queries
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Classification and Compilation of Linear Recursive Queries in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Constraint-Based Query Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Rule Ordering in Bottom-Up Fixpoint Evaluation of Logic Programs
IEEE Transactions on Knowledge and Data Engineering
Efficient Query Processing for a Subset of Linear Recursive Binary Rules
IEEE Transactions on Knowledge and Data Engineering
Chain-Split Evaluation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Implementing Temporal Integrity Constraints Using an Active DBMS
IEEE Transactions on Knowledge and Data Engineering
The Strong Partial Transitive-Closure Problem: Algorithms and Performance Evaluation
IEEE Transactions on Knowledge and Data Engineering
Knowledge Discovery in Deductive Databases with Large Deduction Results: The First Step
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
Efficient Recursive Aggregation and Negation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
LDL: A Technology for the Realization of Tightly Coupled Expert Database Systems
IEEE Expert: Intelligent Systems and Their Applications
Logic Approaches for Deductive Databases
IEEE Expert: Intelligent Systems and Their Applications
Program Partition and Logic Program Analysis
IEEE Transactions on Software Engineering
Evaluating Recursive Queries in Distributed Databases
IEEE Transactions on Knowledge and Data Engineering
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Translation and Optimization of Logic Queries: The Algebraic Approach
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Computing Facts in Non-Horn Deductive Systems
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Towards a Real Horn Clause Language
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Right-, left- and multi-linear rule transformations that maintain context information
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Efficient Implementation of Loops in Bottom-Up Evaluation of Logic Queries
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Implementation and Performance Evaluation of a Parallel Transitive Closure Algorithm on PRISMA/DB
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A New Factoring Algorithm for Magic Predicates
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Magic Sets Method with Fuzzy Logic
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
Answering Cooperative Recursive Queries in Web Federated Databases
NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
Chasing Relational Database Constraints Backwards
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
The VLDB Journal — The International Journal on Very Large Data Bases
Soft stratification for magic set based query evaluation in deductive databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the Graph Traversal and Linear Binary-Chain Programs
IEEE Transactions on Knowledge and Data Engineering
Integrity issues in the Web: beyond distributed databases
Database integrity
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
A front-end to deductive database systems for multiparadigm programming
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Meta-circular abstract interpretation in prolog
The essence of computation
Flexible security policies in SQL
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
A Logic Database System with Extended Functionality
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing
On the rewriting and efficient computation of bound disjunctive datalog queries
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
From datalog rules to efficient programs with time and space guarantees
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Database management issues in the web environment
Effective databases for text & document management
Bottom-up method for processing recursive sets of rules
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
The deductive database system ℒ𝒟ℒ++
Theory and Practice of Logic Programming
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Diagnosis of asynchronous discrete event systems: datalog to the rescue!
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Optimizing existential queries in stratifiable deductive databases
Proceedings of the 2005 ACM symposium on Applied computing
Query translation from XPATH to SQL in the presence of recursive DTDs
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
Weighted pushdown systems and their application to interprocedural dataflow analysis
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Declarative networking: language, execution and optimization
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Magic Sets and their application to data integration
Journal of Computer and System Sciences
An overview of the saturn project
PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Evaluation of datalog extended with an XPath predicate
Proceedings of the 9th annual ACM international workshop on Web information and data management
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Type inference for datalog and its application to query optimisation
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Using a relational processor and an XPath processor to evaluate joint queries
DataX '08 Proceedings of the 2008 EDBT workshop on Database technologies for handling XML information on the web
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Incremental view-based analysis of stock market data streams
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
.QL: Object-Oriented Queries Made Easy
Generative and Transformational Techniques in Software Engineering II
Magic Rewritings for Efficiently Processing Reactivity on Web Ontologies
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Evaluating very large datalog queries on social networks
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM - Scratch Programming for All
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Query translation from XPath to SQL in the presence of recursive DTDs
The VLDB Journal — The International Journal on Very Large Data Bases
Pushing Predicates into Recursive SQL Common Table Expressions
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Magic sets for data integration
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
A magic approach to optimizing incremental relational expressions
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Annals of Mathematics and Artificial Intelligence
Semantic Enhancement for Enterprise Data Management
ISWC '09 Proceedings of the 8th International Semantic Web Conference
Weighted pushdown systems and their application to interprocedural dataflow analysis
SAS'03 Proceedings of the 10th international conference on Static analysis
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
A SAT characterization of boolean-program correctness
SPIN'03 Proceedings of the 10th international conference on Model checking software
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Optimized incremental ETL jobs for maintaining data warehouses
Proceedings of the Fourteenth International Database Engineering & Applications Symposium
Automated interaction in social networks with datalog
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
Query processing in the ROL system
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Expressing and managing reactivity in the semantic web
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Expressing and managing reactivity in the semantic web
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Dynamic Magic Sets and super-coherent answer set programs
AI Communications - Answer Set Programming
A rule-based language for web data management
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Query optimization techniques for partitioned tables
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Dynamic magic sets for programs with monotone recursive aggregates
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
µZ: an efficient engine for fixed points with constraints
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Magic-sets for localised analysis of Java bytecode
Higher-Order and Symbolic Computation
A secured collaborative model for data integration in life sciences
Transactions on large-scale data- and knowledge-centered systems IV
QueryPIE: backward reasoning for OWL horst over very large knowledge bases
ISWC'11 Proceedings of the 10th international conference on The semantic web - Volume Part I
Peer-to-peer data integration with active XML
ASIAN'05 Proceedings of the 10th Asian Computing Science conference on Advances in computer science: data management on the web
D2R2: disk-oriented deductive reasoning in a RISC-style RDF engine
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Semantic web reasoning for analyzing gene expression profiles
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Using datalog with binary decision diagrams for program analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Defining datalog in rewriting logic
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
CodeQuest: scalable source code queries with datalog
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Datalog-Based program analysis with BES and RWL
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Speeding up the counting method by computing heritage functions in topological order
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
AIMS: a tool for the view-based analysis of streams of flight data
SSDBM'12 Proceedings of the 24th international conference on Scientific and Statistical Database Management
A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Modeling datalog fact assertion and retraction in linear logic
Proceedings of the 14th symposium on Principles and practice of declarative programming
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Magic-sets transformation for the analysis of java bytecode
SAS'07 Proceedings of the 14th international conference on Static Analysis
Messages with implicit destinations as mobile agents
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Magic-Sets for datalog with existential quantifiers
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Query patterns for existential rules
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Declarative secure distributed information systems
Computer Languages, Systems and Structures
A sound and complete chase procedure for constrained tuple-generating dependencies
Journal of Intelligent Information Systems
Inference in probabilistic logic programs with continuous random variables
Theory and Practice of Logic Programming
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
On the efficiency of query-subquery nets: an experimental point of view
Proceedings of the Fourth Symposium on Information and Communication Technology
Hi-index | 0.00 |