John R. Fisher

Learn More
Logic programs with classical negation are defined • The analysis of these programs is based in a fundamental way upon the theory of sets of disjunctive clauses, which was the basis of theorem-proving theory in the 1960s and early 1970s. Like arbitrary sets of disjunctive clauses, these logic programs can be classically inconsistent, or unsatisfiable.(More)
This paper proposes a theory of action specifications using logic programs enhanced with actions. The intention of this is to provide an abstract theoretical framework for formal or semi-formal software specifications. The specifications themselves have a very natural logical form, and are relatively easy to work with, because of the highly declarative(More)
  • 1