Volume 167; Issue 1-2

Fundamenta Informaticae

Volume 167; Issue 1-2
1

Model Enumeration via Assumption Literals

Alviano, Mario, Dodaro, Carmine, Maratea, Marco, Serina, Ivan, Torroni, Paolo
Journal:
Fundamenta Informaticae
Year:
2019
Language:
english
File:
PDF, 395 KB
english, 2019
3

Argumentation Reasoning via Circumscription with Pyglaf

Alviano, Mario, Maratea, Marco, Serina, Ivan, Torroni, Paolo
Journal:
Fundamenta Informaticae
Year:
2019
Language:
english
File:
PDF, 599 KB
english, 2019