乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:05:57Z","timestamp":1725573957517},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540407874"},{"type":"electronic","value":"9783540452065"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45206-5_9","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T00:17:05Z","timestamp":1294359425000},"page":"81-101","source":"Crossref","is-referenced-by-count":3,"title":["Tableau Calculi for Preference-Based Conditional Logics"],"prefix":"10.1007","author":[{"given":"Laura","family":"Giordano","sequence":"first","affiliation":[]},{"given":"Valentina","family":"Gliozzi","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Olivetti","sequence":"additional","affiliation":[]},{"given":"Camilla","family":"Schwind","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"9_CR1","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1093\/jigpal\/10.2.123","volume":"10","author":"K. Broda","year":"2002","unstructured":"Broda, K., Gabbay, D., Lamb, L., Russo, A.: Labelled Natural Deduction for Conditional Logic of Normality. Logic Journal of the IGPL\u00a010(2), 123\u2013163 (2002)","journal-title":"Logic Journal of the IGPL"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Artosi, A., Governatori, G., Rotolo, A.: Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation\u00a012 (2002)","DOI":"10.1093\/logcom\/12.6.1027"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier, C.: Conditional logics of normality: a modal approach. Artificial Intelligence\u00a068, 87\u2013154 (1994)","journal-title":"Artificial Intelligence"},{"key":"9_CR4","first-page":"239","volume-title":"Structure, Consequence relation and Logic","author":"G. Crocco","year":"1992","unstructured":"Crocco, G., Fari\u00f1as del Cerro, L.: Structure, Consequence relation and Logic, vol.\u00a04, pp. 239\u2013259. Oxford University Press, Oxford (1992)"},{"key":"9_CR5","volume-title":"Studies in Logic and Computation","author":"G. Crocco","year":"1995","unstructured":"Crocco, G., Fari\u00f1as del Cerro, L., Herzig, A.: Conditionals: From philosophy to computer science. Studies in Logic and Computation, Oxford University Press, Oxford (1995)"},{"key":"9_CR6","unstructured":"Crocco, G., Lamarre, P.: On the Connection between Non-Monotonic Inference Systems and Conditional Logics. In: Nebel, B., Sandewall, E. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference, pp. 565\u2013571 (1992)"},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0004-3702(87)90053-1","volume":"33","author":"J.P. Delgrande","year":"1987","unstructured":"Delgrande, J.P.: A first-order conditional logic for prototypical properties. Artificial Intelligence\u00a0(33), 105\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2273315","volume":"48","author":"H.C.M. Swart de","year":"1983","unstructured":"de Swart, H.C.M.: A Gentzen-or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS. Journal of Symbolic Logic\u00a048, 1\u201320 (1983)","journal-title":"Journal of Symbolic Logic"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Fitting, M.: Proof methods for Modal and Intuitionistic Logic. Synthese library, vol.\u00a0169. D. Reidel, Dordrecht (1983)","DOI":"10.1007\/978-94-017-2794-5"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Friedman, N., Halpern, J.: On the complexity of conditional logics. In: Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference, KR 1994, pp. 202\u2013213 (1994)","DOI":"10.1016\/B978-1-4832-1452-8.50115-9"},{"key":"9_CR11","volume-title":"Oxford Logic Guides","author":"D.M. Gabbay","year":"1996","unstructured":"Gabbay, D.M.: Labelled Deductive Systems. Oxford Logic Guides, vol.\u00a0I, Oxford University Press, Oxford (1996)"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1305\/ndjfl\/1093634402","volume":"33","author":"I.P. Gent","year":"1992","unstructured":"Gent, I.P.: A sequent or tableaux-style system for Lewis\u2019s counterfactual logic VC. Notre Dame j. of Formal Logic\u00a033(3), 369\u2013382 (1992)","journal-title":"Notre Dame j. of Formal Logic"},{"issue":"2","key":"9_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","volume":"30","author":"M.L. Ginsberg","year":"1986","unstructured":"Ginsberg, M.L.: Counterfactuals. Artificial Intelligence\u00a030(2), 35\u201379 (1986)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"9_CR14","first-page":"23","volume":"70","author":"L. Giordano","year":"2002","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N.: Iterated Belief Revision and Conditional Logic. Studia Logica, special issue on Belief Revision\u00a070(1), 23\u201347 (2002)","journal-title":"Studia Logica, special issue on Belief Revision"},{"key":"9_CR15","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/978-94-017-1754-0_6","volume-title":"Handbook of Tableau Methods","author":"R. Gor\u00e9","year":"1999","unstructured":"Gor\u00e9, R.: Tableau Methods for Modal and Temporal Logics Rajeev Gor\u00e9. In: D\u2019Agostino, M., Gabbay, D., Haehnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, pp. 297\u2013396. Kluwer Academic Publishers, Dordrecht (1999)"},{"issue":"1","key":"9_CR16","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1093\/logcom\/8.1.87","volume":"8","author":"G. Grahne","year":"1998","unstructured":"Grahne, G.: Updates and Counterfactuals. Journal of Logic and Computation\u00a08(1), 87\u2013117 (1998)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Groeneboer, C., Delgrande, J.: A general approach for determining the validity of commonsense assertions using conditional logics. International Journal of Intelligent Systems\u00a0(5), 505\u2013520 (1997)","DOI":"10.1002\/int.4550050505"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence\u00a044, 167\u2013202 (1990)","journal-title":"Artificial Intelligence"},{"key":"9_CR19","unstructured":"Lamarre, P.: Etude des raisonnements non-monotones: apports des logiques des conditionnels et des logiques modales. PhD thesis, universit\u00e9 Paul Sabatier, Toulouse (1992)"},{"key":"9_CR20","unstructured":"Lamarre, P.: A tableaux prover for conditional logics. In: Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference, KR 1994, pp. 572\u2013580 (1994)"},{"key":"9_CR21","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"Lewis, D.: Counterfactuals. Basil Blackwell Ltd, Malden (1973)"},{"key":"9_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8966-5","volume-title":"Topics in Conditional Logic","author":"D. Nute","year":"1980","unstructured":"Nute, D.: Topics in Conditional Logic. Reidel, Dordrecht (1980)"},{"key":"9_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"384","DOI":"10.1007\/3-540-45446-2_25","volume-title":"Theoretical Computer Science","author":"N. Olivetti","year":"2001","unstructured":"Olivetti, N., Schwind, C.: A sequent calculus and a complexity bound for minimal conditional logic. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol.\u00a02202, pp. 384\u2013404. Springer, Heidelberg (2001)"},{"key":"9_CR24","first-page":"27","volume":"3","author":"C.B. Schwind","year":"1999","unstructured":"Schwind, C.B.: Causality in Action Theories. Electronic Articles in Computer and Information Science, section A\u00a03, 27\u201350 (1999)","journal-title":"Electronic Articles in Computer and Information Science"},{"key":"9_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3208-5","volume-title":"Labelled Non-classical Logics","author":"L. Vigan\u00f3","year":"2000","unstructured":"Vigan\u00f3, L.: Labelled Non-classical Logics. Kluwer Academic Publishers, Dordrecht (2000)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45206-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T19:33:44Z","timestamp":1558294424000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45206-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540407874","9783540452065"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45206-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}