{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T04:57:36Z","timestamp":1725857856187},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319402284"},{"type":"electronic","value":"9783319402291"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-40229-1_33","type":"book-chapter","created":{"date-parts":[[2016,6,11]],"date-time":"2016-06-11T12:54:04Z","timestamp":1465649644000},"page":"487-495","source":"Crossref","is-referenced-by-count":3,"title":["Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi"],"prefix":"10.1007","author":[{"given":"Yoni","family":"Zohar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna","family":"Zamansky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,12]]},"reference":[{"key":"33_CR1","unstructured":"Gen2sat website. http:\/\/www.cs.tau.ac.il\/research\/yoni.zohar\/gen2sat"},{"key":"33_CR2","unstructured":"Areces, C.E.: Logic engineering: the case of description and hybrid logics. Institute for Logic, Language and Computation (2000)"},{"issue":"2","key":"33_CR3","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00881838","volume":"10","author":"A Avron","year":"1993","unstructured":"Avron, A.: Gentzen-type systems, resolution, tableaux. J. Autom. Reasoning 10(2), 265\u2013281 (1993)","journal-title":"J. Autom. Reasoning"},{"key":"33_CR4","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/j.ins.2014.11.003","volume":"296","author":"A Avron","year":"2015","unstructured":"Avron, A., Konikowska, B., Zamansky, A.: Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296, 219\u2013236 (2015)","journal-title":"Inf. Sci."},{"key":"33_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-61511-3_84","volume-title":"Automated Deduction - Cade-13","author":"M Baaz","year":"1996","unstructured":"Baaz, M., Ferm\u00fcller, C.G., Salzer, G., Zach, R.: Multlog 1.0: towards an expert system for many-valued logics. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS, vol. 1104, pp. 226\u2013230. Springer, Heidelberg (1996)"},{"key":"33_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4020-6324-4_1","volume-title":"Handbook of Philosophical Logic","author":"W Carnielli","year":"2007","unstructured":"Carnielli, W., Coniglio, M.E., Marcos, J.: Logics of formal inconsistency. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 14, pp. 1\u201393. Springer, New York (2007)"},{"key":"33_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/978-3-642-35722-0_9","volume-title":"Logical Foundations of Computer Science","author":"A Ciabattoni","year":"2013","unstructured":"Ciabattoni, A., Lahav, O., Spendier, L., Zamansky, A.: Automated support for the investigation of paraconsistent and other logics. In: Artemov, S., Nerode, A. (eds.) LFCS 2013. LNCS, vol. 7734, pp. 119\u2013133. Springer, Heidelberg (2013)"},{"key":"33_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-319-11558-0_2","volume-title":"Logics in Artificial Intelligence","author":"A Ciabattoni","year":"2014","unstructured":"Ciabattoni, A., Spendier, L.: Tools for the investigation of substructural and paraconsistent logics. In: Ferm\u00e9, E., Leite, J. (eds.) JELIA 2014. LNCS, vol. 8761, pp. 18\u201332. Springer, Heidelberg (2014)"},{"key":"33_CR9","doi-asserted-by":"crossref","unstructured":"Comon-Lundh, H., Shmatikov, V.: Intruder deductions, constraint solving and insecurity decision in presence of exclusive OR. In: 2003 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science, pp. 271\u2013280, June 2003","DOI":"10.1109\/LICS.2003.1210067"},{"issue":"1","key":"33_CR10","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1093\/logcom\/ext021","volume":"26","author":"C Cotrini","year":"2013","unstructured":"Cotrini, C., Gurevich, Y.: Basic primal infon logic. J. Logic Comput. 26(1), 117\u2013141 (2013)","journal-title":"J. Logic Comput."},{"key":"33_CR11","unstructured":"da Costa, N.C.: Sistemas formais inconsistentes, vol. 3. Editora UFPR (1993)"},{"key":"33_CR12","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/B978-044450813-3\/50006-0","volume-title":"Handbook of Automated Reasoning","author":"A Degtyarev","year":"2001","unstructured":"Degtyarev, A., Voronkov, A.: The inverse method. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. 1, pp. 179\u2013272. MIT Press, Cambridge (2001)"},{"key":"33_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"318","DOI":"10.1007\/11554554_25","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"O Gasquet","year":"2005","unstructured":"Gasquet, O., Herzig, A., Longin, D., Sahade, M.: LoTREC: logical tableaux research engineering companion. In: Beckert, B. (ed.) TABLEAUX 2005. LNCS (LNAI), vol. 3702, pp. 318\u2013322. Springer, Heidelberg (2005)"},{"key":"33_CR14","unstructured":"Hoffmann, M., Iachelini, G.: Code coverage analysis for eclipse. In: Eclipse Summit Europe (2007)"},{"issue":"5","key":"33_CR15","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1002\/malq.19870330506","volume":"33","author":"H Kawai","year":"1987","unstructured":"Kawai, H.: Sequential calculus for a first order infinitary temporal logic. Math. Logic Q. 33(5), 423\u2013432 (1987)","journal-title":"Math. Logic Q."},{"key":"33_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1007\/978-3-319-08587-6_6","volume-title":"Automated Reasoning","author":"O Lahav","year":"2014","unstructured":"Lahav, O., Zohar, Y.: SAT-based decision procedure for analytic pure sequent calculi. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 76\u201390. Springer, Heidelberg (2014)"},{"key":"33_CR17","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","volume":"7","author":"D Berre Le","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The Sat4j library, release 2.2. J. Satisfiability Boolean Mode. Comput. 7, 59\u201364 (2010)","journal-title":"J. Satisfiability Boolean Mode. Comput."},{"key":"33_CR18","series-title":"IFIP International Federation for Information Processing","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/978-0-387-34747-9_48","volume-title":"Artificial Intelligence in Theory and Practice","author":"A Neto","year":"2006","unstructured":"Neto, A., Finger, M.: Effective prover for minimal inconsistency logic. In: Bramer, M. (ed.) Artificial Intelligence in Theory and Practice. IFIP, vol. 217, pp. 465\u2013474. Springer US, London (2006)"},{"key":"33_CR19","unstructured":"Neto, A., Finger, M.: Kems-a multi-strategy tableau prover. In: Proceedings of the VI Best MSc Dissertation\/PhD Thesis Contest (CTDIA 2008), Salvador (2008)"},{"key":"33_CR20","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.entcs.2009.11.007","volume":"256","author":"A Neto","year":"2009","unstructured":"Neto, A., Kaestner, C.A.A., Finger, M.: Towards an efficient prover for the paraconsistent logic C1. Electron. Notes Theoret. Comput. Sci. 256, 87\u2013102 (2009)","journal-title":"Electron. Notes Theoret. Comput. Sci."},{"issue":"1","key":"33_CR21","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1093\/jigpal\/4.1.109","volume":"4","author":"HJ Ohlbach","year":"1996","unstructured":"Ohlbach, H.J.: Computer support for the development and investigation of logics. Logic J. IGPL 4(1), 109\u2013127 (1996)","journal-title":"Logic J. IGPL"},{"key":"33_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1007\/978-3-319-08587-6_39","volume-title":"Automated Reasoning","author":"N Olivetti","year":"2014","unstructured":"Olivetti, N., Pozzato, G.L.: NESCOND: an implementation of nested sequent calculi for conditional logics. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) IJCAR 2014. LNCS, vol. 8562, pp. 511\u2013518. Springer, Heidelberg (2014)"},{"key":"33_CR23","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/944746.944713","volume":"38","author":"RL Page","year":"2003","unstructured":"Page, R.L.: Software is discrete mathematics. ACM SIGPLAN Not. 38, 79\u201386 (2003). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"33_CR24","doi-asserted-by":"crossref","unstructured":"Tishkovsky, D., Schmidt, R.A., Khodadadi, M.: Mettel2: towards a tableau prover generation platform. In: PAAR@ IJCAR, pp. 149\u2013162 (2012)","DOI":"10.1007\/978-3-642-33353-8_41"},{"key":"33_CR25","unstructured":"Zamansky, A., Farchi, E.: Teaching logic to information systems students: challenges and opportunities. In: Fourth International Conference on Tools for Teaching Logic, TTL (2015)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-40229-1_33","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T04:09:58Z","timestamp":1600747798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-40229-1_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319402284","9783319402291"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-40229-1_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}