Вы здесь

Главная

Cambridge

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

Abduction and Abductive Logic Programming
Abductive Analysis of Modular Logic Programs
Abductive Planning with Event Calculus
A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs
A Bottom-up Semantics for Constructive Negation
A Brief Introduction to Inductive Logic Programming
A Broader Interpertation of Logic in Logic Programming
Abstract Algorithmic Debugging
Abstract compilation of LambdaProlog
Abstract Interpretation and Partial Evaluation in Functional and Logic Programming
Abstract Interpretation for Concurrent Logic Languages
Abstract Interpretation of Constraints on Order-Sorted Domains
Abstract Interpretation of Linear Logic Programming
Abstraction of Conditional Term Rewriting Systems
Abstract Views of Prolog Executions in Opium
A Call-by-Need Strategy for Higher-Order Functional-Logic Programming
A Catalog of Complexity Classes
ACE: And/Or-parallel Copying-based Execution of Logic Program
A Characterization of Non-Floundering Logic Programs
A Characterization of the Partial Stable Models for Disjunctive Deductive Databases
ACL - A Concurrent Linear Logic Programming Paradigm
A Clausal Form for the Completion of Logic Programs
A Clausal Logic for Deontic Action Specification
A CLP(R) Options Trading Analisys System
A Compiler and Semantic Analyzer Based on Categorial Grammar
A Complete Top-down Interpreter for First Order Programs
A Compositional Proof Method of Partial Correctness for Normal Logic Programs
A Compositional Semantics for Logic Programs and Deductive Databases
A Compositional Semantics for Normal Open Programs
A Constraint Logic Programming Approach for Maintaining Consistency in User-Interface Design
A Constraint Logic Programming Scheme for Taxonomic Reasoning
A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
A Continuation-Passing Style for Prolog
Actions and Specificity
A Data-Driven Parallel Execution Model for Logic Programs
Adding Data and Procedure Abstraction to the Transparent Prolog Machine (TPM)
Adding Flexibility to Query Evaluation for Modularity Stratified Databases
Adding Negation-as-Failure to Intuitionistic Logic Programming
A Decision Tree Compilation Algorithm for FCP( ,:,?)
A Declarative Alternative to "assert" in Logic Programming
A Declarative Semantics for Behavioral Inheritance and Conflict Resolution
A Declarative View of Inheritance in Logic Programming
A Deductive Approach to Hypothetical Query Answering
Advanced Tutorial: Concurrent Logic Programming
Advanced Tutorial: Using Compositional Programming to Write Portable, High-Performance Parallel Programs
A Fast Prolog-Based Production System Kore/IE
A Flat GHC Implementation for Supercomputers
A Formal Approach to Deductive Synthesis of Constraint Logic Programs
A Framework for Modal Logic Programming
A Framework for Prolog Debugging