( en | de | ru )

 

Disambiguierung von "Kumar, Ramana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Scaling Goal-based Exploration via Pruning Proto-goals.

, , , und . CoRR, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ramana Juvvadi

Venkata Ramana Ikkurthi

Kinetic simulations of dusty plasmas. Uni Greifswald, (2009)

Ramana Saleh Birjandi

Venkata Ramana Sirivolu

Ramana Rao Nunna

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof-Producing Reflection for HOL - With an Application to Model Polymorphism., und . ITP, Volume 9236 von Lecture Notes in Computer Science, Seite 170-186. Springer, (2015)(Nominal) Unification by Recursive Descent with Triangular Substitutions., und . ITP, Volume 6172 von Lecture Notes in Computer Science, Seite 51-66. Springer, (2010)Verified Certificate Checking for Counting Votes., , , und . VSTTE, Volume 11294 von Lecture Notes in Computer Science, Seite 69-87. Springer, (2018)Modeling AGI Safety Frameworks with Causal Influence Diagrams., , , und . AISafety@IJCAI, Volume 2419 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Standalone Tactics Using OpenTheory., und . ITP, Volume 7406 von Lecture Notes in Computer Science, Seite 405-411. Springer, (2012)Scaling Goal-based Exploration via Pruning Proto-goals., , , und . CoRR, (2023)Discovering Agents (Abstract Reprint)., , , , , und . AAAI, Seite 22701. AAAI Press, (2024)Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4.. PxTP@CADE, Volume 14 von EPiC Series in Computing, Seite 110-116. EasyChair, (2013)Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions., , , , , und . IJCAR, Volume 10900 von Lecture Notes in Computer Science, Seite 646-662. Springer, (2018)Discovering Agents., , , , , und . CoRR, (2022)