Sciweavers

480 search results - page 9 / 96
» Continuations for parallel logic programming
Sort
View
ISMB
1993
15 years 6 months ago
Protein Topology Prediction through Parallel Constraint Logic Programming
Dominic A. Clark, Christopher J. Rawlings, Jack Sh...
102
Voted
JISE
2000
69views more  JISE 2000»
15 years 4 months ago
Flat Indexing Scheme: A New Compilation Technique to Enhance Parallelism of Logic Programs
Hiecheol Kim, Kangwoo Lee, Jean-Luc Gaudiot
139
Voted
AMAST
2010
Springer
15 years 11 hour ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
IJCAI
1989
15 years 6 months ago
Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds
Mechanical systems, of the kinds which are of interest for qualitative reasoning, are characterized by a set of real-valued parameters, each of which is a piecewise continuous fun...
Erik Sandewall
LPNMR
2001
Springer
15 years 9 months ago
Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...
Thomas Lukasiewicz