Dissolution: Making Paths Vanish

  title={Dissolution: Making Paths Vanish},
  author={Neil V. Murray and Erik Rosenthal},
  journal={J. ACM},
Path dissolution, a rule of inference that operates on formulas in negation normal form and that employs a representation called semantic graphs is introduced. Path dissolution has several advantages in comparison wdh many other reference technologies. In the ground case, lt preserves equivalence and is strongly complete: Any sequence of dissolution steps applied exhaustively to a semantic grdph G will yield an equivalent linkless graph G. Furthermore, one need not (and cannot) restrict… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 40 extracted citations


Publications referenced by this paper.
Showing 1-3 of 3 references

Similar Papers

Loading similar papers…