Treffer 1 - 13 von 13 für Suche 'RUSOVAC, DOMINIK', Suchdauer: 0,57s Treffer weiter einschränken
  1. 1
    IASCAR: Incremental Answer Set Counting by Anytime Refinement

    IASCAR: Incremental Answer Set Counting by Anytime Refinement von FICHTE, JOHANNES K., GAGGL, SARAH ALICE, HECHER, MARKUS, RUSOVAC, DOMINIK


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Proceedings 38th International Conference on Logic Programming: Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract)

    Proceedings 38th International Conference on Logic Programming: Rushing and Strolling among Answer Sets - Navigation Made Easy (Extended Abstract) von Fichte, Johannes Klaus, Gaggl, Sarah Alice, Rusovac, Dominik


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    IASCAR: Incremental Answer Set Counting by Anytime Refinement

    IASCAR: Incremental Answer Set Counting by Anytime Refinement von Fichte, Johannes Klaus, Gaggl, Sarah Alice, Hecher, Markus, Rusovac, Dominik


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Representing Abstract Dialectical Frameworks with Binary Decision Diagrams

    Representing Abstract Dialectical Frameworks with Binary Decision Diagrams von Ellmauthaler, Stefan, Gaggl, Sarah Alice, Rusovac, Dominik, Wallner, Johannes P.


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    IASCAR: Incremental Answer Set Counting by Anytime Refinement

    IASCAR: Incremental Answer Set Counting by Anytime Refinement von Fichte, Johannes K, Gaggl, Sarah Alice, Hecher, Markus, Rusovac, Dominik

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Rushing and Strolling among Answer Sets -- Navigation Made Easy

    Rushing and Strolling among Answer Sets -- Navigation Made Easy von Fichte, Johannes K, Gaggl, Sarah Alice, Rusovac, Dominik

    Volltext bestellen
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence (Experiments)

    To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence (Experiments) von Karge, Jonas, Burkhardt, Juliette-Michelle, Rudolph, Sebastian, Rusovac, Dominik

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  8. 8
    IASCAR: Incremental Answer Set Counting by Anytime Refinement

    IASCAR: Incremental Answer Set Counting by Anytime Refinement von Fichte, Johannes K, Gaggl, Sarah Alice, Hecher, Markus, Rusovac, Dominik

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    IASCAR: Incremental Answer Set Counting by Anytime Refinement (Experiments)

    IASCAR: Incremental Answer Set Counting by Anytime Refinement (Experiments) von Fichte, Johannes K., Gaggl, Sarah Alice, Hecher, Markus, Rusovac, Dominik

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Navigating and Querying Answer Sets: How Hard Is It Really and Why? (Empirical Case Study)

    Navigating and Querying Answer Sets: How Hard Is It Really and Why? (Empirical Case Study) von Rusovac, Dominik, Hecher, Markus, Gebser, Martin, Gaggl, Sarah Alice, Fichte, Johannes K.

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1

    Preliminary Evaluation Data for adf-bdd v 0.2.4-beta.1 von Ellmauthaler, Stefan, Gaggl, Sarah Alice, Rusovac, Dominik, Wallner, Johannes Peter

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Rushing and Strolling among Answer Sets -- Navigation Made Easy

    Rushing and Strolling among Answer Sets -- Navigation Made Easy von Fichte, Johannes K, Gaggl, Sarah Alice, Rusovac, Dominik

    Veröffentlicht in arXiv.org

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Rushing and Strolling among Answer Sets - Navigation Made Easy (Experiments)

    Rushing and Strolling among Answer Sets - Navigation Made Easy (Experiments) von Fichte, Johannes Klaus, Gaggl, Sarah Alice, Rusovac, Dominik

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: