Author:
Yang Guizhen,Kifer Michael
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. S. Abiteboul, G. Lausen, H. Upho., and E. Waller. Methods and rules. In ACM SIGMOD Conference on Management of Data, pages 32–41, 1993.
2. A. J. Bonner and M. Kifer. An overview of transaction logic. Theoretical Computer Science, 133:205–265, October 1994.
3. G. Brewka. The logic of inheritance in frame systems. In International Joint Conference on Artificial Intelligence, pages 483–488, San Francisco, CA, 1987. Morgan Kaufmann.
4. M. Bugliesi and H. M. Jamil. Astable model semantics for behavioral inheritance in deductive object oriented languages. In International Conference on Database Theory, pages 222–237, 1995.
5. L. Cardelli. Aseman tics of multiple inheritance. Information and Computation, 76(2):138–164, February 1988.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Talking Biology in Logic, and Back;Knowledge-Based and Intelligent Information and Engineering Systems;2010
2. Nonmonotonic Reasoning in FLORA-2;Logic Programming and Nonmonotonic Reasoning;2005
3. Rules and Ontologies in F-Logic;Reasoning Web;2005
4. Ontologies in F-logic;Handbook on Ontologies;2004
5. Reasoning about Anonymous Resources and Meta Statements on the Semantic Web;Journal on Data Semantics I;2003