Combining Syntax and Semantics through Prime Form Representation

DOI10.1093/logcom/exm051zbMath1133.68440OpenAlexW2090224436MaRDI QIDQ5450566

Guilherme Bittencourt

Publication date: 12 March 2008

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exm051

zbMATH Keywords

belief revisionknowledge representationmodel countingknowledge compilationprime implicants

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Classical propositional logic (03B05)

This page was built for publication: Combining Syntax and Semantics through Prime Form Representation