• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Dongmo Zhang, Norman Y. Foo
  • Computer Science, Mathematics
  • J. Philos. Log.
  • 2001 (First Publication: 1 December 2001)
  • This paper extends the AGM theory of belief revision to accommodate infinitary belief change. We generalize both axiomatization and modeling of the AGM theory. We show that most properties of the AGMExpand
  • Dongmo Zhang
  • Mathematics, Computer Science
  • Artif. Intell.
  • 2010 (First Publication: 1 November 2010)
  • This paper introduces an axiomatic model for bargaining analysis. We describe a bargaining situation in propositional logic and represent bargainers' preferences in total pre-orders. Based on theExpand
  • Dongmo Zhang, Norman Y. Foo
  • Computer Science
  • IJCAI
  • 2001 (First Publication: 4 August 2001)
  • This paper presents an extended system EPDL of propositional dynamic logic by allowing a proposition as a modality for representing and specifying direct and indirect effects of actions in a unifiedExpand
  • 38
  • 4