TRUSZCZYNSKI, Miroslaw

TRUSZCZYNSKI, Miroslaw  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.014 secondi).
Titolo Data di pubblicazione Autore(i) File
A logical framework for view updating in indefinite databases 1-gen-2019 Caroprese, L.; Trubitsyna, I.; Truszczynski, M.; Zumpano, E.
Beyond NP: Quantifying over Answer Sets 1-gen-2019 Amendola, G.; Ricca, F.; Truszczynski, M.
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 1-gen-2017 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings 1-gen-2015 Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, M.
New models for generating hard random boolean formulas and disjunctive logic programs 1-gen-2020 Amendola, G.; Ricca, F.; Truszczynski, M.
Random models of very hard 2QBF and disjunctive programs: An overview 1-gen-2018 Amendola, G.; Ricca, F.; Truszczynski, M.
Solving Problems in PH with ASP(Q): Preliminary Results 1-gen-2022 Amendola, G.; Cuteri, B.; Ricca, F.; Truszczynski, M.
The view-update problem for indefinite databases 1-gen-2013 Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester