Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language

References

[2] T. Castagnetti and P. Ciancarini. Static analysis of a parallel logic language based on the blackboard model. Journal of Parallel and Distributed Computing, 13(4):412-423, Digital Equipment Corporation 1991.

[3] J. de Kleer. An assumption-based TMS. Artificial Intelligence, 28(2):127-162, 1986.

[4] S. K. Debray. Flow analysis of dynamic logic programs. The Journal of Logic Programming, 7(2):149-176, Sept. 1989.

[5] J. Doyle. A truth maintenance system. Artificial Intelligence, 12(3):231-272, 1979.

[6] C. L. Forgy. RETE: A fast algorithm for the many pattern/many object pattern matching problem. Artificial Intelligence, 19(1):17-37, 1982.

[7] J. Hintikka. Knowledge and Belief. Cornell University Press, Ithaca, New York, USA, 1962.

[8] K. Konolige. A Deduction Model of Belief. Pitman Publishers/Morgan Kaufman Publishers, San Mateo, California, USA, 1986.

[9] W. Lukaszewicz. Non-Monotonic Reasoning: Formalization of Commonsense Reasoning. Ellis Horwood series in artificial intelligence. Ellis Horwood Limited, 1990.

[10] K. Morik, S. Wrobel, J.-U. Kietz, and W. Emde. Knowledge Acquisition and Machine Learning. Academic Press, 1993.

[11] S. Naqvi and S. Tsur. A Logical Language for Data and Knowledge Bases. Computer Science Press, 1989.

[12] A. Pnueli. The Temporal Logic of Programs. In Proceedings of the Eighteenth Symposium on the Foundations of Computer Science, Providence, USA, November 1977.

[13] R. Reiter. On closed world data bases. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 55-76. Plenum Press, 1978.

[14] R. Reiter. A logic for default reasoning. Artificial Intelligence, 13(1-2):81-132, 1980.

[15] H. A. Simon. Causal ordering and identifiability. In Hood and Koopmans, editors, Studies in Econometric Method. Cowles Foundation monograph No. 14, 1953.

[16] D. van Dalen. Intuitionistic logic. In D. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic, Vol. III, chapter 4. D. Reidel, Dordrecht, Netherlands, 1983.

[17] T. Williams and B. Bainbridge. Rule based systems. In G. A. Ringland and D. A. Duce, editors, Approaches to Knowledge Representation: An Introduction, chapter 5, pages 101-115. Research Studies Press Ltd., Letchworth, Herts., UK, 1988.

[18] T. Winograd. Frame representations and the declarative/procedural controversy. In E. G. Bobrow and A. M. Collins, editors, Representation and Understanding: Studies in Cognitive Science, pages 185-210. Academic Press, New York, USA, 1975.

Generated with CERN WebMaker