Author of the publication

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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