乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:55:54Z","timestamp":1725558954198},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141829"},{"type":"electronic","value":"9783642141836"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14183-6_7","type":"book-chapter","created":{"date-parts":[[2010,7,5]],"date-time":"2010-07-05T11:04:12Z","timestamp":1278327852000},"page":"66-83","source":"Crossref","is-referenced-by-count":1,"title":["Axioms for Obligation and Robustness with Temporal Logic"],"prefix":"10.1007","author":[{"given":"Tim","family":"French","sequence":"first","affiliation":[]},{"given":"John C.","family":"McCabe-Dansted","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Reynolds","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-540-74621-8_13","volume-title":"Frontiers of Combining Systems","author":"T. French","year":"2007","unstructured":"French, T., Mc Cabe-Dansted, J.C., Reynolds, M.: A temporal logic of robustness. In: Konev, B., Wolter, F. (eds.) FroCos 2007. LNCS (LNAI), vol.\u00a04720, pp. 193\u2013205. Springer, Heidelberg (2007), http:\/\/dx.doi.org\/10.1007\/978-3-540-74621-8_13"},{"issue":"3","key":"7_CR2","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1093\/jigpal\/jzp009","volume":"17","author":"T. Agotnes","year":"2009","unstructured":"Agotnes, T., van der Hoek, W., Wooldridge, M.: Logics for qualitative coalitional games. Logic Journal of IGPL\u00a017(3), 299 (2009)","journal-title":"Logic Journal of IGPL"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Meyer, J., Wieringa, R., Dighum, F.: The role of deontic logic in the specification of information systems. Kluwer International Series In Engineering And Computer Science, pp. 71\u2013116 (1998)","DOI":"10.1007\/978-1-4615-5643-5_4"},{"issue":"1","key":"7_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/BF00370671","volume":"57","author":"H. Prakken","year":"1996","unstructured":"Prakken, H., Sergot, M.: Contrary-to-duty obligations. Studia Logica\u00a057(1), 91\u2013115 (1996)","journal-title":"Studia Logica"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/BF00253912","volume":"10","author":"J.W. DeCew","year":"1981","unstructured":"DeCew, J.W.: Conditional obligation and counterfactuals. Journal of Philosophical Logic\u00a010(1), 55\u201372 (1981)","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"7_CR6","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1111\/j.1755-2567.1988.tb00717.x","volume":"54","author":"N. Belnap","year":"1988","unstructured":"Belnap, N., Perloff, M.: Seeing to it that: a canonical form for agentives. Theoria\u00a054(3), 175\u2013199 (1988)","journal-title":"Theoria"},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/B:ARTI.0000013352.63798.08","volume":"11","author":"J. Broersen","year":"2003","unstructured":"Broersen, J., van der Torre, L.: John Horty, agency and deontic logic. Artificial Intelligence and Law\u00a011(1), 45\u201361 (2003)","journal-title":"Artificial Intelligence and Law"},{"key":"7_CR8","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"D. Nute","year":"1987","unstructured":"Nute, D.: Defeasible logic. In: Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a03. Oxford University Press, Oxford (1987)"},{"key":"7_CR9","first-page":"650","volume-title":"Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference","author":"L.W.N. Torre van der","year":"1998","unstructured":"van der Torre, L.W.N., Tan, Y.: The temporal analysis of Chisholm\u2019s paradox. In: Senator, T., Buchanan, B. (eds.) Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, pp. 650\u2013655. AAAI Press, Menlo Park (1998)"},{"key":"7_CR10","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1145\/158976.158983","volume-title":"Proceedings of the 4th international conference on Artificial intelligence and law","author":"T. Smith","year":"1993","unstructured":"Smith, T.: Violation of norms. In: Proceedings of the 4th international conference on Artificial intelligence and law, pp. 60\u201365. ACM, New York (1993)"},{"key":"7_CR11","unstructured":"Mc Cabe-Dansted, J.C.: A Temporal Logic of Robustness. PhD thesis, The University of Western Australia (2010) (in preparation), http:\/\/dansted.co.cc\/papers\/Thesis_RoCTL.pdf"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0019-9958(84)80047-9","volume":"61","author":"E. Emerson","year":"1984","unstructured":"Emerson, E., Sistla, A.: Deciding full branching time logic. Information and Control\u00a061, 175\u2013201 (1984)","journal-title":"Information and Control"},{"issue":"3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"1011","DOI":"10.2307\/2695091","volume":"66","author":"M. Reynolds","year":"2001","unstructured":"Reynolds, M.: An axiomatization of full computation tree logic. The Journal of Symbolic Logic\u00a066(3), 1011\u20131057 (2001)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1093\/jigpal\/jzp070","volume":"18","author":"T. Agotnes","year":"2010","unstructured":"Agotnes, T., Van Der Hoek, W., Wooldridge, M.: Robust normative systems and a logic of norm compliance. Logic Journal of IGPL\u00a018(1), 4 (2010)","journal-title":"Logic Journal of IGPL"},{"key":"7_CR15","series-title":"Synthese Library","first-page":"165","volume-title":"Deontic Logic as Founded on Tense Logic","author":"Thomason","year":"1981","unstructured":"Thomason: Deontic Logic as Founded on Tense Logic. Synthese Library, vol.\u00a0152, pp. 165\u2013176. Springer, Heidelberg (1981)"},{"issue":"2","key":"7_CR16","doi-asserted-by":"crossref","first-page":"179","DOI":"10.2307\/2215390","volume":"20","author":"G. Sayre-McCord","year":"1986","unstructured":"Sayre-McCord, G.: Deontic logic and the priority of moral theory. Nous\u00a020(2), 179\u2013197 (1986)","journal-title":"Nous"},{"issue":"1","key":"7_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2275595","volume":"61","author":"A. Zanardo","year":"1996","unstructured":"Zanardo, A.: Branching-time logic with quantification over branches: the point of view of modal logic. The Journal of Symbolic Logic\u00a061(1), 1\u201339 (1996)","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Lecture Notes in Computer Science","Deontic Logic in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14183-6_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T22:39:16Z","timestamp":1685659156000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14183-6_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141829","9783642141836"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14183-6_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}