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},
  url       = {https://doi.org/10.1080/095281396147456},
  doi       = {10.1080/095281396147456},
  timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/jetai/KunduC96.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/0004-3702(92)90051-X},
  doi       = {10.1016/0004-3702(92)90051-X},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/CadoliEG92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/0004-3702(89)90018-0},
  doi       = {10.1016/0004-3702(89)90018-0},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/ai/KleerK89.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Moinard88,
  author    = {Yves Moinard},
  editor    = {Robert A. Kowalski and
               Kenneth A. Bowen},
  title     = {Pointwise Circumscription is Equivalent to Predicate Completion (Sometimes)},
  booktitle = {Logic Programming, Proceedings of the Fifth International Conference
               and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
  pages     = {1097--1105},
  publisher = {{MIT} Press},
  year      = {1988},
  timestamp = {Sat, 23 Jun 2018 18:45:26 +0200},
  biburl    = {https://dblp.org/rec/conf/iclp/Moinard88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1111/j.1467-8640.1985.tb00055.x},
  doi       = {10.1111/j.1467-8640.1985.tb00055.x},
  timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ci/EtheringtonMR85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
               House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
  pages     = {70--81},
  publisher = {American Association for Artificial Intelligence {(AAAI)}},
  year      = {1984},
  timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
  biburl    = {https://dblp.org/rec/conf/nmr/EtheringtonMR84.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Reiter82,
  author    = {Raymond Reiter},
  editor    = {David L. Waltz},
  title     = {Circumscription Implies Predicate Completion (Sometimes)},
  booktitle = {Proceedings of the National Conference on Artificial Intelligence,
               Pittsburgh, PA, USA, August 18-20, 1982},
  pages     = {418--420},
  publisher = {{AAAI} Press},
  year      = {1982},
  url       = {http://www.aaai.org/Library/AAAI/1982/aaai82-100.php},
  timestamp = {Mon, 18 Jun 2018 21:18:41 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/Reiter82.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics