Dynamics and Management of Reasoning Processes
- List Price: $349.00
- Binding: Hardcover
- Publisher: Kluwer Academic Pub
- Publish date: 02/01/2002
Description:
Basic Concepts.- Temporal Semantics of Meta-Level Architectures for Dynamic Control of Reasoning.- Formal Semantics of Temporal Epistemic Reflection.- Compositional Verification of Diagnostic Process Models.- Specification of Nonmonotonic Reasoning.- An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.- The Dynamics of Default Reasoning.- Default Logic as Dynamic Doxastic Logic.- Temporalized Epistemic Default Logic.- Meta-level Selection Techniques for the Control of Default Reasoning.- A New Semantics for Logic Programs.- Context-Dependent Natural Deduction for Non-Monotonic Reasoning.- Dynamic Normative Reasoning Under Uncertainty.- A Formal Analysis of Pro-activenes and Reactiveness in Cooperative Information Gathering.- Modelling Internal Dynamic Behaviour of BDI Agents.- Deliberate Evolution in Multi-Agent Systems.
Expand description
Please Wait
Usually Processes in 1 business day