GEBSER, MARTIN
GEBSER, MARTIN
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.007 secondi).
A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments
2025-01-01 Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco
Aggregate Semantics for Propositional Answer Set Programs
2023-01-01 Alviano, M. A. R. I. O.; Faber, W.; Gebser, M.
Introduction to the 41st International Conference on Logic Programming Special Issue
2025-01-01 Gebser, M.; Inclezan, D.; Ricca, F.
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data
2024-01-01 Dodaro, C; Galatà, G; Gebser, M; Maratea, M; Marte, C; Mochi, M; Scanu, M
The Sixth Answer Set Programming Competition
2017-01-01 Gebser, Martin; Maratea, Marco; Ricca, Francesco
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A simple proof-theoretic characterization of stable models: Reduction to difference logic and experiments | 1-gen-2025 | Gebser, Martin; Giunchiglia, Enrico; Maratea, Marco; Mochi, Marco | |
| Aggregate Semantics for Propositional Answer Set Programs | 1-gen-2023 | Alviano, M. A. R. I. O.; Faber, W.; Gebser, M. | |
| Introduction to the 41st International Conference on Logic Programming Special Issue | 1-gen-2025 | Gebser, M.; Inclezan, D.; Ricca, F. | |
| Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data | 1-gen-2024 | Dodaro, C; Galatà, G; Gebser, M; Maratea, M; Marte, C; Mochi, M; Scanu, M | |
| The Sixth Answer Set Programming Competition | 1-gen-2017 | Gebser, Martin; Maratea, Marco; Ricca, Francesco |