共 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)