CWA formalizations in multi-valued logics
From MaRDI portal
Publication:5942700
DOI10.1007/BF02943204zbMath0980.03037OpenAlexW2291793461MaRDI QIDQ5942700
Publication date: 23 January 2002
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02943204
polynomial ringmany-valued logicexpressive powerclosed world assumptiondeclarative abilitydeductive databasepolynomial formquery evaluation
Cites Work