Data Dictionary Design: A Logic Programming Approach.

@inproceedings{DBLP:conf/er/PirriP92,
  author    = {Fiora Pirri and
               Clara Pizzuti},
  editor    = {G{\"u}nther Pernul and
               A. Min Tjoa},
  title     = {Data Dictionary Design: A Logic Programming Approach},
  booktitle = {Entity-Relationship Approach - ER'92, 11th International Conference
               on the Entity-Relationship Approach, Karlsruhe, Germany, October
               7-9, 1992, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {645},
  year      = {1992},
  isbn      = {3-540-56023-8},
  pages     = {210-225},
  ee        = {db/conf/er/PirriP92.html},
  crossref  = {DBLP:conf/er/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-1 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

[1]

Krzysztof R. Apt, Howard A. Blair, Adrian Walker: Towards a Theory of Declarative Knowledge. Foundations of Deductive Databases and Logic Programming. 1988: 89-148 BibTeX

[2]

...

[3]

François Bry: Intensional Updates: Abduction via Deduction. ICLP 1990: 561-575 BibTeX

[4]

Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson: Some Results Concerning the Computational Complexity of Abduction. KR 1989: 44-54 BibTeX

[5]

Phan Minh Dung: Negations as Hypotheses: An Abductive Foundation for Logic Programming. ICLP 1991: 3-17 BibTeX

[6]

Kave Eshghi, Robert A. Kowalski: Abduction Compared with Negation by Failure. ICLP 1989: 234-254 BibTeX

[7]

Dov M. Gabbay, Els Laenens, Dirk Vermeir: Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR 1991: 208-217 BibTeX

[8]

Antonis C. Kakas, Paolo Mancarella: Generalized Stable Models: A Semantics for Abduction. ECAI 1990: 385-391 BibTeX

[9]

...

[10]

Hector J. Levesque: A Knowledge-Level Account of Abduction. IJCAI 1989: 1061-1067 BibTeX

[11]

...

[12]

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

[13]

Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518 BibTeX

[14]

Murray Shanahan: Prediction is Deduction but Explanation is Abduction. IJCAI 1989: 1055-1060 BibTeX

[15]

Bart Selman, Hector J. Levesque: Abductive and Default Reasoning: A Computational Core. AAAI 1990: 343-348 BibTeX