( en | de | ru )

 

Disambiguierung von "Broda, Krysia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Logic-Based Learning of Answer Set Programs.

, , und . Reasoning Web, Volume 11810 von Lecture Notes in Computer Science, Seite 196-231. Springer, (2019)

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.

Frank Broda

Rudolf Broda

Danuta Broda

Bernd Broda

Sabine Broda

 

Weitere Publikationen von Autoren mit dem selben Namen

Tool support for informal deduction., , und . ACSE, Volume 1 von ACM International Conference Proceeding Series, Seite 119-126. ACM, (1996)Neural-symbolic learning systems - foundations and applications., , und . Perspectives in neural computing Springer, (2002)Induction and Exploitation of Subgoal Automata for Reinforcement Learning., , , , und . J. Artif. Intell. Res., (2021)Induction of Subgoal Automata for Reinforcement Learning., , , , und . CoRR, (2019)A Semantics For Probabilistic Answer Set Programs With Incomplete Stochastic Knowledge., , und . ICLP Workshops, Volume 3193 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Hierarchies of Reward Machines., , , , und . ICML, Volume 202 von Proceedings of Machine Learning Research, Seite 10494-10541. PMLR, (2023)Applying connectionist modal logics to distributed knowledge representation problems., , , und . Int. J. Artif. Intell. Tools, 13 (1): 115-139 (2004)A Decidable CLDS for Some Propositional Resource Logics.. Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 135-159. Springer, (2002)CLDS for Propositional Intuitionistic Logic., und . TABLEAUX, Volume 1617 von Lecture Notes in Computer Science, Seite 66-81. Springer, (1999)Labelled Natural Deduction for Conditional Logics of Normality., , , und . Logic Journal of the IGPL, 10 (2): 123-163 (2002)