Home

Yan__Zhang



Compiling causality into action theories

Disjunctive Update, minimal change, and default reasoning

On propositional knowledge base updates

Semantical considerations for knowledge base updates

Updates with disjunctive information: From syntactical and semantical perspectives

Updating knowledge bases with disjunctive information

Updating logic programs