Eliminating the Fixed Predicates from a Circumscription

@article{Kleer1989EliminatingTF,
  title={Eliminating the Fixed Predicates from a Circumscription},
  author={Johan de Kleer and Kurt Konolige},
  journal={Artif. Intell.},
  year={1989},
  volume={39},
  pages={391-398}
}
Parallel predicate circumscription is the primary circumscriptive techniqueused in formalizing commonsense reasoning.In thispaperwepresenta direct syntacticconstructionfor transforming any parallel predicatecircumscription usingfixed predicatesinto an equivalentone whichdoesnot. Thus, we showthatpredicatecircumscription is no iiiore expressivewith… CONTINUE READING

Topics

Statistics

0510'91'94'97'00'03'06'09'12'15'18
Citations per Year

71 Citations

Semantic Scholar estimates that this publication has 71 citations based on the available data.

See our FAQ for additional information.