A. J. Rivera

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 amounts to regarding P as a system of first-order differential(More)
  • 1