Results 1 -
1 of
1
Hybrid Programs: Symmetrically Combining Natively Discrete and Continuous Truth-values
"... on his 65th birthday The iterates T t P (I) of the one-step consequence operator TP of a finite or infinite propositional normal logic program P applied to Herbrand interpretation I constitute a function t ↦ → T t P (I) from natural numbers to Herbrand interpretations. Without loss of generality, al ..."
Abstract
- Add to MetaCart
on his 65th birthday The iterates T t P (I) of the one-step consequence operator TP of a finite or infinite propositional normal logic program P applied to Herbrand interpretation I constitute a function t ↦ → T t P (I) from natural numbers to Herbrand interpretations. Without loss of generality, altering clause of P to p ← q1,... qm, ¬r1,... ¬rn dp
