ML Anthology

Invariant Logic: A Calculus for Problem Reformulation

Michael R. Lowry
AAAI 1988 pp. 14-18
/aaai/1988/lowry1988aaai-invariant/
PDF AAAI Semantic Scholar

Cite

Text

Lowry. "Invariant Logic: A Calculus for Problem Reformulation." AAAI Conference on Artificial Intelligence, 1988.

Markdown

[Lowry. "Invariant Logic: A Calculus for Problem Reformulation." AAAI Conference on Artificial Intelligence, 1988.](https://mlanthology.org/aaai/1988/lowry1988aaai-invariant/)

BibTeX

@inproceedings{lowry1988aaai-invariant,
  title     = {{Invariant Logic: A Calculus for Problem Reformulation}},
  author    = {Lowry, Michael R.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1988},
  pages     = {14-18},
  url       = {https://mlanthology.org/aaai/1988/lowry1988aaai-invariant/}
}