Вы здесь

Главная

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

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

A Decision Graph Algorithm for CCP Languages
A Method for Implementing Equational Theories as Logic Programs
A Model Calculus of Partially Ordered Events in a Logic Programming Framework
A New Procedural Interpretation of Horn Clauses with Equality
A Reactive Constraint Logic Programming Scheme
A Statistical Learning Method for Logic Programs with Distribution Semantics
A Transformation System for Modular CLP Programs
Combining Situation Calculus and Event Calculus
Computing Prioritized Circumscription by Logic Programming
Determinacy Driven Optimization of And-parallel Prolog Implementation
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation
Dynamic Deductive Data Bases with Steady Behaviour
Efficient Execution of HiLog in WAM-based Prolog Implementations
Efficient Implementation of the Event Calculus for Temporal Database Applications
Efficient Tabling Mechanisms for Logic Program
Efficient Term Size Computation for Granularity Control
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
Incremental Analysis of Logic Programs
Incremental Global Compilation of Prolog with the Vienna Abstract Machine
Integrating Abductive and Constraint Logic Programming
Modeling OR-parallel Execution of Prolog using CHOCS
NMCC Programming: Constraint Enforcement and Retraction in CC Programming
On Coherence Approach to Logic Program Revision
On Composing Concurrent Logic Processes
On Extra Variables in (Equational) Logic Programming
On the Practicality of Abstract Equation Systems
Operational Semantics of Constraint Logic Programs with Coroutining
Preference Logic Programming
Projections of Logic Programs Using Symbol Mappings
Reduction of Abductive Logic Programs to Normal Logic Programs
Relating Stable Models and AI Planning Domains
Representing Logic Program Schemata in Prolog
SLDNF, Constructive Negation and Grounding
Tempo: A Declarative Concurrent Programming Language
The Effect of Partial Deduction in Abductive Reasoning
Two Aspects of Directional Types
Type Inferencing for Polymorphic Order-sorted Logic Programs
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems
Variants of the Event Calculus
WAMCC: Compiling Prolog to C