共 70 条
- [41] Minsky M., Society of Mind, (1988)
- [42] Niles I., Pease A., Mapping wordnet to the sumo ontology, Proceedings of the Ieee International Knowledge Engineering Conference, pp. 23-26, (2003)
- [43] Owre S., Rushby J.M., Shankar N., Pvs: A prototype verification system, Proceedings of the International Conference On Automated Deduction, pp. 748-752, (1992)
- [44] Pease A., Niles I., Li J., The suggested upper merged ontology: A large ontology for the semantic web and its applications, Working Notes of the AAAI-2002 Workshop On Ontologies and the Semantic Web, 28, (2002)
- [45] Poon H., Domingos P., Sound and efficient inference with probabilistic and deterministic dependencies, AAAI, 6, pp. 458-463, (2006)
- [46] Richardson M., Domingos P., Markov logic networks, Machine Learning, 62, 1, pp. 107-136, (2006)
- [47] Sabri L., Chibani A., Amirat Y., Zarri G.P., Narrative Reasoning for Cognitive Ubiquitous Robots, (2011)
- [48] Sarraf Q., Ellis G., Business rules in retail: The tesco.com story, Business Rules Journal, 7, (2006)
- [49] Selman B., Kautz H.A., Cohen B., Local search strategies for satisfiability testing, Cliques, Coloring, and Satisfiability, 26, pp. 521-532, (1993)
- [50] Shapiro S., Foundations Without Foundationalism: A Case for Second-order Logic, 17, (1991)