Knowledge Science, Engineering and Management

Knowledge Science

1. An Ontology-Based Reasoning Framework for Reaction Mechanisms Simulation

   • Y. C. Alicia Tang, Sharifuddin Mohd. Zain, Noorsaadah Abdul Rahman, Rukaini Abdullah

   Pages 18-29

2. Identifying Dependency Between Secure Messages for Protocol Analysis

   • Qingfeng Chen, Shichao Zhang, Yi-Ping Phoebe Chen

   Pages 30-38

3. A Diagrammatic Reasoning System for <span class="mathjax-tex">\(\cal ALC\)</span>

   • Frithjof Dau, Peter Eklund

   Pages 39-51

4. Fuzzy Constraint Logic Programming with Answer Set Semantics

   • Jie Wang, Chunnian Liu

   Pages 52-60

5. Prime Implicates for Approximate Reasoning

   • David Rajaratnam, Maurice Pagnucco

   Pages 61-72

6. Distributed Constraint Satisfaction for Urban Traffic Signal Control

   • Kazunori Mizuno, Seiichi Nishihara

   Pages 73-84

7. Convergence Analysis on Approximate Reinforcement Learning

   • Jinsong Leng, Lakhmi Jain, Colin Fyfe

   Pages 85-91

8. Combinative Reasoning with RCC5 and Cardinal Direction Relations

   • Juan Chen, Dayou Liu, Changhai Zhang, Qi Xie

   Pages 92-102

9. A Merging-Based Approach to Handling Inconsistency in Locally Prioritized Software Requirements

   • Kedian Mu, Weiru Liu, Zhi Jin, Ruqian Lu, Anbu Yue, David Bell

   Pages 103-114

10. A Dynamic Description Logic for Representation and Reasoning About Actions

    • Liang Chang, Fen Lin, Zhongzhi Shi

    Pages 115-127

11. An Argumentative Reasoning Service for Deliberative Agents

    • Alejandro J. García, Nicolás D. Rotstein, Mariano Tucat, Guillermo R. Simari

    Pages 128-139

12. On Defense Strength of Blocking Defeaters in Admissible Sets

    • Diego C. Martínez, Alejandro J. García, Guillermo R. Simari

    Pages 140-152

13. Ontology-Based Inference for Causal Explanation

    • Ph. Besnard, M. -O. Cordier, Y. Moinard

    Pages 153-164

14. Predicting Partners’ Behaviors in Negotiation by Using Regression Analysis

    • Fenghui Ren, Minjie Zhang

    Pages 165-176