{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:12Z","timestamp":1725663972912},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568049"},{"type":"electronic","value":"9783540477501"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56804-2_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:39:30Z","timestamp":1330238370000},"page":"142-151","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Mechanical proof systems for logic II, consensus programs and their processing"],"prefix":"10.1007","author":[{"given":"Helena","family":"Rasiowa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V. Wiktor","family":"Marek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"14_CR1","first-page":"493","volume-title":"Handbook of Theoretical Computer Science","author":"K. Apt","year":"1990","unstructured":"K. Apt (1990), \u201cLogic Programming\u201d, In: Handbook of Theoretical Computer Science, J. van Leeuven ed., pp. 493\u2013574, MIT Press, Cambridge, MA."},{"key":"14_CR2","unstructured":"Fagin, R., Halpern, J. Y., Vardi, M. (1988), \u201cModel-theoretical Analysis of Knowledge\u201d, IBM Research report RJ 6461."},{"key":"14_CR3","doi-asserted-by":"crossref","first-page":"55","DOI":"10.3233\/FI-1992-171-205","volume":"17","author":"M. Fitting","year":"1992","unstructured":"Fitting, M. (1992), Many-valued Modal Logics II, Fundamenta Informaticae 17, pp. 55\u201373.","journal-title":"Fundamenta Informaticae"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y. (1986) (ed), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann.","DOI":"10.1016\/B978-0-934613-04-0.50004-1"},{"key":"14_CR5","unstructured":"Halpern, J.Y., Moses, Y. (1984), \u201cToward a Theory of Knowledge and Ignorance: Preliminary Report\u201d, Proceedings of AAAI Workshop on Non-Monotonic Reasoning, pp. 125\u2013143."},{"key":"14_CR6","unstructured":"Mazer, M.S. (1988), \u201cA Knowledge Theoretic Account of Recovery in Distributed Systems\u201d, TARK '88, M. Vardi ed., pp. 309\u2013324."},{"key":"14_CR7","unstructured":"Moses, Y., (1992) (ed), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Nerode, A., Shore, R. (1993), Logic for Applications, Springer-Verlag.","DOI":"10.1007\/978-1-4684-0211-7"},{"key":"14_CR9","unstructured":"Orlowska, E. (1985), \u201cMechanical proof methods for Post logics\u201d, Logique Anal. N.S., 28 Annee, 110\u2013111, 173\u2013192."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Orlowska, E. (1990), \u201cLogic for Reasoning about Knowledge\u201d, Z. Math. Logik Grund. Math.","DOI":"10.1002\/malq.19890350612"},{"key":"14_CR11","unstructured":"Orlowska, E., Sanders, J. (1986), \u201cKnowledge Transfer in Distributed Systems\u201d, unpublished manuscript."},{"key":"14_CR12","unstructured":"Parikh, R. (1990) (ed), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann, 1990."},{"key":"14_CR13","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/BF01001956","volume":"11","author":"Z. Pawlak","year":"1982","unstructured":"Pawlak, Z. (1982), \u201cRough Sets\u201d, International Journal of Computer And Information Sciences 11, pp. 341\u2013356.","journal-title":"International Journal of Computer And Information Sciences"},{"key":"14_CR14","unstructured":"Rasiowa, H. (1986), \u201cRough Concepts and \u03c9 +-valued Logic\u201d, Proceedings IS-MVL'86. IEEE Press, pp. 282\u2013289."},{"key":"14_CR15","unstructured":"Rasiowa, H. (1987), \u201cAlgebraic Approach to Some Approximate Reasonings\u201d, Proceedings ISMVL '87. IEEE Press, pp. 342\u2013347."},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Rasiowa, H. (1988), \u201cLogic of Approximation Reasoning\u201d, Proceedings of CSL '87. Springer LN in Computer Science 329, pp. 188\u2013210.","DOI":"10.1007\/3-540-50241-6_38"},{"key":"14_CR17","unstructured":"Rasiowa, H. (1990), \u201cOn approximation logics: A survey\u201d, Kurt G\u00f6del Gesellschaft, Jahrbuch 1990, pp. 63\u201387."},{"key":"14_CR18","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1016\/0888-613X(91)90020-M","volume":"5","author":"H. Rasiowa","year":"1991","unstructured":"Rasiowa, H. (1991), \u201cMechanical Proof Systems for Logic: Reaching Consensus by Groups of Intelligent Agents\u201d, International Journal of Approximate Reasoning 5, pp. 415\u2013432.","journal-title":"International Journal of Approximate Reasoning"},{"key":"14_CR19","unstructured":"Rasiowa, H., Marek, W. (1989), \u201cOn reaching consensus by groups of intelligent agents\u201d. Proceedings ISMIS'89, pp. 234\u2013243, North-Holland."},{"key":"14_CR20","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"Rasiowa, H., Sikorski, R. (1963), \u201cThe Mathematics of Metamathematics\u201d, PWN, Warszawa, (3rd ed. 1970).","edition":"3rd ed."},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"G. A. Robinson","year":"1965","unstructured":"Robinson, G.A. (1965), \u201cA machine oriented logic based on the resolution principle\u201d, Journal of the Association for Computing Machinery 12, pp. 23\u201341.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"14_CR22","unstructured":"Vardi, M. Y. (1988), (ed), Theoretical Aspects of Reasoning About Knowledge, Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56804-2_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T00:00:52Z","timestamp":1640908852000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56804-2_14"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568049","9783540477501"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-56804-2_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}