scientific article; zbMATH DE number 1734137
The articles of this volume will be reviewed individually. For Vol. 5 see Zbl 0959.00013. Indexed articles: \textit{Meyer, J.-J. Ch.; Treuer, J.}, Basic concepts, 7-13 [Zbl 0996.03502] \textit{Treur, Jan}, Temporal semantics of meta-level architectures for dynamic control of reasoning, 15-39 [Zbl 1017.68120] \textit{van der Hoek, Wiebe; Meyer, John-Jules; Treur, Jan}, Formal semantics of temporal epistemic reflection., 41-63 [Zbl 1051.68126] \textit{Cornelissen, Frank; Jonker, Catholijn M.; Treur, Jan}, Compositional verification of diagnostic process models, 65-82 [Zbl 1017.68121] \textit{Engelfriet, Joeri; Treur, Jan}, Specification of nonmonotonic reasoning, 83-103 [Zbl 1017.68122] \textit{Engelfriet, Joeri; Treur, Jan}, An interpretation of default logic in minimal temporal epistemic logic, 105-124 [Zbl 0997.03501] \textit{van Linder, B.; van der Hoek, W.; Meyer, J.-J. Ch.}, The dynamics of default reasoning, 125-157 [Zbl 0996.03020] \textit{Segerberg, Krister}, Default logic as dynamic doxastic logic, 159-176 [Zbl 0996.03018] \textit{van der Hoek, W.; Meyer, J.-J.; Treur, J.}, Temporalized epistemic default logic, 177-194 [Zbl 0996.03019] \textit{Allis, Victor; Tan, Yao-Hua; Treur, Jan}, Meta-level selection techniques for the control of default reasoning., 195-215 [Zbl 1051.68124] \textit{Lin, Fangzhen; Reiter, Ray}, A new semantics for logic programs., 217-248 [Zbl 1052.68082] \textit{Besnard, Philippe; Tan, Yao-Hua}, Context-dependent natural deduction for non-monotonic reasoning, 249-266 [Zbl 0996.03016] \textit{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] \textit{Jonker, Catholijn M.; Treur, Jan}, A formal analysis of pro-activeness and reactiveness in cooperative information gathering, 299-338 [Zbl 1015.68548] \textit{Brazier, Frances M. T.; Dunin-Keplicz, Barbara; Treur, Jan; Verbrugge, Rineke}, Modelling internal dynamic behaviour of BDI agents, 339-361 [Zbl 1017.68093] \textit{Brazier, F. M. T.; Jonker, C. M.; Treur, J.; Wijngaards, N. J. E.}, Deliberate evolution in multi-agent systems, 363-380 [Zbl 1021.68528]
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4328482)
