Вы здесь

Главная

Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming

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

A Constraint Logic Programming Scheme for Taxonomic Reasoning
A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms
A Declarative View of Inheritance in Logic Programming
Advanced Tutorial: Concurrent Logic Programming
A Framework of Directionality for Proving Termination of Logic Programs
A Goal-Oriented Approach to Computing Well Founded Semantics
An Efficient and Portable Sequential Implementation of Janus
An Incremental Garbage Collector for WAM-Based Prolog
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming
A Predicate Transformer for Unification
A Process Algebra of Concurrent Constraint Programming
A Query Evaluation Method for Abductive Logic Programming
Autoepistematic Logics as a Unifying Framework for the Semantics of Logic Programs
Checking the Soundness of Resolution Schemes
Classifying Semantics of Disjunctive Logic Programs
Communicating Clauses: towards Synchronous Communication in Contextual Logic Programming
Controlling the Search in Bottom-Up Evaluation
Deductive and Object-Oriented Databases
Deductive Databases with Incomplete Information
Empirical Semantics for Defeasible Databases
Equational Logic Programming, Actions, and Change
Exploiting Dependent And-parallelism in Prolog: the Dynamic Dependent And-parallel Scheme (DDAS)
Exploiting Or-parallelism in Optimisation Problems
Handling of Mutual Recursion in Automatic Termination Proofs for Logic Programs
Herbrand Methods in Sequent Calculi: Unification in LL
Higher-Order E-Unification for Arbitrary Theories
Implementing a Lazy Functional Logic Language with Disequality Constraints
Improving Backward Execution in the Andorra Family of Languages
Integrating Modes and Subtypes into a Prolog Type-checker
Interactive Synthesis of Definite-Clause Grammars
Logic Programming and Genetic Sequence Analysis: a Tutorial
Many-Valued Semantics for Logic Programming
Meta-Programming through a Truth Predicate
Multistage Indexing Algorithms for Speeding Prolog Execution
Negation as Failure in Intuitionistic Logic Programming
Normal Logic Programs as Open Positive Programs
Observational Equivalences for Logic Programs
On Logic Program Semantics with Two Kinds of Negation
On Normal Forms and Equivalence for Logic Programs
On the Completeness of Residuation
Practical Aspects of Set Based Analysis
Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs
Propositional Semantics for Disjunctive Logic Programs
Query Restricted Bottom-Up Evaluation of Normal Logic Programs
Records for Logic Programming
Representing Actions in Extended Logic Programming
Schedule Analysis of Concurrent Logic Programs
SLDNFA: an Abductive Procedure for Normal Abductive Programs
Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language
Synthesis and Transformation of logic Programs in the WHELK Proof Development System