Publication:4844167
From MaRDI portal
zbMath0850.68137MaRDI QIDQ4844167
Ehud Shapiro, Leon S. Sterling
Publication date: 21 August 1995
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N17: Logic programming
Related Items
VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗, Co-argumentation Artifact for Agent Societies, Polynomial-time learnability of logic programs with local variables from entailment, A geometric interpretation of LD-resolution, Reasoning with infinite stable models, Schema induction for logic program synthesis, Dynamic graph models, Some classes of Prolog programs inferable from positive data, Program development schemata as derived rules, A constraint logic programming approach for generating all perfect matchings, Evolution of rule-based programs, New constructs for the description of combinatorial optimization problems in algebraic modeling languages, Proving Arrow's theorem by \texttt{PROLOG}, Optimization schemas for parallel implementation of non‐deterministic languages and systems