乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T07:40:32Z","timestamp":1733125232132,"version":"3.30.0"},"reference-count":23,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IA"],"published-print":{"date-parts":[[2015,12,19]]},"DOI":"10.3233\/ia-150082","type":"journal-article","created":{"date-parts":[[2015,12,23]],"date-time":"2015-12-23T14:20:38Z","timestamp":1450880438000},"page":"109-125","source":"Crossref","is-referenced-by-count":5,"title":["Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND"],"prefix":"10.1177","volume":"9","author":[{"given":"Nicola","family":"Olivetti","sequence":"first","affiliation":[{"name":"Aix Marseille Universit\u00e9, CNRS, ENSAM, Universit\u00e9 de Toulon, LSIS UMR 7296, Marseille, France"}]},{"given":"Gian Luca","family":"Pozzato","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e1 degli Studi di Torino, c.so Svizzera 185, Torino, Italy"}]}],"member":"179","reference":[{"key":"10.3233\/IA-150082_ref2","first-page":"1","article-title":"Nested Sequents Calculi for Normal Conditional Logics","volume":"2013","author":"Alenda","year":"2013","journal-title":"Journal of Logic and Computation"},{"key":"10.3233\/IA-150082_ref3","first-page":"9","article-title":"The logic of conditional doxastic actions","volume":"4","author":"Baltag","year":"2008","journal-title":"Texts in Logic and Games, Special Issue on New Perspectives on Games and Interaction"},{"issue":"3","key":"10.3233\/IA-150082_ref5","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF00881804","article-title":"leantap: Lean tableau-based deduction","volume":"15","author":"Beckert","year":"1995","journal-title":"Journal of Automated Reasoning"},{"issue":"1-4","key":"10.3233\/IA-150082_ref6","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/s10472-012-9320-z","article-title":"Embedding and automating conditional logics in classical higherorder logic","volume":"66","author":"Benzm\u00fcller","year":"2012","journal-title":"Ann Math Artif Intell"},{"issue":"1","key":"10.3233\/IA-150082_ref7","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.geb.2003.10.006","article-title":"Dynamic interactive epistemology","volume":"49","author":"Board","year":"2004","journal-title":"Games and Economic Behavior"},{"issue":"1","key":"10.3233\/IA-150082_ref8","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","article-title":"Conditional logics of normality: a modal approach","volume":"68","author":"Boutilier","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.3233\/IA-150082_ref9","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1016\/j.apal.2009.01.014","article-title":"Syntactic cut-elimination for common knowledge","volume":"160","author":"Br\u00fcnnler","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"key":"10.3233\/IA-150082_ref11","doi-asserted-by":"crossref","unstructured":"James P. and Delgrande. A first-order conditional logic for prototypical properties, Artificial Intelligence 33(1) (1987), 105\u2013130.","DOI":"10.1016\/0004-3702(87)90053-1"},{"issue":"3","key":"10.3233\/IA-150082_ref12","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.apal.2011.09.004","article-title":"Prefixed tableaus and nested sequents","volume":"163","author":"Fitting","year":"2012","journal-title":"Annals of Pure Applied Logic"},{"issue":"1-3","key":"10.3233\/IA-150082_ref13","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0743-1066(99)00072-2","article-title":"Conditional reasoning in logic programming","volume":"44","author":"Gabbay","year":"2000","journal-title":"Journal of Logic Programming"},{"volume-title":"Knowledge in Flux","year":"1988","author":"Gardenf\u00f6rs","key":"10.3233\/IA-150082_ref14"},{"issue":"4","key":"10.3233\/IA-150082_ref15","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1093\/logcom\/exs040","article-title":"Logics in access control: A conditional approach","volume":"24","author":"Genovese","year":"2012","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"10.3233\/IA-150082_ref16","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0004-3702(86)90067-6","article-title":"Counterfactuals","volume":"30","author":"Ginsberg","year":"1986","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.3233\/IA-150082_ref17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1023\/A:1014602224874","article-title":"Iterated belief revision and conditional logic","volume":"70","author":"Giordano","year":"2002","journal-title":"Studia Logica"},{"issue":"1-2","key":"10.3233\/IA-150082_ref18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.artint.2005.06.004","article-title":"Weak AGM postulates and strong ramsey test: A logical formalization","volume":"168","author":"Giordano","year":"2005","journal-title":"Artificial Intelligence"},{"issue":"1-2","key":"10.3233\/IA-150082_ref20","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/j.artint.2004.04.009","article-title":"Conditional logic of actions and causation","volume":"157","author":"Giordano","year":"2004","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.3233\/IA-150082_ref22","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1093\/logcom\/8.1.87","article-title":"Updates and counterfactuals","volume":"8","author":"Grahne","year":"1998","journal-title":"Journal of Logic and Computation"},{"key":"10.3233\/IA-150082_ref23","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.entcs.2010.04.012","article-title":"Optimizing Conditional Logic Reasoning within CoLoSS","volume":"262","author":"Hausmann","year":"2010","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"1","key":"10.3233\/IA-150082_ref24","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01053026","article-title":"Cut-free sequent calculi for some tense logics","volume":"53","author":"Kashima","year":"1994","journal-title":"Studia Logica"},{"issue":"1-2","key":"10.3233\/IA-150082_ref26","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic reasoning, preferential models and cumulative logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.3233\/IA-150082_ref29","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1023\/A:1008322227554","article-title":"Model-based diagnosis and conditional logic","volume":"14","author":"Obeid","year":"2001","journal-title":"Applied Intelligence"},{"issue":"4","key":"10.3233\/IA-150082_ref31","doi-asserted-by":"crossref","first-page":"427","DOI":"10.3166\/jancl.18.427-473","article-title":"Theorem Proving for Conditional Logics: CondLean and GoalDuck","volume":"18","author":"Olivetti","year":"2008","journal-title":"Journal of Applied Non-Classical Logics (JANCL)"},{"issue":"A","key":"10.3233\/IA-150082_ref33","first-page":"27","article-title":"Causality in action theories","volume":"3","author":"Schwind","year":"1999","journal-title":"Electronic Transactions on Artificial Intelligence (ETAI)"}],"container-title":["Intelligenza Artificiale"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/IA-150082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T07:00:24Z","timestamp":1733122824000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/IA-150082"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,19]]},"references-count":23,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/ia-150082","relation":{},"ISSN":["1724-8035","2211-0097"],"issn-type":[{"type":"print","value":"1724-8035"},{"type":"electronic","value":"2211-0097"}],"subject":[],"published":{"date-parts":[[2015,12,19]]}}}