1005 search results - page 16 / 201 » Operational Semantics and Program Equivalence |
AGP
2003
IEEE
15 years 2 months ago
2003
IEEE
112
click to vote
EUSFLAT
2009
14 years 7 months ago
2009
In this paper we present the operational semantics of RFuzzy, a fuzzy Logic Programming framework that represents thruth values using real numbers from the unit interval. RFuzzy pr...
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
LFP
1990
14 years 10 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...