Suchergebnisse - Truszczynski, Mirek | OPAC THWS

1

Proceedings 38th International Conference on Logic Programming: Solving Problems in PH with ASP(Q): Preliminary Results von Amendola, Giovanni, Cuteri, Bernardo, Ricca, Francesco, Truszczynski, Mirek

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A formal theory of justifications von Denecker, Marc, Brewka, Gerhard, Strass, Hannes

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A Machine Learning System to Improve the Performance of ASP Solving Based on Encoding Selection von Liu, Liu, Truszczynski, Mirek, Lierler, Yuliya

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Solving Problems in the Polynomial Hierarchy with ASP(Q) von Amendola, Giovanni, Cuteri, Bernardo, Ricca, Francesco, Truszczynski, Mirek

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Quantifying over Optimum Answer Sets von Mazzotta, Giuseppe, Ricca, Francesco, Truszczynski, Mirek

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Quantifying over Optimum Answer Sets von Mazzotta, Giuseppe, Ricca, Francesco, Truszczynski, Mirek

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Beyond NP: Quantifying over Answer Sets von Amendola, Giovanni, Ricca, Francesco, Truszczynski, Mirek

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: