( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Steps in Assessing a Timeline-Based Planner.

, , , и . AI*IA, том 10037 из Lecture Notes in Computer Science, стр. 508-522. Springer, (2016)

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.

Fares Martak

Martarizal

Hans Martan

Thomas Martau

Kenneth Martay

 

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

Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.. TABLEAUX, том 5607 из Lecture Notes in Computer Science, стр. 167-172. Springer, (2009)A General Theorem Prover for Quantified Modal Logics., , и . TABLEAUX, том 2381 из Lecture Notes in Computer Science, стр. 266-280. Springer, (2002)Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics., и . TABLEAUX, том 1227 из Lecture Notes in Computer Science, стр. 138-152. Springer, (1997)Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic., , и . AI*IA, том 9336 из Lecture Notes in Computer Science, стр. 410-423. Springer, (2015)A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies.. CADE, том 7898 из Lecture Notes in Computer Science, стр. 76-90. Springer, (2013)Planning with graded fluents and actions., , , и . IJCAI, стр. 1711-1712. Professional Book Center, (2005)Steps in Assessing a Timeline-Based Planner., , , и . AI*IA, том 10037 из Lecture Notes in Computer Science, стр. 508-522. Springer, (2016)Pdk: The System and Its Language., , , и . TABLEAUX, том 3702 из Lecture Notes in Computer Science, стр. 307-311. Springer, (2005)Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics., и . Stud Logica, 69 (1): 97-131 (2001)Option Discovery for Autonomous Generation of Symbolic Knowledge., , , , , и . AI*IA, том 13196 из Lecture Notes in Computer Science, стр. 153-167. Springer, (2021)