Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies., , und . IJCAI, Seite 2840-2846. AAAI Press, (2015)Modeling and Reasoning with Decision-Theoretic Goals., , , und . ER, Volume 8217 von Lecture Notes in Computer Science, Seite 19-32. Springer, (2013)Modeling Organic Chemistry and Planning Organic Synthesis., , und . GCAI, Volume 36 von EPiC Series in Computing, Seite 176-195. EasyChair, (2015)Organic Synthesis as Artificial Intelligence Planning., , und . SWAT4LS, Volume 1114 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)Situation Calculus Semantics for Actual Causality., und . AAAI, Seite 1744-1752. AAAI Press, (2018)Planning as Theorem Proving with Heuristics., und . IPS-RCRA-SPIRIT@AI*IA, Volume 3585 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming., und . IPS-RCRA-SPIRIT@AI*IA, Volume 3585 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Reasoning about Large Taxonomies of Actions., und . AAAI, Seite 931-937. AAAI Press, (2008)Towards an Expressive Decidable Logical Action Theory., und . Description Logics, Volume 846 von CEUR Workshop Proceedings, CEUR-WS.org, (2012)Reasoning about Chemical Reactions Using the Situation Calculus., und . AAAI Fall Symposium: Discovery Informatics, Volume FS-12-03 von AAAI Technical Report, AAAI, (2012)