Home » Publication » 16549

Dettaglio pubblicazione

2005, DATA & KNOWLEDGE ENGINEERING, Pages 189-202 (volume: 55)

The complexity of model checking for propositional default logics (01a Articolo in rivista)

Liberatore Paolo, Schaerf Marco

keywords

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma