Вы здесь

Главная

дедуктивный

Связанные издания:

Abduction in Temporal Reasoning
Access Control for Deductive Databases by Logic Programming
A Characterization of the Partial Stable Models for Disjunctive Deductive Databases
A Complex Benchmark for Logic Programming and Deductive Databases, or Who Can Beat the N-Queens?
A Compositional Semantics for Logic Programs and Deductive Databases
A Computational Model for Functional Logic Deductive Databases
A Cooperative Answering System
Active and Deductive Rules in an Object-Oriented Database Programming Language
Active Rule Analysis and Optimisation in the Rock & Roll Deductive Object-oriented Database
A Database Interface for Complex Objects
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution
A Deductive and Object-Oriented Approach to a Complex Scheduling Problem
A Deductive Approach to Hypothetical Query Answering
A Deductive Database Approach to Planning in Uncertain Environments
A Deductive Database Language Supporting Modules
A Deductive Declarative Object-Oriented Data Model and Query Language Based on Narrowing
A Deductive Object-Oriented Database For Data Intensive Application Development
Adornments in Database Programs
Advances in Databases: Proc./11th British National Conference on Databases, BNCOD 11. Keele, UK, July 1993
A Formal Approach to Deductive Synthesis of Constraint Logic Programs
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
A (Gentle) Inrtroduction to Deductive Databases
Algebraic Computation of the Weak Well-Founded Model for General Deductive Databases
A Logical Framework for Deductive Objects
A Logic-Based Information System
A Method for Integrating Deductive Databases
A mixed Approach to Negation in General Datalog Programs
A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems
A Model Theoretic Semantics for Multi-level Secure Deductive Databases
An Active Rule Language for ROCK & ROLL
An Algebraic Constructions of the Well-Founded Model
Analysis of SLG-WAM Evaluation of Definite Programs
An Annotated Bibliography on Object-Orientation and Deduction
A New Factoring Algorithm for Magic Predicates
An Experimental Distributed Deductive Database System
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases
An Implementation Overview of the Aditi Deductive Database System
An Operator for Composing Deductive Data Bases with Theories of Constraints
A Parametric Approach to Deductive Databases with Uncertainty
Applying Transition Rules to Bitemporal Deductive Databases for Integrity Constraint Checking
A Proof Procedure Based on Recomputation-Free Lemmatization
A Rational and Efficient Algorithm for View Deletion in Databases
Arithmetic and Aggregate Operators in Deductive Object-Oriented Databases
Arithmetic for Parallel Linear Recursive Query Evaluation in Deductive Databases
A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases
A semantic approach to optimize linear datalog programs
A Slick Procedure for Integrity Checking in Deductive Databases
A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages
A Storage Manager for the Hypernode Model
A Syntactic Stratification Condition Using Constraints