Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. G. Bossu, P. Siegel 1985: Saturation, Non-monotonic Reasoning, and the Closed World Assumption, Artificial Intelligence 25, No. 1, Jan 1985.
2. AI Memo No.;C. Hewitt,1972
3. D. Fishman, J. Minker 1975: P-Representation: A Clause Representation for Parallel Search, Artificial Intelligence 6, 1975.
4. R. Kowalski 1978: Logic for Data Description, In Logic and Data Bases, (H. Gallaire and J. Minker, eds.), Plenum Press, NY 1978.
5. J. McCarthy 1980: Circumscription-A Form of non-Monotonic Reasoning, Artificial Intelligence 13, 1 1980.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logic based structure rewriting systems;Graph Transformations in Computer Science;1994