共 50 条
- [41] Reasoning about numeric and symbolic time information 12TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, : 164 - 171
- [44] Reasoning about Repairability of Workflows at Design Time BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2009, 17 : 455 - 467
- [45] Reasoning about qualitative representations of space and time AUTOMATED DEDUCTION - CADE-19, PROCEEDINGS, 2003, 2741 : 334 - 334
- [46] Reasoning about Trust and Time in a System of Agents 8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), 2017, 109 : 632 - 639
- [47] Probabilistic Logic for Reasoning About Actions in Time SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, ECSQARU 2019, 2019, 11726 : 385 - 396
- [49] MD2L: Content description of multimedia documents for efficient process and search/retrieval Proceedings of the Forum on Research and Technology Advances in Digital Libraries, ADL, 1999, : 200 - 213
- [50] Twenty-One: cross-language disclosure and retrieval of multimedia documents on sustainable development COMPUTER NETWORKS AND ISDN SYSTEMS, 1998, 30 (13): : 1237 - 1248