Enforcing Sets of Formulas in Structured Argumentation.

AnneMarie Borg Floris Bex

Published in: KR (2021)

Keyphrases

structured data
horn clauses
real world
content analysis
relational databases
real numbers
global consistency