Cover -- Title page -- Acknowledgements -- Abstract -- Contents -- List of Figures -- Preface -- 1 Introduction -- 1.1 Starting Point -- 1.2 The Roadmap -- 1.3 The Route -- 1.3.1 Milestones -- 1.4 About the Route -- 2 Logic Programming for NMR -- 2.1 Introduction -- 2.2 Brief Historical Perspective -- 2.3 Language of Logic Programs -- 2.4 Model Theory -- 2.5 Declarative Semantics of Logic Programs -- 2.5.1 Definite Logic Programs -- 2.5.2 Normal Logic Programs -- 2.5.3 Extended Logic Programs -- 2.6 Generalized Logic Programs -- 2.6.1 Language -- 2.6.2 Semantics -- 2.6.3 Adding Strong Negation -- 2.7 Concluding Remarks -- 3 Dynamic Logic Programming -- 3.1 Introduction -- 3.2 Logic Program Updates -- 3.2.1 Declarative Semantics -- 3.2.2 Transformational Semantics -- 3.2.3 Properties -- 3.3 Dynamic Logic Programming -- 3.3.1 Declarative Semantics -- 3.3.2 Properties -- 3.3.3 Transformational Semantics -- 3.3.4 Computational Complexity -- 3.3.5 Other Issues -- 3.4 Illustrative Examples -- 3.4.1 Priority Reasoning -- 3.4.2 Rules and Regulations -- 3.4.3 Metaphorical Reasoning -- 3.4.4 Other Examples -- 3.5 Comparisons -- 3.5.1 Updates based on Causal Rejection -- 3.5.2 Other Approaches -- 3.6 Summary and Open Issues -- 4 Languages of Updates -- 4.1 Introduction -- 4.2 Languages for Updates: Overview -- 4.2.1 LUPS -- 4.2.2 EPI -- 4.3 A New Semantics for Non-inertial Commands -- 4.3.1 KUL - Syntax -- 4.3.2 KUL - Semantics -- 4.3.3 Illustrative Examples -- 4.3.4 Comparison -- 4.4 Reasoning About Actions -- 4.5 Conclusions and Open Issues -- 5 Knowledge and Behaviour Update Language -- 5.1 Introduction -- 5.2 KABUL - Framework -- 5.3 KABUL - Syntax -- 5.4 KABUL - Semantics -- 5.4.1 Update Program Reduct -- 5.4.2 Executable Commands -- 5.4.3 Successor State -- 5.5 Illustrative Examples -- 5.6 Properties -- 5.7 Comparisons.

5.8 Concluding Remarks and Open Issues -- 6 Multi-dimensional Dynamic Logic Programming -- 6.1 Introduction and Motivation -- 6.2 Graphs -- 6.3 Multi-dimensional Dynamic Logic Programming -- 6.3.1 Declarative Semantics -- 6.3.2 Multiple State Semantics -- 6.3.3 Adding Strong Negation -- 6.4 Transformational Semantics for MDLP -- 6.5 Properties -- 6.5.1 Relationship to Dynamic Logic Programming -- 6.5.2 Computational Complexity -- 6.6 Illustrative Examples -- 6.6.1 Organizational Decision Making -- 6.6.2 Multiple Inheritance -- 6.6.3 Legal Reasoning -- 6.6.4 Representing Inter- and Intra-Agent Social Viewpoints -- 6.6.5 MDLP and Multi-agent Systems -- 6.7 Comparison with other work -- 6.8 Conclusions and Future Work -- 7 Multi-dimensional KABUL -- 7.1 Introduction -- 7.2 Core Language -- 7.2.1 KABUL[sup(m)] - Syntax -- 7.2.2 KABUL[sup(m)] - Semantics -- 7.2.3 Update Program Reduct -- 7.2.4 Executable Commands -- 7.2.5 Successor State -- 7.3 Introducing DAG Commands -- 7.3.1 Hierarchy Commands -- 7.3.2 Prevalence Mode Commands -- 7.3.3 Agent Commands -- 7.4 Multiple Update Programs -- 7.4.1 Framework and Syntax -- 7.4.2 Semantics -- 7.5 Summary and Open Issues -- 8 Illustrative Examples -- 8.1 A Dynamic Knowledge Base for Stock Ratings -- 8.1.1 Scenario Overview -- 8.1.2 Knowledge Base Specification -- 8.1.3 Knowledge Base Evolution -- 8.1.4 Further Elaborations -- 8.2 An Agent Architecture -- 8.2.1 Introduction -- 8.2.2 Overall Architecture -- 8.2.3 Related Work -- 8.2.4 Final Remarks -- 9 Conclusions and Future Directions -- Bibliography -- A List of Symbols.