共 50 条
- [31] A dynamic description logic for representation and reasoning about actions KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 115 - 127
- [32] Verifying Business Process Compliance by Reasoning about Actions COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2010, 6245 : 99 - +
- [33] Research on Representation for Reasoning about Actions of Robot with Sensor 2011 AASRI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRY APPLICATION (AASRI-AIIA 2011), VOL 1, 2011, : 246 - 249
- [34] Reasoning about actions with CHRs and finite domain constraints LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 70 - 84
- [35] Reasoning about actions and change in Answer Set Programming LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2004, 2923 : 61 - 73
- [37] Process algebra approach to reasoning about concurrent actions Journal of Computer Science and Technology, 2004, 19 : 364 - 373
- [38] Nondeterministic actions with typical effects: Reasoning about scenarios FORMAL MODELS OF AGENTS, 1999, 1760 : 143 - 156
- [39] Neural Reasoning about Agents' Goals, Preferences, and Actions THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 1, 2024, : 456 - 464