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