Gabbay, Dov M. (ed.); Smets, Philippe (ed.); Meyer, J.-J. Ch. (ed.); Treur, J. (ed.) Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. (English) Zbl 0984.00013 Dordrecht: Kluwer Academic Publishers. vi, 385 p. EUR 210.00; $ 193.00; £132.00 (2001). Show indexed articles as search result. The articles of this volume will be reviewed individually. For Vol. 5 see Zbl 0959.00013.Indexed articles:Meyer, J.-J. Ch.; Treuer, J., Basic concepts, 7-13 [Zbl 0996.03502]Treur, Jan, Temporal semantics of meta-level architectures for dynamic control of reasoning, 15-39 [Zbl 1017.68120]van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan, Formal semantics of temporal epistemic reflection., 41-63 [Zbl 1051.68126]Cornelissen, Frank; Jonker, Catholijn M.; Treur, Jan, Compositional verification of diagnostic process models, 65-82 [Zbl 1017.68121]Engelfriet, Joeri; Treur, Jan, Specification of nonmonotonic reasoning, 83-103 [Zbl 1017.68122]Engelfriet, Joeri; Treur, Jan, An interpretation of default logic in minimal temporal epistemic logic, 105-124 [Zbl 0997.03501]van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch., The dynamics of default reasoning, 125-157 [Zbl 0996.03020]Segerberg, Krister, Default logic as dynamic doxastic logic, 159-176 [Zbl 0996.03018]van der Hoek, W.; Meyer, J.-J.; Treur, J., Temporalized epistemic default logic, 177-194 [Zbl 0996.03019]Allis, Victor; Tan, Yao-Hua; Treur, Jan, Meta-level selection techniques for the control of default reasoning., 195-215 [Zbl 1051.68124]Lin, Fangzhen; Reiter, Ray, A new semantics for logic programs., 217-248 [Zbl 1052.68082]Besnard, Philippe; Tan, Yao-Hua, Context-dependent natural deduction for non-monotonic reasoning, 249-266 [Zbl 0996.03016]van der Torre, Leendert; Tan, Yao-Hua, Dynamic normative reasoning under uncertainty: How to distinguish between obligations under uncertainty and prima facie obligations, 267-297 [Zbl 1001.03022]Jonker, Catholijn M.; Treur, Jan, A formal analysis of pro-activeness and reactiveness in cooperative information gathering, 299-338 [Zbl 1015.68548]Brazier, Frances M. T.; Dunin-Keplicz, Barbara; Treur, Jan; Verbrugge, Rineke, Modelling internal dynamic behaviour of BDI agents, 339-361 [Zbl 1017.68093]Brazier, F. M. T.; Jonker, C. M.; Treur, J.; Wijngaards, N. J. E., Deliberate evolution in multi-agent systems, 363-380 [Zbl 1021.68528] Cited in 1 ReviewCited in 1 Document MSC: 00B15 Collections of articles of miscellaneous specific interest 68-06 Proceedings, conferences, collections, etc. pertaining to computer science Keywords:Defeasible reasoning; Uncertainty management systems; Reasoning processes Citations:Zbl 0959.00013 PDFBibTeX XMLCite \textit{D. M. Gabbay} (ed.) et al., Handbook of defeasible reasoning uncertainty management systems. Vol. 6: Dynamics and management of reasoning processes. Dordrecht: Kluwer Academic Publishers (2001; Zbl 0984.00013)