Using resolution for extending KL-ONE-type languages

@inproceedings{Tammet1995UsingRF,
  title={Using resolution for extending KL-ONE-type languages},
  author={Tanel Tammet},
  booktitle={CIKM '95},
  year={1995}
}
  • Tanel Tammet
  • Published in CIKM '95 1995
  • Computer Science
  • We argue that decidable classes of predicate logic combhted with efficient decision methods are a suitable basis for developing powerful knowledge representation languages. The paper presents some methods for developing such languages based on decidable classes. Queries can be answered and databases can be completed by using efficient dectilon refinements of the resolution method. Severaf decidable classes usable as new knowledge representation languages are presented, cent aining some well… CONTINUE READING

    Topics from this paper.

    Citations

    Publications citing this paper.

    References

    Publications referenced by this paper.

    A Machine-Oriented Logic Based on the Resolution Principle

    VIEW 2 EXCERPTS
    HIGHLY INFLUENTIAL