( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards

, , и . CoRR, (2013)

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.

Aman K K Bhasin

K Schweizerhof

K Schaber

K Beheng

K Bente

 

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

Blocks World revisited., и . Artif. Intell., 125 (1-2): 119-153 (2001)FINDER: Finite Domain Enumerator - System Description.. CADE, том 814 из Lecture Notes in Computer Science, стр. 798-801. Springer, (1994)Combining Finite Model Generation with Theorem Proving: Problems and Prospects., и . FroCoS, том 3 из Applied Logic Series, стр. 141-155. Kluwer Academic Publishers, (1996)Logic for Two: The Semantics of Distributive Substructural Logics., и . ECSQARU-FAPR, том 1244 из Lecture Notes in Computer Science, стр. 554-567. Springer, (1997)Constraint Modelling: A Challenge for First Order Automated Reasoning (Invited Talk).. PAAR/ESHOL, том 373 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Estimating Search Tree Size., , , и . AAAI, стр. 1014-1019. AAAI Press, (2006)Reduced models for relevant logics without WI.. Notre Dame J. Formal Log., 28 (3): 395-407 (1987)Estimating Search Tree Size, , , и . AAAI, AAAI Press, (2006)Automatic Generation of Some Results in Finite Algebra., , и . IJCAI, стр. 52-59. Morgan Kaufmann, (1993)Decision-Theoretic Planning with non-Markovian Rewards., , , , и . J. Artif. Intell. Res., (2006)