Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1

Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac, Johannes Peter Wallner

Publikation: Nonprint-Formen › Datensätze / Datenbank

  • 1 Beitrag in einem Konferenzband

Suchergebnisse

  • 2022

    Representing Abstract Dialectical Frameworks with Binary Decision Diagrams

    Ellmauthaler, S., Gaggl, S. A., Rusovac, D. & Wallner, J. P., 2022, Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Proceedings. Gottlob, G., Inclezan, D. & Maratea, M. (Hrsg.). Springer, Band 13416. S. 177-189 13 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13416 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung