Sciweavers

480 search results - page 9 / 96
» Continuations for parallel logic programming
Sort
View
ISMB
1993
13 years 8 months ago
Protein Topology Prediction through Parallel Constraint Logic Programming
Dominic A. Clark, Christopher J. Rawlings, Jack Sh...
AMAST
2010
Springer
13 years 2 months ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
IJCAI
1989
13 years 8 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
13 years 12 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