Expressivity and completeness for public update logics via reduction axioms.

Barteld P. Kooi

Published in: J. Appl. Non Class. Logics (2007)

Keyphrases

computational properties
expressive power
knowledge base
first order logic
search engine
reduction method
update rules
data quality
inference rules
public administration
conditional logic
nonmonotonic inference
propositional calculus