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