Вы здесь

Главная

Logic Programming: Proc./1993 Intern. Symp.

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

A Brief Introduction to Inductive Logic Programming
Abstract Interpretation of Linear Logic Programming
ACL - A Concurrent Linear Logic Programming Paradigm
Actions and Specificity
A Deductive Approach to Hypothetical Query Answering
A Logical Semantics for Depth-First Prolog with Ground Negation
A Multimodal Logic to Define Modules in Logic Programming
Analysing Logic Programs using "Prop"-ositional Logic Programs and a Magic Wand
An Introduction to LIFE-Programming with Logic, Inheritance, Functions, and Equations
Applications of the Aurora Parallel Prolog System to Computational Molecular Biology
Approximating General Logic Programs
A Practical Approach to the Global Analysis of CLP Programs
A Proof Procedure for Extended Logic Programs
Automatic Inference of Norms: a Missing Link in Automatic Termination Analysis
Boolean Constraint Solving Using CLP(FD)
Branch-level Scheduling in Aurora: The Dharma Scheduler
Complexity Result for Disjunctive Logic Programming and Application to Nonmonotonic Logics
Concurrent Constraint Logic Programming on Massively Parallel SIMD Computers
Declarative Programming in Prolog
Deterministic Parsing of Languages with Dynamic Operators
Dynamic Programming Optimization for Logic Queries with Aggregates
Embedding Extensional Finite Sets in CLP
Experiments with Speculative Parallelism in Parlog
Extending the Well-Founded and Valid Semantics for Aggregation
Independence in Constraint Logic Programms
Indeterminate Concurrent Constraint Programming: a Fixpoint Semantics for Non-Terminating Computations
MARVEL 3.1: A Multi-User Software Development Environment
Metric Methods in the Semantics of Logic Programs
Non-monotonic Concurrent Constraint Progpamming
Optimizations of Bottom-Up Evaluation with Non-Ground Terms (Extended Abstract)
Redundancy of Variables in CLP(R)
Representing Incomplete Knowledge in Abductive Logic Programming
Tabulated Resolution for Well Founded Semantics
The Emptiness Problem of One Binary Recursive Horn Clause is Undecidable
The Logic of Creativity
Unification in a Lambda-Calculus with Intersection Types
Update in Place: Overview of the Siva project