Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
hal_authIdPerson_i : 990789
Image document

An ABox Abduction Algorithm for the Description Logic ALCI

Yanwei Ma , Tianlong Gu , Binbin Xu , Liang Chang
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.125-130, ⟨10.1007/978-3-642-32891-6_17⟩
Conference papers hal-01524986v1
Image document

Dynamic Description Logic Based on DL-Lite

Na Zhang , Liang Chang , Zhoubo Xu , Tianlong Gu
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.171-177, ⟨10.1007/978-3-662-44980-6_19⟩
Conference papers hal-01383330v1
Image document

Case Retrieval for Network Security Emergency Response Based on Description Logic

Fei Jiang , Tianlong Gu , Liang Chang , Zhoubo Xu
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.284-293, ⟨10.1007/978-3-662-44980-6_32⟩
Conference papers hal-01383343v1
Image document

Verification of Branch-Time Property Based on Dynamic Description Logic

Yaoguang Wang , Liang Chang , Fengying Li , Tianlong Gu
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.161-170, ⟨10.1007/978-3-662-44980-6_18⟩
Conference papers hal-01383329v1
Image document

Dynamic Logic for the Semantic Web

Liang Chang , Qicheng Zhang , Tianlong Gu , Zhongzhi Shi
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.137-146, ⟨10.1007/978-3-642-32891-6_19⟩
Conference papers hal-01524969v1
Image document

The Representation of Indiscernibility Relation Using ZBDDs

Qianjin Wei , Tianlong Gu , Fengying Li , Guoyong Cai
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.216-225, ⟨10.1007/978-3-642-32891-6_28⟩
Conference papers hal-01524971v1
Image document

Symbolic OBDD Assembly Sequence Planning Algorithm Based on Unordered Partition with 2 Parts of a Positive Integer

Zhoubo Xu , Tianlong Gu , Rongsheng Dong
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.226-233, ⟨10.1007/978-3-642-32891-6_29⟩
Conference papers hal-01524943v1
Image document

Reasoning about Assembly Sequences Based on Description Logic and Rule

Yu Meng , Tianlong Gu , Liang Chang
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.131-136, ⟨10.1007/978-3-642-32891-6_18⟩
Conference papers hal-01524945v1
Image document

Symbolic ZBDD Representations for Mechanical Assembly Sequences

Fengying Li , Tianlong Gu , Guoyong Cai , Liang Chang
7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.208-215, ⟨10.1007/978-3-642-32891-6_27⟩
Conference papers hal-01524970v1