NAIVE: A method for representing uncertainty and temporal relationships in an automated reasoner

Michael C. Higgins. NAIVE: A method for representing uncertainty and temporal relationships in an automated reasoner. Int. J. Approx. Reasoning, 2(3):337, 1988.

@article{Higgins88,
  title = {NAIVE: A method for representing uncertainty and temporal relationships in an automated reasoner},
  author = {Michael C. Higgins},
  year = {1988},
  tags = {C++},
  researchr = {https://researchr.org/publication/Higgins88},
  cites = {0},
  citedby = {0},
  journal = {Int. J. Approx. Reasoning},
  volume = {2},
  number = {3},
  pages = {337},
}