Author:
Tuzhilin Alexander,Kedem Zvi M.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference26 articles.
1. M. Abadi, Z. Manna: Temporal logic programming. J. of Symb. Computation 8: 277–295, 1989
2. S. Abiteboul, V. Vianu: Datalog extensions for database queries and updates. Journal of Computer and System Sciences 43: 62–124, 1991
3. H. Aly, Z. M. Ozsoyoglu: Non-deterministic modelling of logical queries in deductive databases. In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Los Angeles, 1987
4. H. Barringer, M. Fisher, D. Gabbay, G. Gough, R. Owens: METATEM: A framework for programming in temporal logic. In: Stepwise Refinement of Distributed Systems, pages 94–29. Springer, 1989. LNCS 430
5. L. Brownston, R. Farrell, E. Kant: Programming Expert Systems in OPS5: an Introduction to Rule-Based Programming. Addison-Wesley: New York, 1986