Search Sciweavers | Sciweavers

50 search results - page 3 / 10

» AsmL Semantics in Fixpoint

click to vote

LPNMR
2001
Springer

158views Automated Reasoning» more LPNMR 2001»

Fixpoint Characterizations for Many-Valued Disjunctive Logic Programs with Probabilistic Semantics

13 years 10 months ago

Download www.kr.tuwien.ac.at

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

claim paper

Read More »

click to vote

IFM
2005
Springer

89views Formal Methods» more IFM 2005»

A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions

13 years 12 months ago

Download www-lsr.imag.fr

Abstract. We present a ﬁxpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...

Héctor Ruíz Barradas, Didier Bert

claim paper

Read More »

click to vote

FOSSACS
2009
Springer

99views Software Engineering» more FOSSACS 2009»

Least and Greatest Fixpoints in Game Semantics

14 years 1 months ago

Download www.pps.jussieu.fr

Pierre Clairambault

claim paper

Read More »