共 70 条
- [1] Adjali O., Hina M.D., Dourlens S., Ramdane-Cherif A., Multimodal fusion fission and virtual reality simulation for an ambient robotic intelligence, Procedia Computer Science, 52, pp. 218-225, (2015)
- [2] Allen J.F., An Interval-Based representation of temporal knowledge, IJCAI, 81, pp. 221-226, (1981)
- [3] Andrews P.B., Miller D.A., Cohen E.L., Pfenning F., Automating higher-order logic, Automated Theorem Proving: After, 25, pp. 169-192, (1984)
- [4] Boley H., Tabet S., Wagner G., Design rationale of ruleml: A markup language for semantic web rules, Proceedings of the First Semantic Web Working Symposium, (2001)
- [5] Bouguerra A., Karlsson L., Saffiotti A., Handling uncertainty in semantic-knowledge based execution monitoring, Proceedings of the IEEE/RSJ International Conference On Intelligent Robots and Systems IROS '07, pp. 437-443, (2007)
- [6] Brachman R.J., Schmolze J.G., An overview of the kl-one knowledge representation system, Cognitive Science, 9, 2, pp. 171-216, (1985)
- [7] Domingos P., Kok S., Lowd D., Poon H., Richardson M., Singla P., Markov logic, Probabilistic Inductive Logic Programming, pp. 92-117, (2008)
- [8] Esch J., Levinson R., An implementation model for contexts and negation in conceptual graphs, Proceedings of the International Conference On Conceptual Structures, pp. 247-262, (1995)
- [9] Fillmore C.J., Baker C.F., Frame semantics for text understanding, Proceedings of WordNet and Other Lexical Resources Workshop, NAACL, (2001)
- [10] Gacek A., Miller D., Nadathur G., A two-level logic approach to reasoning about computations, Journal of Automated Reasoning, 49, 2, pp. 241-273, (2012)