Dong-Mo Zhang

Available identifiers

zbMath Open zhang.dongmoMaRDI QIDQ1968588

List of research outcomes

Publication	Date of Publication	Type
Game equivalence and expressive power of game description languages: a bisimulation approach	2023-02-20	Paper
Epistemic GDL: a logic for representing and reasoning about imperfect information games	2021-11-02	Paper
A Hierarchical Approach to Judgment Aggregation with Abstentions	2019-12-06	Paper
A sequential model of bargaining in logic programming	2018-12-19	Paper
On axiomatization of epistemic GDL	2017-11-22	Paper
Refinement of Intentions	2016-11-30	Paper
https://portal.mardi4nfdi.de/entity/Q3455626	2015-12-11	Paper
How to efficiently allocate houses under price controls?	2015-10-05	Paper
Representing and reasoning about game strategies	2015-04-23	Paper
Judgment Aggregation with Abstentions: A Hierarchical Approach	2013-11-06	Paper
A Sequential Model for Reasoning about Bargaining in Logic Programs	2013-10-10	Paper
Relevant Minimal Change in Belief Update	2012-09-21	Paper
A logic-based axiomatic model of bargaining	2011-01-31	Paper
Frame problem in dynamic logic	2009-11-30	Paper
AI 2003: Advances in Artificial Intelligence	2009-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3624168	2009-04-28	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
https://portal.mardi4nfdi.de/entity/Q4475138	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4475141	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4430399	2003-10-09	Paper
https://portal.mardi4nfdi.de/entity/Q4415199	2003-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q4708931	2003-06-20	Paper
https://portal.mardi4nfdi.de/entity/Q4708198	2003-06-17	Paper
https://portal.mardi4nfdi.de/entity/Q4800162	2003-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4784406	2002-12-10	Paper
Some contributions to nonmonotonic consequence	2002-10-17	Paper
Infinitary belief revision	2002-04-11	Paper
Nonlinear integer programming by Darwin and Boltzmann mixed strategy	2001-03-22	Paper
Default reasoning and belief revision: A syntax-independent approach	2001-01-25	Paper
Application of the simulated annealing algorithm to the combinatorial optimization problem with permutation property: An investigation of generation mechanism	2000-10-11	Paper
https://portal.mardi4nfdi.de/entity/Q4945926	2000-03-26	Paper
Global optimization by Darwin and Boltzmann mixed strategy	2000-03-21	Paper
Open logic based on total-ordered partition model	1999-11-08	Paper
https://portal.mardi4nfdi.de/entity/Q4223289	1999-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q4218567	1999-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4397797	1998-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4388435	1998-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4392265	1998-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4387857	1998-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q4864966	1996-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4290437	1994-05-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dong-Mo Zhang