A stable model semantics for behavioral inheritance in deductive object oriented languages-Reference-Cited by-同舟云学术

A stable model semantics for behavioral inheritance in deductive object oriented languages

Published:1995 Issue: Volume: Page:222-237
ISSN:0302-9743
Container-title:Database Theory — ICDT '95
language:
Short-container-title:

Author:

Bugliesi Michele,Jamil Hasan M.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58907-4_18

Reference16 articles.

1. H. Aït-Kaci and R. Nasr. Login: a logic programming language with built-in inheritance. Journal of Logic Programming, 3:182–215, 1986.

2. H. Aït-Kaci and A. Podelski. Towards a Meaning of LIFE. Technical Report 11, Digital Paris Research Labs, 1991.

3. M. Bugliesi. A declarative view of inheritance in logic programming. In K. Apt, editor, Proc. Joint Int. Conference and Symposium on Logic Programming, pages 113–130. The MIT Press, 1992.

4. M. Bugliesi and M. H. Jamil. A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. Technical Report 6, Dip. di Matematica Pura ed Applicata, Univ. di Padova, 1994.

5. G. Dobbie and R. Topor. A Model for Inheritance and Overriding in Deductive Object-Oriented Systems. In Sixteen Australian Computer Science Conference, January 1988.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inheritance in Rule-Based Frame Systems: Semantics and Inference;Journal on Data Semantics VII;2006

2. $\mathcal{F}$ lora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web;On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE;2003

3. Declarative Semantics of Belief Queries in Mls Deductive Databases;Data and Application Security;2002

4. Well-Founded Optimism: Inheritance in Frame-Based Knowledge Bases;On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE;2002

5. Inheritance in a Deductive Object Database Language with Updates;Lecture Notes in Computer Science;2000