Dynamics and Management of Reasoning Processes (Hardcover, 2002)

Preface. Introduction; J.-J.Ch. Meyer, J. Treur. Basic Concepts; J.-J.Ch. Meyer, J. Treur. Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning; J. Treur. Formal Semantics of Temporal Epistemic Reflection; W. van der Hoek, et al. Compositional Verification of Diagnostic Process Models; F. Cornelissen, et al. Specification of Nonmonotonic Reasoning; J. Engelfriet, J. Treur. An Interpretation of Default Logic in Minimal Temporal Epistemic Logic; J. Engelfriet, J. Treur. The Dynamics of Default Reasoning; B. van Linder, et al. Default Logic as Dynamic Doxastic Logic; K. Segerberg. Temporalized Epistemic Default Logic; W. van der Hoek, et al. Meta-level Selection Techniques for the Control of Default Reasoning; V. Allis, et al. A New Semantics for Logic Programs; F. Lin, R. Reiter. Context-Dependent Natural Deduction for Non-Monotonic Reasoning; P. Besnard, Y.-H. Tan. Dynamic Normative Reasoning Under Uncertainty; L. van der Torre, Y.-H. Tan. A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering; C.M. Jonker, J. Treur. Modelling Internal Dynamic Behaviour of BDI Agents; F.M.T. Brazier, et al. Deliberate Evolution in Multi-Agent Systems; F.M.T. Brazier, et al. Index.