Вы здесь

Главная

Cambridge

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

Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs
Handling of Speculative Work in OR-Parallel PROLOG: Evaluation Results
Herbrand Methods in Sequent Calculi: Unification in LL
Heuristic Logic and the Process of Discovery
Higher Level Meta Programming in Qu-Prolog 3.0
Higher-order Aspacts of Logic Programming
Higher-Order E-Unification for Arbitrary Theories
Higher-Order Horn Logic Programming
Higher-order Polymorphic Unification for Logic Programming
Higher-Order Unification as a Theorem Proving Procedure
How to Declare an Imperative
Hybrid Probabilistic Programs
Hyperproof: An Excursion in Situated Logic
IDIOM: Integrating Dependent and-, Independent and-, and Or-parallelism
Iductive Logic Programming for Relational Knowledge Discovery
Implementation Mechanisms for Dependent And-Parallelism
Implementation of Andorra-based Languages
Implementation Techniques for Scoping Constructs in Logic Programming
Implementing a Lazy Functional Logic Language with Disequality Constraints
Implementing the Linear Logic Programming Language Lygon
Implicit Definition of Logic Programs
Improving Abstract Interpretations by Systematic Lifting to the Powerset
Improving Backward Execution in the Andorra Family of Languages
Improving First-Class Array Expressions Using Prolog
Improving the Register Allocation in WAM by Reordering Unification
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP
Incremental Global Compilation of Prolog with the Vienna Abstract Machine
Independence in Constraint Logic Programms
Indeterminate Concurrent Constraint Programming: a Fixpoint Semantics for Non-Terminating Computations
Inductive Databases and Condensed Representations for Data Mining
Inferring Left-Terminating Classes of Queries for Constraint Logic Programs
Instruction Architecture for a High Performance Integrated Prolog Processor IPP
Integrating Abductive and Constraint Logic Programming
Integrating Modes and Subtypes into a Prolog Type-checker
Integrating Numerical and Qualitative Models within Constraint Logic Programming
Intelligent backtracking for CLP languages. An application to CLP (R)
Interactive Synthesis of Definite-Clause Grammars
Introduction to Algorithms
Intuitive Semantics for Quantitative Rule Sets
Is There Anything Better than Magic?
Janus: A Step Towards Distributed Constraint Programming
Joining AND Parallel Solutions in AND/OR Parallel Systems
Language Independence and Language Tolerance in Logic Programs
Lazy Reference Counting: An Incremental Garbage Collection Method for Parallel Inference Machines
Learning and Collaboration Technologies, Part I: Designing, Developing and Deploying Learning Experiences: Proc./7th International Conference, LCT 202, Held as Part of the HCI International Conference. HCII 2020, Copenhagen, Denmark, July 2020
Lexical Logic Programs
Live-structure Analysis for Logic Programing Languages with Declarations
Localising the GHC Suspension Test
Localizations of Unification Freedom through Matching Directions
{log}: A Logic Programming Language with Finite Sets