Meta-reasoning: An Incremental Compilation Approach.

@inproceedings{DBLP:conf/icde/SattarG91,
  author    = {Abdul Sattar and
               Randy Goebel},
  title     = {Meta-reasoning: An Incremental Compilation Approach},
  booktitle = {Proceedings of the Seventh International Conference on Data Engineering,
               April 8-12, 1991, Kobe, Japan},
  publisher = {IEEE Computer Society},
  year      = {1991},
  isbn      = {0-8186-2138-9},
  pages     = {140-149},
  ee        = {db/conf/icde/SattarG91.html},
  crossref  = {DBLP:conf/icde/91},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1991 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

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-6 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

Printed Edition

References

[1]

Hamid Bacha: Meta-Level Programming: A Compiled Approach. ICLP 1987: 394-410 BibTeX

[2]

Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) BibTeX

[3]

Danny De Schreye, Maurice Bruynooghe: The Compilation of Forward Checking Regimes through Meta-Interpretation and Transformation. META 1988: 217-231 BibTeX

[4]

Jon Doyle: A Truth Maintenance System. Artif. Intell. 12(3): 231-272(1979) BibTeX

[5]

...

[6]

...

[7]

...

[8]

Alex Kean, George K. Tsiknis: An Incremental Method for Generating Prime Implicants/Impicates. J. Symb. Comput. 9(2): 185-206(1990) BibTeX

[9]

John W. Lloyd: Directions for Meta-Programming. FGCS 1988: 609-617 BibTeX

[10]

...

[11]

...

[12]

David Poole: Compiling a Default Reasoning System into Prolog. New Generation Comput. 9(1): 3-38(1991) BibTeX

[13]

David Poole: A Logical Framework for Default Reasoning. Artif. Intell. 36(1): 27-47(1988) BibTeX

[14]

...

[15]

David Poole: Variables in Hypotheses. IJCAI 1987: 905-908 BibTeX

[16]

Raymond Reiter, Johan de Kleer: Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report. AAAI 1987: 183-189 BibTeX

[17]

...

[18]

...

[19]

...

[20]

...