Paper: Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming (at LICS 1987)
Authors: N. Bidoit C. FroidevauxAbstract
No Abstract Available
BibTeX
@InProceedings{BidoitFroidevaux-MinimalismsubsumesD, author = {N. Bidoit and C. Froidevaux}, title = {Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {89--97}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }