( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Expressiveness of Levesque's Normal Form.

, и . J. Artif. Intell. Res., (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Yongmei Wu

Liu Liu

Liu Liu

Liu Liu

Keetsin Liu

 

Другие публикации лиц с тем же именем

A New DG Multiobjective Optimization Method Based on an Improved Evolutionary Algorithm., , , , и . J. Appl. Math., (2013)Tractable reasoning in incomplete first-order knowledge bases.. University of Toronto, Canada, (2006)Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions., , , и . IJCAI, стр. 161-166. (2007)A Method of Motion Segmentation Based on Region Shrinking., , и . IDEAL, том 4224 из Lecture Notes in Computer Science, стр. 275-282. Springer, (2006)Character-based mobile robot navigation., , , и . IROS, стр. 610-616. IEEE, (1999)Fault localization using disparities of dynamic invariants., и . J. Syst. Softw., (2016)Automated fault localization via hierarchical multiple predicate switching., и . J. Syst. Softw., (2015)Data Structure for Solving Programming Problems Concerning Segments in a Sequence., , , , и . WAE, стр. 219-230. Università Ca' Foscari di Venezia, (1997)Strategy Representation and Reasoning in the Situation Calculus., и . ECAI, том 285 из Frontiers in Artificial Intelligence and Applications, стр. 982-990. IOS Press, (2016)Epistemic JAADL: A Modal Logic for Joint Abilities with Imperfect Information., , и . ECAI, том 372 из Frontiers in Artificial Intelligence and Applications, стр. 1576-1584. IOS Press, (2023)