Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA '98. Sozopol, Bulgaria, September 21--23, 1998. Proceedings (Q1273575)

The articles of mathematical interest will be reviewed individually. The preceding conference (7th, 1996) has been reviewed (see Zbl 0876.68086). Indexed articles: \textit{Benhammadi, F.; Nicolas, P.; Schaub, T.}, Extension calculus and query answering in prioritized default logic, 76-87 [Zbl 0927.03047] \textit{Boeva, Veselka; Tsiporkova, Elena; De Baets, Bernard}, Modelling uncertainty with Kripke's semantics, 129-140 [Zbl 0927.03040] \textit{Cerrito, Serenella; Cialdea Mayer, Marta}, Using linear temporal logic to model and solve planning problems, 141-152 [Zbl 0927.03049] \textit{Cheikhrouhou, Lassaad; Siekmann, Jörg}, Planning diagonalization proofs, 167-180 [Zbl 0929.03020] \textit{van Eijk, Rogier M.; de Boer, Frank S.; van der Hoek, Wiebe; Meyer, John-Jules Ch.}, Constructing translations between individual vocabularies in multi-agent systems, 240-253 [Zbl 0927.03051] \textit{Fariñas del Cerro, Luis; Herzig, Andreas; Longin, Dominique; Rifi, Omar}, Belief reconstruction in cooperative dialogues, 254-266 [Zbl 0927.03033] \textit{Liau, Churn-Jung}, Modal reasoning and rough set theory, 317-330 [Zbl 0929.03025] \textit{Sebastiani, Roberto; Villafiorita, Adolfo}, SAT-based decision procedures for normal modal logics: A theoretical framework, 377-388 [Zbl 0927.03029]