Towards an Effective Theory of Reformulation: Part 1 — Semantics

Publication details

D. Paul Benjamin (1992). Towards an Effective Theory of Reformulation: Part 1 — Semantics. Proceedings of the Workshop on Change of Representation and Problem Reformulation. NASA Technical Reports Server record 19960047149.

Research context

Investigates deductive reformulation of problem representations using semigroup theory, including finite groups and inverse semigroups. The goal is to improve problem-solving performance while preserving logical soundness and completeness.

Citation visibility

The NASA archive is reported to show four citations. This is a source-specific count, not a verified Google Scholar citation count. Google Scholar indexing and citation matching remain to be established.

NASA archive record

Full PDF at NASA

BibTeX

@inproceedings{Benjamin1992ReformulationSemantics,
  author = {D. Paul Benjamin},
  title = {Towards an Effective Theory of Reformulation: Part 1 -- Semantics},
  booktitle = {Proceedings of the Workshop on Change of Representation and Problem Reformulation},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19960047149},
  note = {NASA Technical Reports Server, record 19960047149}
}