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

DOI: 10.1016/j.datak.2005.03.002
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma