Dissolution: Making Paths Vanish

@article{Murray1993DissolutionMP,
  title={Dissolution: Making Paths Vanish},
  author={Neil V. Murray and Erik Rosenthal},
  journal={J. ACM},
  year={1993},
  volume={40},
  pages={504-535}
}
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

Citations

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

References

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

Similar Papers

Loading similar papers…