论文信息 - A Multi-Modal Logic for Stereotyping - 字舞流文

A Multi-Modal Logic for Stereotyping

Ullrich Hustadt

[1] Andreas Nonnengart. First-order modal logic theorem proving and standard PROLOG , 1992 .

[2] Elaine Rich,et al. User Modeling via Stereotypes , 1998, Cogn. Sci..

[3] Ullrich Hustadt,et al. Modalities in Knowledge Representation , 1993 .

[4] David Poole,et al. A Logical Framework for Default Reasoning , 1988, Artif. Intell..

[5] Francesco M. Donini,et al. Decidable Reasoning in Terminological Knowledge Representation Systems , 1993, IJCAI.

[6] D. N. Chin. User modeling in UC, the UNIX consultant , 1986, CHI '86.

[7] Dov M. Gabbay,et al. Quantifier Elimination in Second-Order Predicate Logic , 1992, KR.

[8] Dov M. Gabbay,et al. The rule-based systems project: Using confirmation theory and non-monotonic logics for incremental learning , 1992 .

[9] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.

[10] Derek H. Sleeman,et al. UMFE: A User Modelling Front-End Subsystem , 1985, Int. J. Man Mach. Stud..

[11] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..

[12] Robert C. Moore. Reasoning About Knowledge and Action , 1977, IJCAI.