Found 4 Documents (Results 1–4)
New stochastic local search approaches for computing preferred extensions of abstract argumentation. (English) Zbl 1462.68184
#SAT solving algorithms based on extension rule using heuristic strategies. (Chinese. English summary) Zbl 1424.68153
MSC:
68T20
Artificial intelligence planning methods based on automated reasoning techniques. (Chinese. English summary) Zbl 1212.68108
Filter Results by …
all
top 5
Author
- Liu, Lei (4)
- Lu, Shuai (4)
- Li, Ying (1)
- Li, Zhuang (1)
- Niu, Dangdang (1)
- Ren, Junqi (1)
- Shi, Lian (1)
Serial
- J. Softw. (2)
- AI Commun. (1)
- J. Harbin Eng. Univ. (1)
Main Field
- 68-XX (4)
Software
- CCLS (1)