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)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)PASOCS: A Parallel Approximate Solver for Probabilistic Logic Programs under the Credal Semantics., , and . CoRR, (2021)Tensor-Based Abduction in Horn Propositional Programs., , and . ILP Up-and-Coming / Short Papers, volume 2206 of CEUR Workshop Proceedings, page 68-75. CEUR-WS.org, (2018)Topical Neural Theorem Prover that Induces Rules., , and . GCAI, volume 72 of EPiC Series in Computing, page 107-120. EasyChair, (2020)CLDS for Propositional Intuitionistic Logic., and . TABLEAUX, volume 1617 of Lecture Notes in Computer Science, page 66-81. Springer, (1999)Learning Weak Constraints in Answer Set Programming., , and . CoRR, (2015)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)Search Space Expansion for Efficient Incremental Inductive Logic Programming from Streamed Data., , and . IJCAI, page 2697-2704. ijcai.org, (2022)