An Operational Semantics for Knowledge Bases.

Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi

Browse the full AAAI paper archive.