参考文章(28)
Leora Morgenstern, Inheriting well-formed formulae in a formula-agumented semantic network principles of knowledge representation and reasoning. pp. 268- 279 ,(1996)
Georg Lausen, Gottfried Vossen, Models and languages of object-oriented databases ,(1997)
Chris Moss, Prolog++: The Power of Object-Oriented and Logic Programming addison-wesley. ,(1994)
Patrick Doherty, Joakim Gustafsson, Embracing occlusion in specifying the indirect effects of actions principles of knowledge representation and reasoning. pp. 87- 98 ,(1996)
Douglas B. Lenat, R. V. Guha, Building Large Knowledge-Based Systems: Representation and Inference in the Cyc Project ,(1990)
Richmond H. Thomason, John F. Horty, David S. Touretzky, A calculus for inheritance in monotonic semantic nets international syposium on methodologies for intelligent systems. pp. 280- 287 ,(1987) , 10.21236/ADA188746
Ramanathan Guha, Contexts: a formalization and some applications Stanford University. ,(1992)
John McCarthy, Notes on formalizing context international joint conference on artificial intelligence. pp. 555- 560 ,(1993)
Avi Pfeffer, Daphne Koller, Object-oriented Bayesian networks uncertainty in artificial intelligence. pp. 302- 313 ,(1997)
James Rice, Adam Farquhar, Richard Fikes, Tools for assembling modular ontologies in ontolingua national conference on artificial intelligence. pp. 436- 441 ,(1997)