Вы здесь

Главная

Logic Programming

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

Abstract compilation of LambdaProlog
A Characterization of the Partial Stable Models for Disjunctive Deductive Databases
A Compositional Semantics for Logic Programs and Deductive Databases
A Compositional Semantics for Normal Open Programs
Adding Flexibility to Query Evaluation for Modularity Stratified Databases
A Framework for Modal Logic Programming
A Higher Order Rewriting Logic for Functional Logic Programming
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints
A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types
Algebra of Logic Programming
A Linear Logic Calculus of Objects
An Abstract Machine for Computing the Well-Founded Semantics
An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs
Answer Sets for Prioritized Logic Programs
Approximate Reasoning about Actions in Presence of sensing and Incomplete Information
A Practical Approach to Structure Reuse of Arrays in Single Assignment Languages
A Procedure for Mediation of Queries to Sources in Disparate Contexts
A Rational and Efficient Algorithm for View Deletion in Databases
Asserting Lemmas in the Stable Model Semantics
Assumpting Grammars for Processing Natural Language
A Strong Correspondence between Description Logics and Open Logic Programming
Automatic Compile-Time Paralleization of Prolog Programs for Dependent And-Parallelism
Automatic Termination Analysis of Logic Programs
Best-first Search for Property Maintenance in Reactive Constraints Systems
Calculi for Disjunctive Logic Programming
Capturing Database Dynamics by Deferred Updates
CLAIRE: Combining Sets, Search and Rules to Better Express Algorithms
CLP(R lin) Revised
Comparative Metric Semantics for Commit in Or-Parallel Logic Programming
Compositionality of Normal Open Logic Programs
Concurrency in Prolog Using Threads and a Shared Database
Constraint Logic Programming with Hereditary Harrop Formulas
Constraint Search Trees
Declarative Pruning in a Functional Query Language
Demand-driven and Constraint-based Automatic Left-termination Analysis for Logic Programs
Demand Transformation Analysis for Concurrent Constraint Programs
Diagnosing Non- Well-Moded Concurrent Logic Programs
Disjunctive Logic Programming as Constrained Inferences
Disjunctive Logic Programs with Inheritance
Effectiveness of Optimizing Compilation for CLP(R)
Efficient Implementation of the Well-Founded and Stable Model Semantics
Engineering Transformations of Attributed Grammars in Prolog
Extending a Concurrent Constraint Language by Propagators
From Functional Specifications to Logic Programs
Generated Models and Extensions of Nonmonotonic Systems
Global Variables in Logic Programming
Hybrid Probabilistic Programs
Iductive Logic Programming for Relational Knowledge Discovery
Implementation Mechanisms for Dependent And-Parallelism