A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages.

@inproceedings{DBLP:conf/icdt/BugliesiJ95,
  author    = {Michele Bugliesi and
               Hasan M. Jamil},
  editor    = {Georg Gottlob and
               Moshe Y. Vardi},
  title     = {A Stable Model Semantics for Behavioral Inheritance in Deductive
               Object Oriented Languages},
  booktitle = {Database Theory - ICDT'95, 5th International Conference, Prague,
               Czech Republic, January 11-13, 1995, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {893},
  year      = {1995},
  isbn      = {3-540-58907-4},
  pages     = {222-237},
  ee        = {http://dx.doi.org/10.1007/3-540-58907-4_18},
  crossref  = {DBLP:conf/icdt/95},
  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

[1]

Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986)

[2]

Hassan Aït-Kaci, Andreas Podelski: Towards a Meaning of LIFE. PLILP 1991: 255-274

[3]

Michele Bugliesi: A Declarative View of Inheritance in Logic Programming. JICSLP 1992: 113-127

[4]

...

[5]

...

[6]

Gillian Dobbie, Rodney W. Topor: A Model for Sets and Multiple Inheritance in Deductive Object-Oriented Systems. DOOD 1993: 473-488

[7]

Michael Gelfond, Vladimir Lifschitz: The Stable Model Semantics for Logic Programming. ICLP/SLP 1988: 1070-1080

[8]

...

[9]

...

[10]

Michael Kifer, Georg Lausen, James Wu: Logical Foundations of Object-Oriented and Frame-Based Languages. J. ACM 42(4): 741-843(1995)

[11]

Els Laenens, Dirk Vermeir: A Fixpoint Semantics for Ordered Logic. J. Log. Comput. 1(2): 159-185(1990)

[12]

...

[13]

Luís Monteiro, António Porto: A Transformational View of Inheritance in Logic Programming. ICLP 1990: 481-494

[14]

...

[15]

Teodor C. Przymusinski: Perfect Model Semantics. ICLP/SLP 1988: 1081-1096

[16]

David S. Touretzky: The Mathematics of Inheritance Systems. Morgan Kaufmann 1986, ISBN 0-934613-06-0