Autor der Publikation

Strong Equivalence of Logic Programs with Abstract Constraint Atoms.

, , , , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 161-173. Springer, (2011)

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

Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021., , , , , und . Rev. Socionetwork Strateg., 16 (1): 111-133 (2022)A Multi-Component Framework for the Analysis and Design of Explainable Artificial Intelligence., , , , , , , , , und 1 andere Autor(en). Mach. Learn. Knowl. Extr., 3 (4): 900-921 (2021)On eliminating loops in Prolog., und . ACM SIGPLAN Notices, 20 (8): 38-40 (1985)An Improved Approximation Algorithm for the Bandpass Problem., , , und . FAW-AAIM, Volume 7285 von Lecture Notes in Computer Science, Seite 351-358. Springer, (2012)Belief States as Default Theories: Studies in Non-Prioritized Belief Change., und . ECAI, Seite 8-12. John Wiley and Sons, (1998)Submodular and supermodular multi-labeling, and vertex happiness., , und . CoRR, (2016)On Generality and Knowledge Transferability in Cross-Domain Duplicate Question Detection for Heterogeneous Community Question Answering., , , , , , und . CoRR, (2018)Strong Equivalence of Logic Programs with Abstract Constraint Atoms., , , , und . LPNMR, Volume 6645 von Lecture Notes in Computer Science, Seite 161-173. Springer, (2011)The role of default representations in incremental learning., , und . PRICAI Workshops, Volume 1359 von Lecture Notes in Computer Science, Seite 92-105. Springer, (1996)Curried least general generalization: A framework for higher order concept learning., , und . PRICAI Workshops, Volume 1359 von Lecture Notes in Computer Science, Seite 45-60. Springer, (1996)