Home

Hirofumi__Katsuno



A unified view of consequence relation, belief revision and conditional logic

On the Difference Between Updating a Knowledge Base and Revising it