Author:
Yang Guizhen,Kifer Michael
Publisher
Springer Berlin Heidelberg
Reference46 articles.
1. Abiteboul, S., Lausen, G., Uphoff, H., Waller, E.: Methods and rules. In: ACM International Conference on Management of Data (SIGMOD) (1993)
2. Lecture Notes in Computer Science;J. Angele,2003
3. Berardi, D., Boley, H., Grosof, B., Gruninger, M., Hull, R., Kifer, M., Martin, D., McIlraith, S., Su, J., Tabet, S.: SWSL: Semantic Web Services Language. Technical report, Semantic Web Services Initiative (April 2005), http://www.w3.org/Submission/SWSF-SWSL/
4. Bonner, A.J., Kifer, M.: An overview of transaction logic. Theoretical Computer Science 133(2), 205–265 (1994)
5. Bugliesi, M., Jamil, H.M.: A stable model semantics for behavioral inheritance in deductive object oriented languages. In: International Conference on Database Theory (ICDT), pp. 222–237 (1995)