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影響因子(影響力)學(xué)科排名




書目名稱Knowledge Science, Engineering and Management網(wǎng)絡(luò)公開度




書目名稱Knowledge Science, Engineering and Management網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Knowledge Science, Engineering and Management被引頻次




書目名稱Knowledge Science, Engineering and Management被引頻次學(xué)科排名




書目名稱Knowledge Science, Engineering and Management年度引用




書目名稱Knowledge Science, Engineering and Management年度引用學(xué)科排名




書目名稱Knowledge Science, Engineering and Management讀者反饋




書目名稱Knowledge Science, Engineering and Management讀者反饋學(xué)科排名

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