共 50 条
- [1] Acquisition of concentrated modification structure from logical formula PACLIC 19: The 19th Pacific Asia Conference on Language, Information and Computation, 2005, : 297 - 304
- [3] The Measure Space Structure of Logical Markov Decision Processes 2013 10TH INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (FSKD), 2013, : 632 - 636
- [6] A logical measure of progress for planning EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 498 - 505