On Finding Extensions of Default Theories.

@inproceedings{DBLP:conf/icdt/PapadimitriouS92,
  author    = {Christos H. Papadimitriou and
               Martha Sideri},
  editor    = {Joachim Biskup and
               Richard Hull},
  title     = {On Finding Extensions of Default Theories},
  booktitle = {Database Theory - ICDT'92, 4th International Conference, Berlin,
               Germany, October 14-16, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {646},
  year      = {1992},
  isbn      = {3-540-56039-4},
  pages     = {276-281},
  ee        = {db/conf/icdt/PapadimitriouS92.html},
  crossref  = {DBLP:conf/icdt/92},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

References

[BF]

Nicole Bidoit, Christine Froidevaux: General Logical Databases and Programs: Default Logic Semantics and Stratification. Inf. Comput. 91(1): 15-54(1991) BibTeX

[DM]

Yannis Dimopoulos, Vangelis Magirou: A Graph-Theoretic Approach to Default Logic. Inf. Comput. 112(2): 239-256(1994) BibTeX

[Eth]

David W. Etherington: Formalizing Nonmonotonic Reasoning Systems. Artif. Intell. 31(1): 41-85(1987) BibTeX

[Go]

...

[KP]

Phokion G. Kolaitis, Christos H. Papadimitriou: Why Not Negation by Fixpoint? PODS 1988: 231-239 BibTeX

[KS]

Henry A. Kautz, Bart Selman: Hard Problems for Simple Default Logics. Artif. Intell. 49(1-3): 243-279(1991) BibTeX

[Ku]

Kenneth Kunen: Signed Data Dependencies in Logic Programs. J. Log. Program. 7(3): 231-245(1989) BibTeX

[PY]

Christos H. Papadimitriou, Mihalis Yannakakis: Tie-Breaking Semantics and Structural Totality. PODS 1992: 16-22 BibTeX

[Re]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[Se]

...

Referenced by

1. Christos H. Papadimitriou, Mihalis Yannakakis: Tie-Breaking Semantics and Structural Totality. PODS 1992: 16-22