共 50 条
- [41] Querying the semantic web with SWRL [J]. ADVANCES IN RULE INTERCHANGE AND APPLICATIONS, PROCEEDINGS, 2007, 4824 : 155 - 159
- [42] Estimating querying and maintenance costs for restructuring data cubes [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON DATABASES AND APPLICATIONS, 2006, : 83 - +
- [46] On the Querying for Places on the Mobile Web [J]. WEB TECHNOLOGIES AND APPLICATIONS, 2011, 6612 : 4 - 4
- [47] Declarative language for behaviour description [J]. Advances in Intelligent Systems and Computing, 2015, 316
- [48] A Declarative Gradualizer with Language Transformations [J]. PROCEEDINGS OF THE 32ND SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2020, 2020, : 44 - 54
- [49] A Tactic Language for Declarative Proofs [J]. INTERACTIVE THEOREM PROVING, PROCEEDINGS, 2010, 6172 : 99 - 114
- [50] Language for declarative robotic programming [J]. Proceedings - IEEE International Conference on Robotics and Automation, 1999, 2 : 1144 - 1151