Intro -- Preface -- Organization -- Keynote Abstracts -- Probabilistic Programming and Its Applications (Keynote Abstract) -- A Formalization of Programsin First-Order Logic with a Discrete Linear Order (Keynote Abstract) -- Contents -- Knowledge Representation, Reasoning and Management -- Representing Time for the Semantic Web -- 1 Introduction -- 2 Background and Related Work -- 3 Temporal Representation -- 4 Temporal Reasoning -- 4.1 Reasoning Over Interval Allen Relations -- 4.2 Reasoning Over Point Relations -- 5 Combining Interval and Point Representation and Reasoning -- 6 Evaluation
6.1 Experimental Evaluation -- 7 Conclusions and Future Work -- References -- Construction of P-Minimal Models Using Paraconsistent Relational Model -- 1 Introduction -- 2 Preliminaries -- 3 Disjunctive Relation -- 4 P-Minimal Models for Positive Extended Disjunctive Deductive Databases -- 5 Conclusion -- References -- The Study Trend and Application Case of Research and Development Integrated Information Provision System for Small and Medium-sized Companies -- Abstract -- 1 Introduction -- 2 Related Studies -- 2.1 Trend of Related Systems -- 3 Research Trend
3.1 Research and Development Integrated Information Provision System for Small and Medium-sized Companies -- 3.2 Application Cases of Research and Development Integrated Information Provision System -- 4 Conclusion -- References -- iCurate: A Research Data Management System -- 1 Introduction -- 2 Background -- 2.1 Defining Research Data -- 2.2 Ontology and Linked Open Data -- 2.3 Current and Past Projects for Data Repository -- 3 Motivation -- 4 System Design -- iCurate -- 4.1 Main Features -- 4.2 Meta-data and Workflow Management -- 4.3 Web Interface -- 4.4 HPC Enabled -- 4.5 Implementation
5 Summary -- References -- Multi-agent Systems -- Adaptive Model of Multi-objective Agent Behavior in Real-Time Systems -- 1 Introduction -- 2 Related Works -- 3 Hybrid Agent Model -- 3.1 Generic Model Definition -- 3.2 Objective Management and Actions Queue -- 3.3 Event Handling -- 3.4 Objectives Priority Factors -- 4 Proof of Concept -- 5 Conclusion -- References -- Boolean Games with Norms -- 1 Introduction -- 2 Background -- 2.1 Propositional Logic -- 2.2 Boolean Game -- 2.3 Input/Output Logic -- 2.4 Complexity Theory -- 3 From Boolean Game to Normative Multi-agent System
3.1 Legal Strategy -- 3.2 Legal Nash Equilibrium -- 4 Conclusion -- References -- Computational Complexity of Input/Output Logic -- 1 Introduction -- 2 Background -- 2.1 Input/output Logic -- 2.2 Complexity Theory -- 3 Complexity of Input/output Logic -- 3.1 Simple-Minded O1 -- 3.2 Simple-Minded Throughput O1+ -- 3.3 Simple-Minded Reusable O3 -- 3.4 Simple-Minded Reusable Throughput O3+ -- 4 Conclusion and Future Work -- References -- Nested Monte-Carlo Search of Multi-agent Coalitions Mechanism with Constraints -- 1 Introduction -- 2 Related Work -- 3 Preliminaries and Case Study
Summary
This book constitutes the refereed conference proceedings of the 9th International Conference on Multi-disciplinary Trends in Artificial Intelligence, MIWAI 2015, held in Fuzhou, China, in November 2015. The 30 revised full papers presented together with 12 short papers were carefully reviewed and selected from 83 submissions. The papers feature a wide range of topics covering knowledge representation, reasoning, and management; multi-agent systems; data mining and machine learning; computer vision; robotics; AI in bioinformatics; AI in security and networks; and other AI applications