Вы здесь

Главная

Logic Programming: Proc. of the Eleventh Intern. Conf.

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

Abduction and Abductive Logic Programming
A Bottom-up Semantics for Constructive Negation
ACE: And/Or-parallel Copying-based Execution of Logic Program
A Grammatical Approach to DCG Parsing
Ambivalent Logic as the Semantic Basis of Metalogic Programming: I
An Axiomatic Approach to Semantics of Disjunctive Programs
A New Transformation Based on Process-Message Duality for Concurrent Logic Programming
A Proof Method for Run-Time Properties of Prolog Programs
A Slick Procedure for Integrity Checking in Deductive Databases
A Tutorial on Synthesis of Logic Programs from Specifications
Causal Models of Disjunctive Logic Programs
Compiling Control Revisited: A New Approach based upon Abstract Interpretation
Completeness of Some Transformation Strategies for Avoiding Unnecassary Logical Variables
Computing Annotated Logic Programs
Computing Stable Models by Program Transformation
Concurrency and Plan Generation in a Logic Programming Language with a Sequential Operator
Conditional Logic Programming
Declarative Interpretations Reconsidered
Default Rules: An Extension of Constructive Negation for Narrowing-based Languages
Higher-order Aspacts of Logic Programming
Higher-order Polymorphic Unification for Logic Programming
Implementation of Andorra-based Languages
Language Independence and Language Tolerance in Logic Programs
LPDA: Another Look at Tabulation in Logic Programming
Modularity in Logic Programming
Native Code Compilation in SICStus Prolog
On the Scheme of Passing Arguments in Stack Frames for Prolog
Output Value Placement in Moded Logic Programs
Parallel CLP on Heterogeneous Networks
PDP: Prolog Distributed Processor for Independent AND/OR Parallel Execution of Prolog
Splitting a Logic Program
The Acceptability Semantics for Logic Programs
The Halting Problem for Deductive Synthesis of Logic Programs