Titlebook: Knowledge Science, Engineering and Management; 11th International C Weiru Liu,Fausto Giunchiglia,Bo Yang Conference proceedings 2018 Spring

ARSON

书目名称Knowledge Science, Engineering and Management影响因子(影响力)




书目名称Knowledge Science, Engineering and Management影响因子(影响力)学科排名




书目名称Knowledge Science, Engineering and Management网络公开度




书目名称Knowledge Science, Engineering and Management网络公开度学科排名




书目名称Knowledge Science, Engineering and Management被引频次




书目名称Knowledge Science, Engineering and Management被引频次学科排名




书目名称Knowledge Science, Engineering and Management年度引用




书目名称Knowledge Science, Engineering and Management年度引用学科排名




书目名称Knowledge Science, Engineering and Management读者反馈




书目名称Knowledge Science, Engineering and Management读者反馈学科排名

Contort

A Community-Division Based Algorithm for Finding Relations Among Linear Constraintsity modulo theories, program analysis and verification. The efficiency of solving procedure could be improved by taking advantages of the relations among constraints. Traditional methods find relations through search, which do not take advantage of the structural characteristics and cost too much ti

大量杀死

inspired

血友病

deriver

A New Variable-Oriented Propagation Scheme for Constraint Satisfaction Problemithms is affected by the way in which the revisions are performed. In this paper, we propose a new variable-oriented propagation scheme that splits the propagation procedure into two independent phases. We show how it reduces the number of revisions and list operations. In experiments, we apply diff

Buttress

Physiatrist

原始

Another Useful Four-Valued Logiction. The intuitive semantics reflects that any assertion has dual character by whose information for or against the judgment. The four-valued logic is weakly paraconsistent and has the weak consistency to capture whether or not the contradictions are reconcilable with information. The four-valued l

泥瓦匠

An Improved Multi-agent Epistemic Planner via Higher-Order Belief Change Based on Heuristic Searchompilation into classical planning, which suffers from limitations such as incapability to handle disjunctive beliefs, or higher-order belief change and forward state space search, as exploited by the planner MEPK. However, MEPK does not scale well. In this paper, we propose two improvements for MEP