共 50 条
- [23] Logical Equivalence for Subtyping Object and Recursive Types Theory of Computing Systems, 2008, 42 : 306 - 348
- [24] Solution of the robot forward dynamics problem by using a recursive procedure based on the general system logical theory INTERNATIONAL JOURNAL OF ROBOTICS RESEARCH, 1999, 18 (10): : 1030 - 1043
- [26] A Probabilistic-Logical Framework for Ontology Matching PROCEEDINGS OF THE TWENTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-10), 2010, : 1413 - 1418
- [28] A logical model for the ontology alignment repair game Autonomous Agents and Multi-Agent Systems, 2021, 35
- [30] Ontology exploration through logical views in protege DEXA 2007: 18TH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2007, : 465 - +