Foundations of intelligent systems. 10th international symposium, ISMIS '97. Charlotte, NC, USA, October 13--18, 1997. Proceedings (Q1370468)

The articles of mathematical interest will be reviewed individually. The 8th symposium (1994) has been reviewed (see Zbl 0802.00045). Indexed articles: \textit{Chen, Jianhua}, Embedding prioritized circumscription in logic programs, 50-59 [Zbl 0896.03024] \textit{Cuppens, Frédéric; Demolombe, Robert}, A modal logical framework for security policies, 579-589 [Zbl 0885.03039] \textit{Hähnle, Reiner; Murray, Neil V.; Rosenthal, Erik}, Completeness for linear regular negation normal form inference systems, 590-599 [Zbl 0912.03007] \textit{Nie, Xumin; Guo, Qing}, Renaming a set of non-Horn clauses, 601-608 [Zbl 0896.03025]