Search dblp for Publications

export results for "predicate circumscription"

 download as .bib file

@article{DBLP:journals/jetai/KunduC96,
  author    = {Sukhamay Kundu and
               Jianhua Chen},
  title     = {A new class of theories for which circumscription can be obtained
               via the predicate completion},
  journal   = {J. Exp. Theor. Artif. Intell.},
  volume    = {8},
  number    = {2},
  pages     = {191--205},
  year      = {1996}
}
@article{DBLP:journals/ai/CadoliEG92,
  author    = {Marco Cadoli and
               Thomas Eiter and
               Georg Gottlob},
  title     = {An Efficient Method for Eliminating Varying Predicates from a Circumscription},
  journal   = {Artif. Intell.},
  volume    = {54},
  number    = {2},
  pages     = {397--410},
  year      = {1992}
}
@article{DBLP:journals/ai/KleerK89,
  author    = {Johan de Kleer and
               Kurt Konolige},
  title     = {Eliminating the Fixed Predicates from a Circumscription},
  journal   = {Artif. Intell.},
  volume    = {39},
  number    = {3},
  pages     = {391--398},
  year      = {1989}
}
@inproceedings{DBLP:conf/iclp/Moinard88,
  author    = {Yves Moinard},
  title     = {Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes)},
  booktitle = {{ICLP/SLP}},
  pages     = {1097--1105},
  publisher = {{MIT} Press},
  year      = {1988}
}
@article{DBLP:journals/ci/EtheringtonMR85,
  author    = {David W. Etherington and
               Robert E. Mercer and
               Raymond Reiter},
  title     = {On the adequacy of predicate circumscription for closed-world reasoning},
  journal   = {Comput. Intell.},
  volume    = {1},
  pages     = {11--15},
  year      = {1985}
}
@inproceedings{DBLP:conf/nmr/EtheringtonMR84,
  author    = {David W. Etherington and
               Robert E. Mercer and
               Raymond Reiter},
  title     = {On the Adequacy of Predicate Circumscription for Closed-World Reasoning},
  booktitle = {{NMR}},
  pages     = {70--81},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984}
}
@inproceedings{DBLP:conf/aaai/Reiter82,
  author    = {Raymond Reiter},
  title     = {Circumscription Implies Predicate Completion (Sometimes)},
  booktitle = {{AAAI}},
  pages     = {418--420},
  publisher = {{AAAI} Press},
  year      = {1982}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics