Dettaglio pubblicazione
2016, Proc. Int. Workshop Tempor. Represent. Reason., Pages 349-358
Approximations and refinements of certain answers via many-valued logics (04b Atto di convegno in volume)
Console M., Guagliardo P., Libkin L.
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords