Integrating object-oriented data modelling with a rule-based programming paradigm
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
New direction for uncertainty reasoning in deductive databases
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
Prolog-Based Meta-rules for Relational Database Representation and Manipulation
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
Monotonic aggregation in deductive databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A denotational semantics for the Starburst production rule language
ACM SIGMOD Record
A deductive database audit trail
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Queries, constraints, updates and transactions within a logic-based language
CIKM '93 Proceedings of the second international conference on Information and knowledge management
An experience with CASE tool support for financial product design
ACM SIGMIS Database
A nested-graph model for the representation and manipulation of complex objects
ACM Transactions on Information Systems (TOIS)
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Probabilistic Datalog—a logic for powerful retrieval methods
SIGIR '95 Proceedings of the 18th annual international ACM SIGIR conference on Research and development in information retrieval
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Perspectives on database theory
ACM SIGACT News
ACM Transactions on Database Systems (TODS)
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
An iterative approach for rules and data allocation in distributed deductive database systems
Proceedings of the seventh international conference on Information and knowledge management
{\cal A}{\cal L}-log: Integrating Datalog and Description Logics
Journal of Intelligent Information Systems
SCDBR: An Automated Reasoner for Specifications of Database Updates
Journal of Intelligent Information Systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Specification and implementation of exceptions in workflow management systems
ACM Transactions on Database Systems (TODS)
Managing Requirements Inconsistency with Development Goal Monitors
IEEE Transactions on Software Engineering
Multistrategy Theory Revision: Induction and Abductionin INTHELEX
Machine Learning - Special issue on multistrategy learning
Design and Implementation of the ROL Deductive Object-Oriented Database System
Journal of Intelligent Information Systems
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Monadic datalog and the expressive power of languages for web information extraction
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Linear time datalog and branching time logic
Logic-based artificial intelligence
Models in information retrieval
Lectures on information retrieval
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
Extending Datalog with Declarative Updates
Journal of Intelligent Information Systems
A Logic for Characterizing Multiple Bounded Agents
Autonomous Agents and Multi-Agent 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
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
Extending SQL with General Transitive Closure and Extreme Value Selections
IEEE Transactions on Knowledge and Data Engineering
G-Log: A Graph-Based Query Language
IEEE Transactions on Knowledge and Data Engineering
A Deductive Object-Oriented Database System for Situated Inference in Law
IEEE Transactions on Knowledge and Data Engineering
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Efficient Recursive Aggregation and Negation in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Trigger Inheritance and Overriding in an Active Object Database System
IEEE Transactions on Knowledge and Data Engineering
A visual language should be easy to use: a step forward for XML-GL
Information Systems
Compiling dyadic first-order specifications into map algebra
Theoretical Computer Science - Algebraic methods in language processing
Evaluating Recursive Queries in Distributed Databases
IEEE Transactions on Knowledge and Data Engineering
Termination and Confluence by Rule Prioritization
IEEE Transactions on Knowledge and Data Engineering
On the Complexity of Single-Rule Datalog Queries
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Distributed Transitive Closure Computations: The Disconnection Set Approach
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
A Functional Programming Approach to Deductive Databases
VLDB '91 Proceedings of the 17th 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 Domain-theoretic Approach to Integrating Functional and Logic Database Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Effective Deductive Object-Oriented Database Through Language Integration
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Some Issues in Design of Distributed Deductive Databases
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Characterizing Web Service Substitutivity with Combined Deductive and Inductive Engines
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
Inheritance in a Deductive Object Database Language with Updates
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Refining Logic Theories under OI-Implication
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
ECSQARU '95 Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty
Querying XML Specified WWW Sites: Links and Recursion in XML-GL
CL '00 Proceedings of the First International Conference on Computational Logic
Exploiting Conditional Equivalences in Connection Calculi
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Extending Datalog with Deductive Databases
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Models in Information Retrieval
ESSIR '00 Proceedings of the Third European Summer-School on Lectures on Information Retrieval-Revised Lectures
DrawCAD: using deductive object-relational databases in CAD
Software—Practice & Experience
Translating advanced integrity checking technology to SQL
Database integrity
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Resolution decision procedures
Handbook of automated reasoning
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
On the complexity of single-rule datalog queries
Information and Computation - Special issue: ICC '99
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
XWebSOGO: an ontology language to describe and query web sources
WIDM '03 Proceedings of the 5th ACM international workshop on Web information and data management
Monadic datalog and the expressive power of languages for Web information extraction
Journal of the ACM (JACM)
A tuple-oriented algorithm for deduction in a fuzzy relational database
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems - Intelligent information systems
Generalization of ZYT-linearizability for bilinear datalog programs
Information and Computation
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
Inducing Multi-Level Association Rules from Multiple Relations
Machine Learning
Enhancing the expressive power of the U-Datalog language
Theory and Practice of Logic Programming
Management of business process constraints using BPTrigger
Computers in Industry
Context-sensitive program analysis as database queries
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Datalog programs and their persistency numbers
ACM Transactions on Computational Logic (TOCL)
Text authoring, knowledge acquisition and description logics
COLING '02 Proceedings of the 19th international conference on Computational linguistics - Volume 1
Efficient type inference for secure information flow
Proceedings of the 2006 workshop on Programming languages and analysis for security
SEDatalog: a set extension of datalog
Intelligent information processing II
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The Diagnosis Frontend of the dlv system
AI Communications
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Monadic datalog over finite structures with bounded treewidth
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient trust management policy analysis from rules
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Incremental learning and concept drift in INTHELEX
Intelligent Data Analysis
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
Efficient core computation in data exchange
Journal of the ACM (JACM)
Experimenting with recursive queries in database and logic programming systems
Theory and Practice of Logic Programming
Nexcel, a deductive spreadsheet
The Knowledge Engineering Review
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
Building rules on top of ontologies for the semantic web with inductive logic programming
Theory and Practice of Logic Programming
Efficient profile aggregation and policy evaluation in a middleware for adaptive mobile applications
Pervasive and Mobile Computing
On the Missing Link Between Frequent Pattern Discovery and Concept Formation
Inductive Logic Programming
Vague Knowledge Bases for Matchmaking in P2P E-Marketplaces
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Twofold Extensions of Fuzzy Datalog
WILF '07 Proceedings of the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Generating Specialized Rules and Programs for Demand-Driven Analysis
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Foundations of Onto-Relational Learning
ILP '08 Proceedings of the 18th international conference on Inductive Logic Programming
Fuzzy matchmaking in e-marketplaces of peer entities using Datalog
Fuzzy Sets and Systems
Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
Semantics in Data and Knowledge Bases
High-Level Interaction with Relational Databases in Logic Programming
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Datalog±: a unified approach to ontologies and integrity constraints
Proceedings of the 12th International Conference on Database Theory
A General Similarity Framework for Horn Clause Logic
Fundamenta Informaticae
From datalog rules to efficient programs with time and space guarantees
ACM Transactions on Programming Languages and Systems (TOPLAS)
A multi-relational approach to spatial classification
Proceedings of the 15th ACM SIGKDD international conference on Knowledge discovery and data mining
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient datalog abduction through bounded treewidth
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Distributed reasoning with ontologies and rules in order-sorted logic programming
Web Semantics: Science, Services and Agents on the World Wide Web
SMDM: enhancing enterprise-wide master data management using semantic web technologies
Proceedings of the VLDB Endowment
A Sliding Window Algorithm for Relational Frequent Patterns Mining from Data Streams
DS '09 Proceedings of the 12th International Conference on Discovery Science
Stream Reasoning: A Survey and Further Research Directions
FQAS '09 Proceedings of the 8th International Conference on Flexible Query Answering Systems
Semantic Enhancement for Enterprise Data Management
ISWC '09 Proceedings of the 8th International Semantic Web Conference
A Data Model for Fuzzy Linguistic Databases with Flexible Querying
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Plugging Taxonomic Similarity in First-Order Logic Horn Clauses Comparison
AI*IA '09: Proceedings of the XIth International Conference of the Italian Association for Artificial Intelligence Reggio Emilia on Emergent Perspectives in Artificial Intelligence
Tractable database design and datalog abduction through bounded treewidth
Information Systems
Anomalies in ontologies with rules
Web Semantics: Science, Services and Agents on the World Wide Web
Semantic classifications of queries to relational databases
Proceedings of the 2nd international conference on Semantics in databases
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Datalog programs over infinite databases, revisited
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Information-optimal reflections of view updates on relational database schemata
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
A survey of automated deduction
Artificial intelligence today
Precise complexity analysis for efficient datalog queries
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
Monadic datalog over finite structures of bounded treewidth
ACM Transactions on Computational Logic (TOCL)
Derived types in semantic association discovery
Journal of Intelligent Information Systems
Theory and Practice of Logic Programming
Inductive logic programming in databases: From datalog to $\mathcal{dl}+log}^{\neg\vee}$
Theory and Practice of Logic Programming
Detecting redundant production rules
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Logic programming languages for databases and the web
A 25-year perspective on logic programming
A relational approach for discovering frequent patterns with disjunctions
DaWaK'10 Proceedings of the 12th international conference on Data warehousing and knowledge discovery
Query processing in the ROL system
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Intelligent Data Analysis - Ubiquitous Knowledge Discovery
Counting and enumeration problems with bounded treewidth
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Authentication hierarchy in distributed deductive databases
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
More efficient datalog queries: subsumptive tabling beats magic sets
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
What have we learnt from deductive object-oriented database research?
DASFAA'11 Proceedings of the 16th international conference on Database systems for advanced applications - Volume Part I
An alternative high-level approach to interaction with databases
INAP'09 Proceedings of the 18th international conference on Applications of declarative programming and knowledge management
Learning with semantic kernels for clausal knowledge bases
ISMIS'11 Proceedings of the 19th international conference on Foundations of intelligent systems
A temporal data mining framework for analyzing longitudinal data
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Incremental reasoning over multiple ontologies
WAIM'11 Proceedings of the 12th international conference on Web-age information management
Plugging numeric similarity in first-order logic horn clauses comparison
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
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
Practice of inductive reasoning on the semantic web: a system for semantic web mining
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Using datalog with binary decision diagrams for program analysis
APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
PADL'06 Proceedings of the 8th international conference on Practical Aspects of Declarative Languages
Declarative privacy policy: finite models and attribute-based encryption
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
A formal comparison of visual web wrapper generators
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
The adversarial activity model for bounded rational agents
Autonomous Agents and Multi-Agent Systems
Defining datalog in rewriting logic
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Graph-based modeling of ETL activities with multi-level transformations and updates
DaWaK'05 Proceedings of the 7th international conference on Data Warehousing and Knowledge Discovery
On the learnability of abstraction theories from observations for relational learning
ECML'05 Proceedings of the 16th European conference on Machine Learning
Mining the semantic web: a logic-based methodology
ISMIS'05 Proceedings of the 15th international conference on Foundations of Intelligent Systems
Improved algorithm complexities for linear temporal logic model checking of pushdown systems
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
ILP meets knowledge engineering: a case study
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Blueprints and measures for ETL workflows
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Principles of inductive reasoning on the semantic web: a framework for learning in AL-log
PPSWR'05 Proceedings of the Third international conference on Principles and Practice of Semantic Web Reasoning
Declaratively querying and visualizing knowledge bases in XML
INAP'04/WLP'04 Proceedings of the 15th international conference on Applications of Declarative Programming and Knowledge Management, and 18th international conference on Workshop on Logic Programming
A pattern-based approach to conceptual clustering in FOL
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Implementation of UNIDOOR, a deductive object-oriented database system
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Verification and refactoring of ontologies with rules
EKAW'06 Proceedings of the 15th international conference on Managing Knowledge in a World of Networks
Building business process description and reasoning meta-model Mbp in a-prolog
SPW/ProSim'06 Proceedings of the 2006 international conference on Software Process Simulation and Modeling
Datalog-Based program analysis with BES and RWL
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Exploiting bounded treewidth with datalog (a survey)
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Dyna: extending datalog for modern AI
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
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
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
Paper: The representation of medical reasoning models in resolution-based theorem provers
Artificial Intelligence in Medicine
A controlling scheme for Prolog through count terms
Computer Languages
Abductive retrieval of structured documents
Mathematical and Computer Modelling: An International Journal
A General Similarity Framework for Horn Clause Logic
Fundamenta Informaticae
Multistrategy Operators for Relational Learning and Their Cooperation
Fundamenta Informaticae
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
A PROV encoding for provenance analysis using deductive rules
IPAW'12 Proceedings of the 4th international conference on Provenance and Annotation of Data and Processes
Program analysis scenarios in rascal
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
Data exchange in datalog is mainly a matter of choice
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
Dynamic event subscriptions in distributed event based architectures
Expert Systems with Applications: An International Journal
Query processing under GLAV mappings for relational and graph databases
Proceedings of the VLDB Endowment
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
Hi-index | 0.00 |