( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
You can do RLAs for IRV.

, , , , , , и . CoRR, (2020)

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.

Marc Stuckey

Peter J Schmidt

Peter J Barth

Peter J Michael

Peter J Deneffe

 

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

Just enough tabling., и . PPDP, стр. 78-89. ACM, (2004)Towards Flexible Graphical Communication Using Adaptive Diagrams., , и . ASIAN, том 3321 из Lecture Notes in Computer Science, стр. 380-394. Springer, (2004)Termination Analysis with Types Is More Accurate., , и . ICLP, том 2916 из Lecture Notes in Computer Science, стр. 254-268. Springer, (2003)Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions., , , , , , и . IJCAI, стр. 1078-1085. ijcai.org, (2019)Efficient Representation of Adhoc Constraints., , и . IJCAI, стр. 1368-1369. Morgan Kaufmann, (2003)Flexible, Rule-Based Constraint Model Linearisation., , , и . PADL, том 4902 из Lecture Notes in Computer Science, стр. 68-83. Springer, (2008)Checking modes of HAL programs., , , , и . Theory Pract. Log. Program., 5 (6): 623-668 (2005)The Chameleon Type Debugger (Tool Demonstration), , и . CoRR, (2003)Herbrand Constraints in HAL., , , , , и . Program Development in Computational Logic, том 3049 из Lecture Notes in Computer Science, Springer, (2004)Fragment-Based Planning Using Column Generation., , , и . ICAPS, AAAI, (2014)