Autor der Publikation

Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach.

, , , , und . Theory Pract. Log. Program., 19 (3): 449-476 (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Neural-Symbolic Ensemble Learning for early-stage prediction of critical state of Covid-19 patients., , , , und . Medical Biol. Eng. Comput., 60 (12): 3461-3474 (2022)Exploiting CNN's visual explanations to drive anomaly detection., , , und . Appl. Intell., 54 (1): 414-427 (Januar 2024)Normal Logic Programs as Open Positive Programs., , , und . JICSLP, Seite 783-797. MIT Press, (1992)Extending Constraint Logic Programming for Temporal Reasoning., , und . Ann. Math. Artif. Intell., 22 (1-2): 139-158 (1998)Combining Solvers in a Meta Constraint Logic Programming Architecture., , und . FroCoS, Volume 3 von Applied Logic Series, Seite 267-283. Kluwer Academic Publishers, (1996)Learning Multiple Predicates., , und . AIMSA, Volume 1480 von Lecture Notes in Computer Science, Seite 303-316. Springer, (1998)Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming., , und . Inf., 10 (11): 335 (2019)A System for Measuring Function Points from an ER-DFD Specification., , und . Comput. J., 47 (3): 358-372 (2004)Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate., , , , und . Ann. Math. Artif. Intell., 37 (1-2): 65-91 (2003)Dealing with incomplete knowledge on CLP(FD) variable domains., , , und . ACM Trans. Program. Lang. Syst., 27 (2): 236-263 (2005)