共 50 条
- [42] A Complete Epistemic Planner without the Epistemic Closed World Assumption PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3257 - 3263
- [43] BREAKING THE CLOSED-WORLD ASSUMPTION IN STYLOMETRIC AUTHORSHIP ATTRIBUTION ADVANCES IN DIGITAL FORENSICS X, 2014, 433 : 185 - 205
- [45] The MathServe system for Semantic Web reasoning Services AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 140 - 144
- [47] The Formal Definitions of Semantic Web Services and Reasoning EMERGING RESEARCH IN WEB INFORMATION SYSTEMS AND MINING, 2011, 238 : 303 - 311
- [49] Trusted Reasoning Services for Semantic Web Agents INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2010, 34 (04): : 429 - 440