共 50 条
- [23] Parallel computation techniques for dynamic description logics reasoning Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2011, 48 (12): : 2317 - 2325
- [24] A Framework for Reasoning about Dynamic Axioms in Description Logics PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 1681 - 1687
- [25] Possibilistic Boolean Games: Strategic Reasoning under Incomplete Information LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, 2014, 8761 : 196 - 209
- [26] Possibilistic boolean games: Strategic reasoning under incomplete information Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8761 : 196 - 209
- [27] Dynamic Aleatoric Reasoning in Games of Bluffing and Chance AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2019, : 1964 - 1966
- [29] A Family of Dynamic Description Logics for Representing and Reasoning About Actions Journal of Automated Reasoning, 2012, 49 : 1 - 52