{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:11Z","timestamp":1725490211299},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540745808"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74581-5_28","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T04:20:21Z","timestamp":1188015621000},"page":"262-270","source":"Crossref","is-referenced-by-count":0,"title":["An Tableau Automated Theorem Proving Method Using Logical Reinforcement Learning"],"prefix":"10.1007","author":[{"given":"Quan","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZhiMing","family":"Cui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"WangShu","family":"Yao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZhongWen","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"10","key":"28_CR1","first-page":"1123","volume":"34","author":"Z.Z. Shi","year":"2004","unstructured":"Shi, Z.Z., Dong, M.K., Jiang, Y.C., Zhang, H.J.: A logic foundation for the semantic web. Science in China, Series E\u00a034(10), 1123\u20131138 (2004)","journal-title":"Science in China, Series E"},{"key":"28_CR2","volume-title":"Representation and inference for natural language","author":"P. Blackburn","year":"2005","unstructured":"Blackburn, P., Bos, J.: Representation and inference for natural language. CSLI Publications, Stanford, CA (2005)"},{"key":"28_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Foundations of Information and Knowledge Systems","author":"L. Bertossi","year":"2002","unstructured":"Bertossi, L., Schwind, C.: Analytic tableaux and database repairs. In: Eiter, T., Schewe, K.-D. (eds.) FoIKS 2002. LNCS, vol.\u00a02284, Springer, Heidelberg (2002)"},{"issue":"11","key":"28_CR4","first-page":"1798","volume":"28","author":"K.L. Su","year":"2005","unstructured":"Su, K.L., Luo, X.Y., Lu, G.F.: Symbolic model checking for CTL. Chinese Journal of Computer\u00a028(11), 1798\u20131806 (2005)","journal-title":"Chinese Journal of Computer"},{"issue":"7","key":"28_CR5","first-page":"1068","volume":"41","author":"Q. Liu","year":"2004","unstructured":"Liu, Q., Sun, J.G., Yu, W.J.: An improved method of \u03b4-rule in free variable semantic tableau. Journal of Computer Research and Development\u00a041(7), 1068\u20131073 (2004)","journal-title":"Journal of Computer Research and Development"},{"key":"28_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/11814771_10","volume-title":"Automated Reasoning","author":"A. Paskevich","year":"2006","unstructured":"Paskevich, A.: Connection tableaux with lazy paramodulation. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 112\u2013124. Springer, Heidelberg (2006)"},{"issue":"9","key":"28_CR7","first-page":"1514","volume":"28","author":"Q. Liu","year":"2005","unstructured":"Liu, Q., Sun, J.G., Cui, Z.M.: An method of simplifying many-valued Generalized quantifiers tableau rule based on Boolean pruning. Chinese Journal of Computer\u00a028(9), 1514\u20131518 (2005)","journal-title":"Chinese Journal of Computer"},{"key":"28_CR8","unstructured":"Horvitz, E.: Machine learning, Reasoning, and Intelligence in daily life: directions and challenges. In: Proceedings of ICML (1999)"},{"key":"28_CR9","unstructured":"Bryant, C., Muggleton, S., Oliver, S.: Combining inductive logic programming, active learning and robotics to discover the function of genes. Electronic Transactions in Artificial Intelligence\u00a06(12) (2001)"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Calzone, L., Chabrier-Rivier, N., Fages, F.: Machine learning biomolecular interactions from temporal logic properties. In: Plotkin, G. (ed.) Proceedings of CMSB (2005)","DOI":"10.1007\/11880646_4"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Teevan, J., Horvitz, E.: Personalizing search via automated analysis of interests and activities. In: Proceedings of SIGIR, Conference on Information Retrieval, Salvador, Brazi, pp. 449\u2013456 (August 2005)","DOI":"10.1145\/1076034.1076111"},{"key":"28_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2360-3","volume-title":"First-Order Logic and Automated Theorem Proving","author":"M. Fitting","year":"1996","unstructured":"Fitting, M.: First-Order Logic and Automated Theorem Proving. Springer, New York (1996)"},{"issue":"1","key":"28_CR13","first-page":"86","volume":"30","author":"Y. Gao","year":"2004","unstructured":"Gao, Y., Chen, S.F., Lu, X.: Research on reinforcement learning Technology: a review. Acta Automatica Sinica\u00a030(1), 86\u2013100 (2004)","journal-title":"Acta Automatica Sinica"},{"key":"28_CR14","unstructured":"Otterlo, M.: Reinforcement learning for relational MDPs. In: Now\u00e9, A., Lenaerts, T., Steenhaut, K (eds.) BeNeLearn 2004. Machine Learning Conference of Belgium and the Netherlands, pp. 138\u2013145 (2004)"},{"issue":"7","key":"28_CR15","first-page":"38","volume":"32","author":"Q. Liu","year":"2006","unstructured":"Liu, Q., Sun, J.G.: Theorem proving system based on tableau\u2013TableauTAP. Computer Engineering\u00a032(7), 38\u201345 (2006)","journal-title":"Computer Engineering"}],"container-title":["Lecture Notes in Computer Science","Advances in Computation and Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74581-5_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:26:01Z","timestamp":1619504761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74581-5_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540745808"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74581-5_28","relation":{},"subject":[]}}