Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dongmo Zhang
@article{DBLP:journals/aamas/QiaoJZSSD23,
author = {Jianglin Qiao and
Dave de Jonge and
Dongmo Zhang and
Simeon Simoff and
Carles Sierra and
Bo Du},
title = {Price of anarchy of traffic assignment with exponential cost functions},
journal = {Auton. Agents Multi Agent Syst.},
volume = {37},
number = {2},
pages = {42},
year = {2023},
url = {https://doi.org/10.1007/s10458-023-09625-6},
doi = {10.1007/S10458-023-09625-6},
timestamp = {Tue, 20 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/QiaoJZSSD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/JiangPZZZ23,
author = {Guifei Jiang and
Laurent Perrussel and
Dongmo Zhang and
Heng Zhang and
Yuzhi Zhang},
title = {Game equivalence and expressive power of game description languages:
a bisimulation approach},
journal = {J. Log. Comput.},
volume = {33},
number = {1},
pages = {163--187},
year = {2023},
url = {https://doi.org/10.1093/logcom/exac034},
doi = {10.1093/LOGCOM/EXAC034},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/JiangPZZZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JongeZ22,
author = {Dave de Jonge and
Dongmo Zhang},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {{GDL} as a Unifying Domain Description Language for Declarative Automated
Negotiation},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1935--1937},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1935.pdf},
doi = {10.5555/3535850.3536158},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JongeZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/QiaoZJ22,
author = {Jianglin Qiao and
Dongmo Zhang and
Dave de Jonge},
editor = {Guodong Long and
Xinghuo Yu and
Sen Wang},
title = {Priority-Based Traffic Management Protocols for Autonomous Vehicles
on Road Networks},
booktitle = {{AI} 2021: Advances in Artificial Intelligence - 34th Australasian
Joint Conference, {AI} 2021, Sydney, NSW, Australia, February 2-4,
2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13151},
pages = {240--253},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-97546-3\_20},
doi = {10.1007/978-3-030-97546-3\_20},
timestamp = {Wed, 23 Mar 2022 20:25:37 +0100},
biburl = {https://dblp.org/rec/conf/ausai/QiaoZJ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/WangZD22,
author = {Qi Wang and
Dongmo Zhang and
Bo Du},
title = {A Queue Balancing Approach for Electric Vehicle Charging Allocation},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {2750--2755},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ITSC55140.2022.9922375},
doi = {10.1109/ITSC55140.2022.9922375},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/WangZD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/QiaoJZSS22,
author = {Jianglin Qiao and
Dave de Jonge and
Dongmo Zhang and
Carles Sierra and
Simeon Simoff},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {208--226},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_13},
doi = {10.1007/978-3-031-21203-1\_13},
timestamp = {Thu, 17 Nov 2022 16:10:56 +0100},
biburl = {https://dblp.org/rec/conf/prima/QiaoJZSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/JongeZ21,
author = {Dave de Jonge and
Dongmo Zhang},
title = {{GDL} as a unifying domain description language for declarative automated
negotiation},
journal = {Auton. Agents Multi Agent Syst.},
volume = {35},
number = {1},
pages = {13},
year = {2021},
url = {https://doi.org/10.1007/s10458-020-09491-6},
doi = {10.1007/S10458-020-09491-6},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/JongeZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/JiangZP021,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel and
Heng Zhang},
title = {Epistemic {GDL:} {A} logic for representing and reasoning about imperfect
information games},
journal = {Artif. Intell.},
volume = {294},
pages = {103453},
year = {2021},
url = {https://doi.org/10.1016/j.artint.2021.103453},
doi = {10.1016/J.ARTINT.2021.103453},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/JiangZP021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aamas/JongeZ20,
author = {Dave de Jonge and
Dongmo Zhang},
title = {Strategic negotiations for extensive-form games},
journal = {Auton. Agents Multi Agent Syst.},
volume = {34},
number = {1},
pages = {2},
year = {2020},
url = {https://doi.org/10.1007/s10458-019-09424-y},
doi = {10.1007/S10458-019-09424-Y},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aamas/JongeZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jbft/MazumdarZG20,
author = {Kingshuk Mazumdar and
Dongmo Zhang and
Yi Guo},
title = {Portfolio selection and unsystematic risk optimisation using swarm
intelligence},
journal = {J. Bank. Financial Technol.},
volume = {4},
number = {1},
pages = {1--14},
year = {2020},
url = {https://doi.org/10.1007/s42786-019-00013-x},
doi = {10.1007/S42786-019-00013-X},
timestamp = {Sun, 12 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jbft/MazumdarZG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JongeZ20,
author = {Dave de Jonge and
Dongmo Zhang},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Strategic Negotiations for Extensive-Form Games},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {2134--2136},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3399101},
doi = {10.5555/3398761.3399101},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JongeZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Zhang20,
author = {Dongmo Zhang},
editor = {Marcus Gallagher and
Nour Moustafa and
Erandi Lakshika},
title = {Behavioural Equivalence of Game Descriptions},
booktitle = {{AI} 2020: Advances in Artificial Intelligence - 33rd Australasian
Joint Conference, {AI} 2020, Canberra, ACT, Australia, November 29-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12576},
pages = {307--319},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64984-5\_24},
doi = {10.1007/978-3-030-64984-5\_24},
timestamp = {Fri, 27 Nov 2020 11:39:48 +0100},
biburl = {https://dblp.org/rec/conf/ausai/Zhang20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/QiaoZJ19,
author = {Jianglin Qiao and
Dongmo Zhang and
Dave de Jonge},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Graph Representation of Road and Traffic for Autonomous Driving},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11672},
pages = {377--384},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29894-4\_31},
doi = {10.1007/978-3-030-29894-4\_31},
timestamp = {Wed, 25 Sep 2019 18:21:16 +0200},
biburl = {https://dblp.org/rec/conf/pricai/QiaoZJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/JiangPZZZ19,
author = {Guifei Jiang and
Laurent Perrussel and
Dongmo Zhang and
Heng Zhang and
Yuzhi Zhang},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Game Equivalence and Bisimulation for Game Description Language},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11670},
pages = {583--596},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29908-8\_46},
doi = {10.1007/978-3-030-29908-8\_46},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pricai/JiangPZZZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/JiangPZZZ19a,
author = {Guifei Jiang and
Laurent Perrussel and
Dongmo Zhang and
Heng Zhang and
Yuzhi Zhang},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Characterizing the Expressivity of Game Description Languages},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11670},
pages = {597--611},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29908-8\_47},
doi = {10.1007/978-3-030-29908-8\_47},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pricai/JiangPZZZ19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/MazumdarZG19,
author = {Kingshuk Mazumdar and
Dongmo Zhang and
Yi Guo},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Portfolio Risk Optimisation and Diversification Using Swarm Intelligence},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11672},
pages = {740--747},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29894-4\_60},
doi = {10.1007/978-3-030-29894-4\_60},
timestamp = {Sun, 12 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/MazumdarZG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/MazumdarZG19a,
author = {Kingshuk Mazumdar and
Dongmo Zhang and
Yi Guo},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Multi-peak Algorithmic Trading Strategies Using Grey Wolf Optimizer},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {11672},
pages = {748--754},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29894-4\_61},
doi = {10.1007/978-3-030-29894-4\_61},
timestamp = {Sun, 12 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/MazumdarZG19a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/JiangZP18,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel},
title = {A Hierarchical Approach to Judgment Aggregation with Abstentions},
journal = {Comput. Intell.},
volume = {34},
number = {1},
pages = {104--123},
year = {2018},
url = {https://doi.org/10.1111/coin.12109},
doi = {10.1111/COIN.12109},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ci/JiangZP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Zhang18,
author = {Dongmo Zhang},
editor = {Tanja Mitrovic and
Bing Xue and
Xiaodong Li},
title = {A Logic for Reasoning About Game Descriptions},
booktitle = {{AI} 2018: Advances in Artificial Intelligence - 31st Australasian
Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11320},
pages = {38--50},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03991-2\_4},
doi = {10.1007/978-3-030-03991-2\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/Zhang18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/QiaoZJ18,
author = {Jianglin Qiao and
Dongmo Zhang and
Dave de Jonge},
editor = {Tanja Mitrovic and
Bing Xue and
Xiaodong Li},
title = {Virtual Roundabout Protocol for Autonomous Vehicles},
booktitle = {{AI} 2018: Advances in Artificial Intelligence - 31st Australasian
Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11320},
pages = {773--782},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03991-2\_70},
doi = {10.1007/978-3-030-03991-2\_70},
timestamp = {Thu, 04 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/QiaoZJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/XiaoHPZ17,
author = {Zhanhao Xiao and
Andreas Herzig and
Laurent Perrussel and
Dongmo Zhang},
editor = {Floriana Esposito and
Roberto Basili and
Stefano Ferilli and
Francesca A. Lisi},
title = {Deciding Refinement Relation in Belief-Intention Databases},
booktitle = {AI*IA 2017 Advances in Artificial Intelligence - XVIth International
Conference of the Italian Association for Artificial Intelligence,
Bari, Italy, November 14-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10640},
pages = {186--199},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70169-1\_14},
doi = {10.1007/978-3-319-70169-1\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/aiia/XiaoHPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JongeZ17,
author = {Dave de Jonge and
Dongmo Zhang},
editor = {Kate Larson and
Michael Winikoff and
Sanmay Das and
Edmund H. Durfee},
title = {Automated Negotiations for General Game Playing},
booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
pages = {371--379},
publisher = {{ACM}},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3091183},
timestamp = {Thu, 04 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/JongeZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/JiangPZ17,
author = {Guifei Jiang and
Laurent Perrussel and
Dongmo Zhang},
editor = {Alexandru Baltag and
Jeremy Seligman and
Tomoyuki Yamada},
title = {On Axiomatization of Epistemic {GDL}},
booktitle = {Logic, Rationality, and Interaction - 6th International Workshop,
{LORI} 2017, Sapporo, Japan, September 11-14, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10455},
pages = {598--613},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55665-8\_41},
doi = {10.1007/978-3-662-55665-8\_41},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/lori/JiangPZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijis/JingZLZ16,
author = {Xiaoxin Jing and
Dongmo Zhang and
Xudong Luo and
Jieyu Zhan},
title = {A Logical Multidemand Bargaining Model with Integrity Constraints},
journal = {Int. J. Intell. Syst.},
volume = {31},
number = {7},
pages = {673--697},
year = {2016},
url = {https://doi.org/10.1002/int.21799},
doi = {10.1002/INT.21799},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijis/JingZLZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JongeZ16,
author = {Dave de Jonge and
Dongmo Zhang},
editor = {Nardine Osman and
Carles Sierra},
title = {Using {GDL} to Represent Domain Knowledge for Automated Negotiations},
booktitle = {Autonomous Agents and Multiagent Systems - {AAMAS} 2016 Workshops,
- Visionary Papers - , Singapore, Singapore, May 9-10, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10003},
pages = {134--153},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46840-2\_9},
doi = {10.1007/978-3-319-46840-2\_9},
timestamp = {Thu, 08 Sep 2022 19:48:31 +0200},
biburl = {https://dblp.org/rec/conf/atal/JongeZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/JongeZ16,
author = {Dave de Jonge and
Dongmo Zhang},
editor = {Byeong Ho Kang and
Quan Bai},
title = {Lifted Backward Search for General Game Playing},
booktitle = {{AI} 2016: Advances in Artificial Intelligence - 29th Australasian
Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9992},
pages = {3--16},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50127-7\_1},
doi = {10.1007/978-3-319-50127-7\_1},
timestamp = {Mon, 03 Jan 2022 22:15:46 +0100},
biburl = {https://dblp.org/rec/conf/ausai/JongeZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JiangZPZ16,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel and
Heng Zhang},
editor = {Subbarao Kambhampati},
title = {Epistemic {GDL:} {A} Logic for Representing and Reasoning about Imperfect
Information Games},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1138--1144},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/165},
timestamp = {Thu, 08 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/JiangZPZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HerzigPXZ16,
author = {Andreas Herzig and
Laurent Perrussel and
Zhanhao Xiao and
Dongmo Zhang},
editor = {Loizos Michael and
Antonis C. Kakas},
title = {Refinement of Intentions},
booktitle = {Logics in Artificial Intelligence - 15th European Conference, {JELIA}
2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10021},
pages = {558--563},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48758-8\_39},
doi = {10.1007/978-3-319-48758-8\_39},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HerzigPXZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ChenZW15,
author = {Wu Chen and
Dongmo Zhang and
Maonian Wu},
title = {A sequential model of bargaining in logic programming},
journal = {Frontiers Comput. Sci.},
volume = {9},
number = {3},
pages = {474--484},
year = {2015},
url = {https://doi.org/10.1007/s11704-015-3308-x},
doi = {10.1007/S11704-015-3308-X},
timestamp = {Mon, 19 Feb 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fcsc/ChenZW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/ZhangT15,
author = {Dongmo Zhang and
Michael Thielscher},
title = {Representing and Reasoning about Game Strategies},
journal = {J. Philos. Log.},
volume = {44},
number = {2},
pages = {203--236},
year = {2015},
url = {https://doi.org/10.1007/s10992-014-9334-6},
doi = {10.1007/S10992-014-9334-6},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/ZhangT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangT15,
author = {Dongmo Zhang and
Michael Thielscher},
editor = {Blai Bonet and
Sven Koenig},
title = {A Logic for Reasoning About Game Strategies},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1671--1677},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9416},
doi = {10.1609/AAAI.V29I1.9416},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/JiangZPZ15,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel and
Heng Zhang},
editor = {Gerhard Weiss and
Pinar Yolum and
Rafael H. Bordini and
Edith Elkind},
title = {A Logic for Collective Choice},
booktitle = {Proceedings of the 2015 International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} 2015, Istanbul, Turkey, May 4-8, 2015},
pages = {979--987},
publisher = {{ACM}},
year = {2015},
url = {http://dl.acm.org/citation.cfm?id=2773277},
timestamp = {Tue, 08 Mar 2022 10:12:47 +0100},
biburl = {https://dblp.org/rec/conf/atal/JiangZPZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/JiangZP15,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel},
editor = {Bernhard Pfahringer and
Jochen Renz},
title = {Knowledge Sharing in Coalitions},
booktitle = {{AI} 2015: Advances in Artificial Intelligence - 28th Australasian
Joint Conference, Canberra, ACT, Australia, November 30 - December
4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9457},
pages = {249--262},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26350-2\_22},
doi = {10.1007/978-3-319-26350-2\_22},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/JiangZP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JiangZP15,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel},
title = {Knowledge Sharing in Coalitions},
journal = {CoRR},
volume = {abs/1512.01915},
year = {2015},
url = {http://arxiv.org/abs/1512.01915},
eprinttype = {arXiv},
eprint = {1512.01915},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JiangZP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ZhaoZGSY14,
author = {Dengji Zhao and
Dongmo Zhang and
Enrico H. Gerding and
Yuko Sakurai and
Makoto Yokoo},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Incentives in ridesharing with deficit control},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1021--1028},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2617408},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/ZhaoZGSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/JiangZP14,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel},
editor = {Duc Nghia Pham and
Seong{-}Bae Park},
title = {{GDL} Meets {ATL:} {A} Logic for Game Description and Strategic Reasoning},
booktitle = {{PRICAI} 2014: Trends in Artificial Intelligence - 13th Pacific Rim
International Conference on Artificial Intelligence, Gold Coast, QLD,
Australia, December 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8862},
pages = {733--746},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13560-1\_58},
doi = {10.1007/978-3-319-13560-1\_58},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/JiangZP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/JiangZP14,
author = {Guifei Jiang and
Dongmo Zhang and
Laurent Perrussel},
editor = {Hoa Khanh Dam and
Jeremy V. Pitt and
Yang Xu and
Guido Governatori and
Takayuki Ito},
title = {Judgment Aggregation with Abstentions under Voters' Hierarchy},
booktitle = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th
International Conference, Gold Coast, QLD, Australia, December 1-5,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8861},
pages = {341--356},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13191-7\_28},
doi = {10.1007/978-3-319-13191-7\_28},
timestamp = {Thu, 09 Sep 2021 16:09:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/JiangZP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhangZ14a,
author = {Dongmo Zhang and
Yan Zhang},
title = {An Ordinal Bargaining Solution with Fixed-Point Property},
journal = {CoRR},
volume = {abs/1405.5201},
year = {2014},
url = {http://arxiv.org/abs/1405.5201},
eprinttype = {arXiv},
eprint = {1405.5201},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ZhangZ14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhangT14a,
author = {Dongmo Zhang and
Michael Thielscher},
title = {Representing and Reasoning about Game Strategies},
journal = {CoRR},
volume = {abs/1407.5380},
year = {2014},
url = {http://arxiv.org/abs/1407.5380},
eprinttype = {arXiv},
eprint = {1407.5380},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhangT14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/JingZL13,
author = {Xiaoxin Jing and
Dongmo Zhang and
Xudong Luo},
editor = {Stephen Cranefield and
Abhaya C. Nayak},
title = {A Logical Framework of Bargaining with Integrity Constraints},
booktitle = {{AI} 2013: Advances in Artificial Intelligence - 26th Australasian
Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8272},
pages = {1--13},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03680-9\_1},
doi = {10.1007/978-3-319-03680-9\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/JingZL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lori/JiangZT13,
author = {Guifei Jiang and
Dongmo Zhang and
Xiaojia Tang},
editor = {Davide Grossi and
Olivier Roy and
Huaxin Huang},
title = {Judgment Aggregation with Abstentions: {A} Hierarchical Approach},
booktitle = {Logic, Rationality, and Interaction - 4th International Workshop,
{LORI} 2013, Hangzhou, China, October 9-12, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8196},
pages = {321--325},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40948-6\_26},
doi = {10.1007/978-3-642-40948-6\_26},
timestamp = {Sun, 02 Jun 2019 21:21:18 +0200},
biburl = {https://dblp.org/rec/conf/lori/JiangZT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ChenZW13,
author = {Wu Chen and
Dongmo Zhang and
Maonian Wu},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {A Sequential Model for Reasoning about Bargaining in Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {239--244},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_24},
doi = {10.1007/978-3-642-40564-8\_24},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ChenZW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ZhaoZP13,
author = {Dengji Zhao and
Dongmo Zhang and
Laurent Perrussel},
title = {Decomposing Truthful and Competitive Online Double Auctions},
journal = {CoRR},
volume = {abs/1311.0198},
year = {2013},
url = {http://arxiv.org/abs/1311.0198},
eprinttype = {arXiv},
eprint = {1311.0198},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ZhaoZP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/ZhaoZP12,
author = {Dengji Zhao and
Dongmo Zhang and
Laurent Perrussel},
editor = {Luc De Raedt and
Christian Bessiere and
Didier Dubois and
Patrick Doherty and
Paolo Frasconi and
Fredrik Heintz and
Peter J. F. Lucas},
title = {Multi-unit Double Auction under Group Buying},
booktitle = {{ECAI} 2012 - 20th European Conference on Artificial Intelligence.
Including Prestigious Applications of Artificial Intelligence {(PAIS-2012)}
System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {242},
pages = {882--887},
publisher = {{IOS} Press},
year = {2012},
url = {https://doi.org/10.3233/978-1-61499-098-7-882},
doi = {10.3233/978-1-61499-098-7-882},
timestamp = {Mon, 19 Jun 2023 16:36:09 +0200},
biburl = {https://dblp.org/rec/conf/ecai/ZhaoZP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/PerrusselMTZ12,
author = {Laurent Perrussel and
Jerusa Marchi and
Jean{-}Marc Th{\'{e}}venin and
Dongmo Zhang},
editor = {Luis Fari{\~{n}}as del Cerro and
Andreas Herzig and
J{\'{e}}r{\^{o}}me Mengin},
title = {Relevant Minimal Change in Belief Update},
booktitle = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
2012, Toulouse, France, September 26-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7519},
pages = {333--345},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33353-8\_26},
doi = {10.1007/978-3-642-33353-8\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/PerrusselMTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/Zhang12,
author = {Dongmo Zhang},
editor = {Patricia Anthony and
Mitsuru Ishizuka and
Dickson Lukose},
title = {A Model of Intention with (Un)Conditional Commitments},
booktitle = {{PRICAI} 2012: Trends in Artificial Intelligence - 12th Pacific Rim
International Conference on Artificial Intelligence, Kuching, Malaysia,
September 3-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7458},
pages = {698--709},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32695-0\_61},
doi = {10.1007/978-3-642-32695-0\_61},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/Zhang12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/2012,
editor = {Michael Thielscher and
Dongmo Zhang},
title = {{AI} 2012: Advances in Artificial Intelligence - 25th Australasian
Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7691},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35101-3},
doi = {10.1007/978-3-642-35101-3},
isbn = {978-3-642-35100-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WuZZ11,
author = {Maonian Wu and
Dongmo Zhang and
Mingyi Zhang},
editor = {Wolfram Burgard and
Dan Roth},
title = {Language Splitting and Relevance-Based Belief Change in Horn Logic},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {268--273},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7853},
doi = {10.1609/AAAI.V25I1.7853},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/WuZZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhuZ11,
author = {Junwu Zhu and
Dongmo Zhang},
editor = {Dianhui Wang and
Mark Reynolds},
title = {Dynamic Auction for Efficient Competitive Equilibrium under Price
Rigidities},
booktitle = {{AI} 2011: Advances in Artificial Intelligence - 24th Australasian
Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7106},
pages = {809--818},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25832-9\_82},
doi = {10.1007/978-3-642-25832-9\_82},
timestamp = {Fri, 02 Jul 2021 14:10:58 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhuZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/ZhaoZP11,
author = {Dengji Zhao and
Dongmo Zhang and
Laurent Perrussel},
editor = {Christian Huemer and
Thomas Setzer},
title = {How to Make Specialists {NOT} Specialised in {TAC} Market Design Competition?
Behaviour-Based Mechanism Design},
booktitle = {E-Commerce and Web Technologies - 12th International Conference, EC-Web
2011, Toulouse, France, August 30 - September 1, 2011. Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {85},
pages = {124--135},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23014-1\_11},
doi = {10.1007/978-3-642-23014-1\_11},
timestamp = {Mon, 03 Jan 2022 22:18:47 +0100},
biburl = {https://dblp.org/rec/conf/ecweb/ZhaoZP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhaoZP11,
author = {Dengji Zhao and
Dongmo Zhang and
Laurent Perrussel},
editor = {Toby Walsh},
title = {Mechanism Design for Double Auctions with Temporal Constraints},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {472--477},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-086},
doi = {10.5591/978-1-57735-516-8/IJCAI11-086},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhaoZP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Zhang10,
author = {Dongmo Zhang},
title = {A logic-based axiomatic model of bargaining},
journal = {Artif. Intell.},
volume = {174},
number = {16-17},
pages = {1307--1322},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2010.08.003},
doi = {10.1016/J.ARTINT.2010.08.003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Zhang10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangP10,
author = {Dongmo Zhang and
Laurent Perrussel},
editor = {Maria Fox and
David Poole},
title = {Dynamic Auction: {A} Tractable Auction Procedure},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {935--940},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7633},
doi = {10.1609/AAAI.V24I1.7633},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/PerrusselMZ10,
author = {Laurent Perrussel and
Jerusa Marchi and
Dongmo Zhang},
editor = {Jiuyong Li},
title = {Characterizing Relevant Belief Revision Operators},
booktitle = {{AI} 2010: Advances in Artificial Intelligence - 23rd Australasian
Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6464},
pages = {42--51},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17432-2\_5},
doi = {10.1007/978-3-642-17432-2\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/PerrusselMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhaoZKP10,
author = {Dengji Zhao and
Dongmo Zhang and
Md Khan and
Laurent Perrussel},
editor = {Jiuyong Li},
title = {Maximal Matching for Double Auction},
booktitle = {{AI} 2010: Advances in Artificial Intelligence - 23rd Australasian
Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6464},
pages = {516--525},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17432-2\_52},
doi = {10.1007/978-3-642-17432-2\_52},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhaoZKP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/HuangZZP10,
author = {Wei Huang and
Dongmo Zhang and
Yan Zhang and
Laurent Perrussel},
editor = {Byoung{-}Tak Zhang and
Mehmet A. Orgun},
title = {Bargain over Joint Plans},
booktitle = {{PRICAI} 2010: Trends in Artificial Intelligence, 11th Pacific Rim
International Conference on Artificial Intelligence, Daegu, Korea,
August 30-September 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6230},
pages = {608--613},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15246-7\_57},
doi = {10.1007/978-3-642-15246-7\_57},
timestamp = {Thu, 27 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/HuangZZP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amec/ThielscherZ09,
author = {Michael Thielscher and
Dongmo Zhang},
editor = {Esther David and
Enrico H. Gerding and
David Sarne and
Onn Shehory},
title = {From General Game Descriptions to a Market Specification Language
for General Trading Agents},
booktitle = {Agent-Mediated Electronic Commerce. Designing Trading Strategies and
Mechanisms for Electronic Markets - {AAMAS} Workshop, {AMEC} 2009,
Budapest, Hungary, May 12, 2009, and {IJCAI} Workshop, {TADA} 2009,
Pasadena, CA, USA, July 13, 2009, Selected and Revised Papers},
series = {Lecture Notes in Business Information Processing},
volume = {59},
pages = {259--274},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-15117-0\_18},
doi = {10.1007/978-3-642-15117-0\_18},
timestamp = {Thu, 07 Jul 2022 17:31:33 +0200},
biburl = {https://dblp.org/rec/conf/amec/ThielscherZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/FuruhataPTZ09,
author = {Masabumi Furuhata and
Laurent Perrussel and
Jean{-}Marc Th{\'{e}}venin and
Dongmo Zhang},
editor = {Ann E. Nicholson and
Xiaodong Li},
title = {Experimental Market Mechanism Design for Double Auction},
booktitle = {{AI} 2009: Advances in Artificial Intelligence, 22nd Australasian
Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5866},
pages = {1--10},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10439-8\_1},
doi = {10.1007/978-3-642-10439-8\_1},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/FuruhataPTZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zhang09,
author = {Dongmo Zhang},
editor = {Craig Boutilier},
title = {Axiomatic Characterization of Task Oriented Negotiation},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {367--372},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/069.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Zhang09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/ZhangZ08,
author = {Dongmo Zhang and
Yan Zhang},
title = {An Ordinal Bargaining Solution with Fixed-Point Property},
journal = {J. Artif. Intell. Res.},
volume = {33},
pages = {433--464},
year = {2008},
url = {https://doi.org/10.1613/jair.2656},
doi = {10.1613/JAIR.2656},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/ZhangZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/FuruhataPZ08,
author = {Masabumi Furuhata and
Laurent Perrussel and
Dongmo Zhang},
editor = {Dieter Fensel and
Hannes Werthner},
title = {Mechanism design for capacity allocation with price competition},
booktitle = {Proceedings of the 10th International Conference on Electronic Commerce
2008, Innsbruck, Austria, August 19-22, 2008},
series = {{ACM} International Conference Proceeding Series},
volume = {342},
pages = {43:1--43:10},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1409540.1409598},
doi = {10.1145/1409540.1409598},
timestamp = {Tue, 06 Nov 2018 11:06:52 +0100},
biburl = {https://dblp.org/rec/conf/ACMicec/FuruhataPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/Zhang08,
author = {Dongmo Zhang},
editor = {Wayne Wobcke and
Mengjie Zhang},
title = {A Fixed-Point Property of Logic-Based Bargaining Solution},
booktitle = {{AI} 2008: Advances in Artificial Intelligence, 21st Australasian
Joint Conference on Artificial Intelligence, Auckland, New Zealand,
December 1-5, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5360},
pages = {30--41},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89378-3\_3},
doi = {10.1007/978-3-540-89378-3\_3},
timestamp = {Mon, 15 Feb 2021 14:16:47 +0100},
biburl = {https://dblp.org/rec/conf/ausai/Zhang08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/FuruhataZP08,
author = {Masabumi Furuhata and
Dongmo Zhang and
Laurent Perrussel},
editor = {The Duy Bui and
Tuong Vinh Ho and
Quang{-}Thuy Ha},
title = {Online Market Coordination},
booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International
Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December
15-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5357},
pages = {185--196},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89674-6\_21},
doi = {10.1007/978-3-540-89674-6\_21},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/FuruhataZP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Zhang07,
author = {Dongmo Zhang},
title = {Reasoning about Bargaining Situations},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {154--160},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-023.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Zhang07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JinTZ07,
author = {Yi Jin and
Michael Thielscher and
Dongmo Zhang},
title = {Mutual Belief Revision: Semantics and Computation},
booktitle = {Proceedings of the Twenty-Second {AAAI} Conference on Artificial Intelligence,
July 22-26, 2007, Vancouver, British Columbia, Canada},
pages = {440--445},
publisher = {{AAAI} Press},
year = {2007},
url = {http://www.aaai.org/Library/AAAI/2007/aaai07-069.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JinTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Zhang07,
author = {Dongmo Zhang},
editor = {Giacomo Bonanno and
James P. Delgrande and
J{\'{e}}r{\^{o}}me Lang and
Hans Rott},
title = {The Logic of Bargaining},
booktitle = {Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07351},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1203},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Zhang07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACMicec/FuruhataZ06,
author = {Masabumi Furuhata and
Dongmo Zhang},
editor = {Mark S. Fox and
Bruce Spencer},
title = {Capacity allocation with competitive retailers},
booktitle = {Proceedings of the 8th International Conference on Electronic Commerce:
The new e-commerce - Innovations for Conquering Current Barriers,
Obstacles and Limitations to Conducting Successful Business on the
Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16,
2006},
series = {{ACM} International Conference Proceeding Series},
volume = {156},
pages = {31--37},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1151454.1151474},
doi = {10.1145/1151454.1151474},
timestamp = {Tue, 06 Apr 2021 12:12:56 +0200},
biburl = {https://dblp.org/rec/conf/ACMicec/FuruhataZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangZ06,
author = {Dongmo Zhang and
Yan Zhang},
title = {A Computational Model of Logic-Based Negotiation},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {728--733},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-116.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhangZ06,
author = {Dongmo Zhang and
Yan Zhang},
editor = {Abdul Sattar and
Byeong{-}Ho Kang},
title = {Logical Properties of Belief-Revision-Based Bargaining Solution},
booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
Conference on Artificial Intelligence, Hobart, Australia, December
4-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4304},
pages = {79--89},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11941439\_12},
doi = {10.1007/11941439\_12},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhangZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/ZhangF05,
author = {Dongmo Zhang and
Norman Y. Foo},
title = {Frame problem in dynamic logic},
journal = {J. Appl. Non Class. Logics},
volume = {15},
number = {2},
pages = {215--239},
year = {2005},
url = {https://doi.org/10.3166/jancl.15.215-239},
doi = {10.3166/JANCL.15.215-239},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jancl/ZhangF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Zhang05,
author = {Dongmo Zhang},
editor = {Frank Dignum and
Virginia Dignum and
Sven Koenig and
Sarit Kraus and
Munindar P. Singh and
Michael J. Wooldridge},
title = {Negotiation mechanism for {TAC} {SCM} component market},
booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands},
pages = {288--295},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1082473.1082517},
doi = {10.1145/1082473.1082517},
timestamp = {Fri, 26 Apr 2019 14:26:42 +0200},
biburl = {https://dblp.org/rec/conf/atal/Zhang05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/DangZZZ05,
author = {Yan Dang and
Yulei Zhang and
Dongmo Zhang and
Liping Zhao},
editor = {Lipo Wang and
Ke Chen and
Yew{-}Soon Ong},
title = {A KNN-Based Learning Method for Biology Species Categorization},
booktitle = {Advances in Natural Computation, First International Conference, {ICNC}
2005, Changsha, China, August 27-29, 2005, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {3610},
pages = {956--964},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539087\_127},
doi = {10.1007/11539087\_127},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icnc/DangZZZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Zhang05,
author = {Dongmo Zhang},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {A Logical Model of Nash Bargaining Solution},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {983--990},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0518.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Zhang05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigecom/ZhangZLHH04,
author = {Dongmo Zhang and
Kanghua Zhao and
Chia{-}Ming Liang and
Gonelur Begum Huq and
Tze{-}Haw Huang},
title = {Strategic trading agents via market modelling},
journal = {SIGecom Exch.},
volume = {4},
number = {3},
pages = {46--55},
year = {2004},
url = {https://doi.org/10.1145/1120701.1120708},
doi = {10.1145/1120701.1120708},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigecom/ZhangZLHH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MeyerFKZ04,
author = {Thomas Andreas Meyer and
Norman Y. Foo and
Rex Kwok and
Dongmo Zhang},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Logical Foundations of Negotiation: Outcome, Concession, and Adaptation},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {293--298},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-047.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MeyerFKZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangFMK04,
author = {Dongmo Zhang and
Norman Y. Foo and
Thomas Andreas Meyer and
Rex Kwok},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Negotiation as Mutual Belief Revision},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {317--323},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-051.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ZhangFMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/ZhangZ04,
author = {Dongmo Zhang and
Kanghua Zhao},
title = {Economic Model of {TAC} {SCM} Game},
booktitle = {2004 {IEEE/WIC/ACM} International Conference on Intelligent Agent
Technology {(IAT} 2004), 20-24 September 2004, Beijing, China},
pages = {273--280},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/IAT.2004.1342955},
doi = {10.1109/IAT.2004.1342955},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/ZhangZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ZengLV04,
author = {Xingjie Zeng and
Fang Li and
Dongmo Zhang and
Athena Vakali},
title = {An XML-Based Bootstrapping Method for Pattern Acquisition},
booktitle = {{ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise
Information Systems, Porto, Portugal, April 14-17, 2004},
pages = {303--308},
year = {2004},
timestamp = {Tue, 19 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iceis/ZengLV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/MeyerFKZ04,
author = {Thomas Andreas Meyer and
Norman Y. Foo and
Rex Kwok and
Dongmo Zhang},
editor = {Didier Dubois and
Christopher A. Welty and
Mary{-}Anne Williams},
title = {Logical Foundations of Negotiation: Strategies and Preferences},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Ninth International Conference (KR2004), Whistler, Canada,
June 2-5, 2004},
pages = {311--318},
publisher = {{AAAI} Press},
year = {2004},
url = {http://www.aaai.org/Library/KR/2004/kr04-033.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/MeyerFKZ04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Zhang04,
author = {Dongmo Zhang},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Properties of Iterated Multiple Belief Revision},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {314--325},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_27},
doi = {10.1007/978-3-540-24609-1\_27},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Zhang04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/HuZS04,
author = {Wei Hu and
Dongmo Zhang and
Huanye Sheng},
editor = {Xiaofang Zhou and
Stanley Y. W. Su and
Mike P. Papazoglou and
Maria E. Orlowska and
Keith G. Jeffery},
title = {Vague Event-Based Related News Detection},
booktitle = {Web Information Systems - {WISE} 2004, 5th International Conference
on Web Information Systems Engineering, Brisbane, Australia, November
22-24, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3306},
pages = {153--158},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30480-7\_17},
doi = {10.1007/978-3-540-30480-7\_17},
timestamp = {Sat, 08 Feb 2020 13:00:42 +0100},
biburl = {https://dblp.org/rec/conf/wise/HuZS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhangF03,
author = {Dongmo Zhang and
Norman Y. Foo},
editor = {Tam{\'{a}}s D. Gedeon and
Lance Chun Che Fung},
title = {Axiomatic Analysis of Negotiation Protocols},
booktitle = {{AI} 2003: Advances in Artificial Intelligence, 16th Australian Conference
on Artificial Intelligence, Perth, Australia, December 3-5, 2003,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2903},
pages = {377--389},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24581-0\_32},
doi = {10.1007/978-3-540-24581-0\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhangF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ZhangF02,
author = {Dongmo Zhang and
Norman Y. Foo},
editor = {Bob McKay and
John K. Slaney},
title = {Convergency of Learning Process},
booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint
Conference on Artificial Intelligence, Canberra, Australia, December
2-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2557},
pages = {547--556},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36187-1\_48},
doi = {10.1007/3-540-36187-1\_48},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ZhangF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/LiSZ02,
author = {Fang Li and
Huanye Sheng and
Dongmo Zhang},
editor = {Steffen Lange and
Ken Satoh and
Carl H. Smith},
title = {Event Pattern Discovery from the Stock Market Bulletin},
booktitle = {Discovery Science, 5th International Conference, {DS} 2002, L{\"{u}}beck,
Germany, November 24-26, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2534},
pages = {310--315},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36182-0\_30},
doi = {10.1007/3-540-36182-0\_30},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/LiSZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ZhangF02,
author = {Dongmo Zhang and
Norman Y. Foo},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Interpolation Properties of Action Logic: Lazy-Formalization to the
Frame Problem},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {357--368},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_30},
doi = {10.1007/3-540-45757-7\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ZhangF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ZhangCF02,
author = {Dongmo Zhang and
Samir Chopra and
Norman Y. Foo},
editor = {Mitsuru Ishizuka and
Abdul Sattar},
title = {Consistency of Action Descriptions},
booktitle = {{PRICAI} 2002: Trends in Artificial Intelligence, 7th Pacific Rim
International Conference on Artificial Intelligence, Tokyo, Japan,
August 18-22, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2417},
pages = {70--79},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45683-X\_10},
doi = {10.1007/3-540-45683-X\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/ZhangCF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ZhuZCW01,
author = {Zhaohui Zhu and
Dongmo Zhang and
Shifu Chen and
Wujia Zhu},
title = {Some Contributions to Nonmonotonic Consequence},
journal = {J. Comput. Sci. Technol.},
volume = {16},
number = {4},
pages = {297--314},
year = {2001},
url = {https://doi.org/10.1007/BF02948979},
doi = {10.1007/BF02948979},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ZhuZCW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/ZhangF01,
author = {Dongmo Zhang and
Norman Y. Foo},
title = {Infinitary Belief Revision},
journal = {J. Philos. Log.},
volume = {30},
number = {6},
pages = {525--570},
year = {2001},
url = {https://doi.org/10.1023/A:1013356315540},
doi = {10.1023/A:1013356315540},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jphil/ZhangF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ChopraZ01,
author = {Samir Chopra and
Dongmo Zhang},
editor = {Markus Stumptner and
Dan Corbett and
Michael J. Brooks},
title = {Postdiction Problems in Dynamic Logic},
booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint
Conference on Artificial Intelligence, Adelaide, Australia, December
10-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2256},
pages = {119--129},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45656-2\_11},
doi = {10.1007/3-540-45656-2\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/ChopraZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/FooNPZ01,
author = {Norman Y. Foo and
Abhaya C. Nayak and
Maurice Pagnucco and
Dongmo Zhang},
editor = {Markus Stumptner and
Dan Corbett and
Michael J. Brooks},
title = {State Minimization Re-visited},
booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint
Conference on Artificial Intelligence, Adelaide, Australia, December
10-14, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2256},
pages = {153--164},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45656-2\_14},
doi = {10.1007/3-540-45656-2\_14},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/FooNPZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangF01,
author = {Dongmo Zhang and
Norman Y. Foo},
editor = {Bernhard Nebel},
title = {{EPDL:} {A} Logic for Causal Reasoning},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
2001},
pages = {131--138},
publisher = {Morgan Kaufmann},
year = {2001},
timestamp = {Tue, 20 Aug 2019 16:18:14 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/FooZZCV01,
author = {Norman Y. Foo and
Dongmo Zhang and
Yan Zhang and
Samir Chopra and
Quoc Bao Vo},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Encoding Solutions of the Frame Problem in Dynamic Logic},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {240--253},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_18},
doi = {10.1007/3-540-45402-0\_18},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/FooZZCV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/ZhangZC00,
author = {Dongmo Zhang and
Zhaohui Zhu and
Shifu Chen},
title = {Default Reasoning and Belief Revision: {A} Syntax-Independent Approach},
journal = {J. Comput. Sci. Technol.},
volume = {15},
number = {5},
pages = {430--438},
year = {2000},
url = {https://doi.org/10.1007/BF02950406},
doi = {10.1007/BF02950406},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/ZhangZC00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiml/FooZ00,
author = {Norman Y. Foo and
Dongmo Zhang},
editor = {Frank Wolter and
Heinrich Wansing and
Maarten de Rijke and
Michael Zakharyaschev},
title = {Dealing with the Ramification Problem in Extended Propositional Dynamic
Logic},
booktitle = {Advances in Modal Logic 3, papers from the third conference on "Advances
in Modal logic," held in Leipzig, Germany, 4-7 October 2000},
pages = {173--191},
publisher = {World Scientific},
year = {2000},
url = {https://doi.org/10.1142/9789812776471\_0010},
doi = {10.1142/9789812776471\_0010},
timestamp = {Wed, 17 Jan 2024 17:12:17 +0100},
biburl = {https://dblp.org/rec/conf/aiml/FooZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ZhangF00,
author = {Dongmo Zhang and
Norman Y. Foo},
editor = {Riichiro Mizoguchi and
John K. Slaney},
title = {Autonomy of Autonomous Agents},
booktitle = {{PRICAI} 2000, Topics in Artificial Intelligence, 6th Pacific Rim
International Conference on Artificial Intelligence, Melbourne, Australia,
August 28 - September 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1886},
pages = {318--328},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44533-1\_34},
doi = {10.1007/3-540-44533-1\_34},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/pricai/ZhangF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inlg/YaoZW98,
author = {Tianfang Yao and
Dongmo Zhang and
Qian Wang},
title = {System Demonstration Multilingual Weather Forecast Generation System},
booktitle = {Proceedings of the Ninth International Workshop on Natural Language
Generation, {INLG} 1998, Niagara-on-the-Lake, Ontario, Canada, August
5-7, 1998},
year = {1998},
url = {https://aclanthology.org/W98-1434/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inlg/YaoZW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangCZC97,
author = {Dongmo Zhang and
Shifu Chen and
Wujia Zhu and
Zhaoqian Chen},
title = {Representation Theorems for Multiple Belief Changes},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {89--94},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/015.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:27 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangCZC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangCZL97,
author = {Dongmo Zhang and
Shifu Chen and
Wujia Zhu and
Hongbing Li},
title = {Nonmonotonic Reasoning and Multiple Belief Revision},
booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
pages = {95--101},
publisher = {Morgan Kaufmann},
year = {1997},
url = {http://ijcai.org/Proceedings/97-1/Papers/016.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ZhangCZL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/Zhang96,
author = {Dongmo Zhang},
title = {Belief revision by sets of sentences},
journal = {J. Comput. Sci. Technol.},
volume = {11},
number = {2},
pages = {108--125},
year = {1996},
url = {https://doi.org/10.1007/BF02943527},
doi = {10.1007/BF02943527},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcst/Zhang96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
