Treffer 1 - 4 von 4 für Suche 'BESIN, VIKTOR', Suchdauer: 0,33s Treffer weiter einschränken
  1. 1
    Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

    Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs von BESIN, VIKTOR, HECHER, MARKUS, WOLTRAN, STEFAN


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Proceedings 39th International Conference on Logic Programming: Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck (Extended Abstract)

    Proceedings 39th International Conference on Logic Programming: Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck (Extended Abstract) von Besin, Viktor, Hecher, Markus, Woltran, Stefan


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

    Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs von Besin, Viktor, Hecher, Markus, Woltran, Stefan

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs

    Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs von Besin, Viktor, Hecher, Markus, Woltran, Stefan

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: