Acronyms and general notations -- Management and Risk -- The Human Being and Risks -- Principles of Risk Management in Design -- Risk Management at Debugging Tests -- Risk Management in Operation on Basis of Monitoring -- Risk Management on Dangerous Plant -- Bases of Logic and Probabilistic Calculus -- Logic and Probabilistic Method and Risk -- Automated Structural and Logical Modelling -- Fou…
Modeling Decisions for Artificial Intelligence: Theory, Tools and Applications -- Invited Talks -- Capacities and Games on Lattices: A Survey of Results -- Cryptosystems Based on Elliptic Curve Pairing -- Building a Brain-Informatics Portal on the Wisdom Web with a Multi-layer Grid: A New Challenge for Web Intelligence Research -- Soft Computing in Human Centered Systems Thinking -- Regular Pap…
Foundations -- A Logic for Knowledge, Correctness, and Real Time -- Dynamic Logic for Plan Revision in Intelligent Agents -- Contextual Taxonomies -- From Logic Programs Updates to Action Description Updates -- Dynamic Logic Programming: Various Semantics Are Equal on Acyclic Programs -- Architectures -- Declarative Agent Control -- Metareasoning for Multi-agent Epistemic Logics -- Graded BDI M…
Fuzzy Theory and Models -- Uncertainty Management in Data Mining -- Uncertainty Management and Probabilistic Methods in Data Mining -- Approximate Reasoning -- Axiomatic Foundation -- Fuzzy Classifiers -- Fuzzy Clustering -- Fuzzy Database Mining and Information Retrieval -- Information Fusion -- Neuro-Fuzzy Systems -- Fuzzy Control -- Fuzzy Hardware -- Knowledge Visualization and Exploration -…
- Chapter 1. Introduction and historical development of technical documents -- Chapter 2. Existing controlled languages for technical documents -- Chapter 3. Best-practice features of modern technical documents -- Chapter 4. Analysing existing controlled languages against the best-practice features -- Chapter 5. Developing a new controlled language for technical documents -- Chapter 6. Trialing…