{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T02:53:17Z","timestamp":1673319197407},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,4,1]],"date-time":"1993-04-01T00:00:00Z","timestamp":733622400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1993,4]]},"DOI":"10.1007\/bf01257816","type":"journal-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T20:52:09Z","timestamp":1111611129000},"page":"139-149","source":"Crossref","is-referenced-by-count":1,"title":["A full theorem-prover under uncertainty"],"prefix":"10.1007","volume":"7","author":[{"given":"G.","family":"Papakonstantinou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Panayiotopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Fundamentals of Artificial Intelligence, An Advanced Course","year":"1986","unstructured":"Bibel, W. and Jorrand, Ph. (eds), 1986,Fundamentals of Artificial Intelligence, An Advanced Course, Lecture Notes in Computer Science, Springer-Verlag, Berlin."},{"key":"CR2","volume-title":"Rule-Based Expert Systems","author":"B.G. Buchanan","year":"1984","unstructured":"Buchanan, B.G. and Shortliffe, E.H., 1984,Rule-Based Expert Systems, Addison-Wesley, Reading, Mass."},{"key":"CR3","unstructured":"Campbell, J.A., 1984,Implementations of Prolog, Ellis Horwood Series in Artificial Intelligence (1984)."},{"key":"CR4","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1981","unstructured":"Clocksin, W.F. and Mellish, C.S., 1981,Programming in Prolog, Springer-Verlag, Berlin (1981)."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Hwang, K., Ghosh, J., and Chowkwanyun, R., Computer architectures for artificial intelligence processing,IEEE Computer, pp. 19?27, (January 1987).","DOI":"10.1109\/MC.1987.1663352"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1109\/TC.1976.1674614","volume":"C-25","author":"D.W. Loveland","year":"1976","unstructured":"Loveland, D.W. and Stickel, M.E., 1976, A hole in goal trees: Some guidance from resolution theory,IEEE Trans. Comput.,C-25, 335?341 (April 1976).","journal-title":"IEEE Trans. Comput."},{"key":"CR7","unstructured":"Mavrothalassitis, G., 1989, A Prolog-based expert system shell, Diploma Thesis, National Technical University of Athens, Electrical Engineering Department, Computer Science Division (July)."},{"issue":"9","key":"CR8","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1016\/0950-5849(88)90134-6","volume":"30","author":"T. Panayiotopoulos","year":"1988","unstructured":"Panayiotopoulos, T., Papakonstantinou, G., and Stamatopoulos, G., (1988), An attribute grammar based theorem prover,Information and Software Technol.,30(9), 553?560 (November).","journal-title":"Information and Software Technol."},{"key":"CR9","unstructured":"Panayiotopoulos, T., 1989, A grammatical approach to knowledge representation and processing, PhD Thesis, National Technical University of Athens, Electrical Engineering Department, Computer Science Division."},{"issue":"5","key":"CR10","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0950-5849(90)90004-B","volume":"32","author":"T. Panayiotopoulos","year":"1990","unstructured":"Panayiotopoulos, T. and Papakonstantinou, G., 1990, An attribute grammar intepreter for inexact reasoning,Information and Software Technol. 32(5), 347?356.","journal-title":"Information and Software Technol."},{"key":"CR11","doi-asserted-by":"crossref","first-page":"A185","DOI":"10.1093\/comjnl\/35.2.a185","volume":"35","author":"T. Panayiotopoulos","year":"1992","unstructured":"Panayiotopoulos, T. and Papakonstantinou, G., 1992, An extension of the certainty factor model in first order predicate calculus,The Computer Journal,35, A185-A192.","journal-title":"The Computer Journal"},{"issue":"3","key":"CR12","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TPAMI.1985.4767656","volume":"PAMI-7","author":"H. Prade","year":"1985","unstructured":"Prade, H., 1985, A computational approach to approximate and plausible reasoning with applications to expert systems,IEEE Trans. Pattern Analy. Machine Intell. PAMI-7(3), 260?283 (May).","journal-title":"IEEE Trans. Pattern Analy. Machine Intell."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1016\/0025-5564(75)90047-4","volume":"23","author":"E.H. Shortliffe","year":"1975","unstructured":"Shortliffe, E.H. and Buchanan, B.G., 1975, A model of inexact reasoning in medicine,Math. Biosci. 23, 351?379.","journal-title":"Math. Biosci."},{"key":"CR14","volume-title":"The Art of PROLOG, Advanced Programming Techniques","author":"L. Sterling","year":"1986","unstructured":"Sterling, L. and Shapiro, E., 1986,The Art of PROLOG, Advanced Programming Techniques (ed. E. Shapiro), MIT Press, Cambridge, Mass."},{"key":"CR15","unstructured":"Stickel, M.E., 1984, A Prolog technology theorem prover, inProc. International Symposium of Logic Programming, N.J., pp. 211?217, (February)."},{"issue":"11","key":"CR16","doi-asserted-by":"crossref","first-page":"1391","DOI":"10.1109\/TSE.1985.231887","volume":"SE-11","author":"P.A. Subrahmanyam","year":"1985","unstructured":"Subrahmanyam, P.A., 1985, The software engineering of expert systems: Is PROLOG Appropriate?IEEE Trans. Software Eng. SE-11(11), 1391?1400 (November).","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01257816.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01257816\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01257816","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T12:33:29Z","timestamp":1586176409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01257816"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,4]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,4]]}},"alternative-id":["BF01257816"],"URL":"https:\/\/doi.org\/10.1007\/bf01257816","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,4]]}}}