×

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]

MSC:

00B15 Collections of articles of miscellaneous specific interest
68-06 Proceedings, conferences, collections, etc. pertaining to computer science

Citations:

Zbl 0959.00013
PDFBibTeX XMLCite