{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:10:27Z","timestamp":1726042227852},"publisher-location":"Cham","reference-count":52,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030290252"},{"type":"electronic","value":"9783030290269"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-29026-9_3","type":"book-chapter","created":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T19:10:06Z","timestamp":1566414606000},"page":"39-57","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Preferential Tableaux for Contextual Defeasible $$\\mathcal {ALC}$$"],"prefix":"10.1007","author":[{"given":"Katarina","family":"Britz","sequence":"first","affiliation":[]},{"given":"Ivan","family":"Varzinczak","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,14]]},"reference":[{"key":"3_CR1","volume-title":"The Description Logic Handbook: Theory, Implementation and Applications","year":"2007","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications, 2nd edn. Cambridge University Press, Cambridge (2007)","edition":"2"},{"key":"3_CR2","unstructured":"Baader, F., Hollunder, B.: How to prefer more specific defaults in terminological default logic. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI), pp. 669\u2013675. Morgan Kaufmann Publishers (1993)"},{"issue":"1","key":"3_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. Autom. Reasoning 14(1), 149\u2013180 (1995)","journal-title":"J. Autom. Reasoning"},{"key":"3_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/9781139025355","volume-title":"An Introduction to Description Logic","author":"F Baader","year":"2017","unstructured":"Baader, F., Horrocks, I., Lutz, C., Sattler, U.: An Introduction to Description Logic. Cambridge University Press, Cambridge (2017)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2014.12.010","volume":"222","author":"P Bonatti","year":"2015","unstructured":"Bonatti, P., Faella, M., Petrova, I., Sauro, L.: A new semantics for overriding in description logics. Artif. Intell. 222, 1\u201348 (2015)","journal-title":"Artif. Intell."},{"key":"3_CR6","first-page":"719","volume":"42","author":"P Bonatti","year":"2011","unstructured":"Bonatti, P., Faella, M., Sauro, L.: Defeasible inclusions in low-complexity DLs. J. Artif. Intell. Res. 42, 719\u2013764 (2011)","journal-title":"J. Artif. Intell. Res."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1613\/jair.2763","volume":"35","author":"P Bonatti","year":"2009","unstructured":"Bonatti, P., Lutz, C., Wolter, F.: The complexity of circumscription in description logic. J. Artif. Intell. Res. 35, 717\u2013773 (2009)","journal-title":"J. Artif. Intell. Res."},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.artint.2017.04.001","volume":"248","author":"P Bonatti","year":"2017","unstructured":"Bonatti, P., Sauro, L.: On the logical properties of the nonmonotonic description logic DL $$^{N}$$ . Artif. Intell. 248, 85\u2013111 (2017)","journal-title":"Artif. Intell."},{"key":"3_CR9","unstructured":"Booth, R., Casini, G., Meyer, T., Varzinczak, I.: On the entailment problem for a logic of typicality. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 2805\u20132811 (2015)"},{"key":"3_CR10","first-page":"123","volume-title":"Trends in Belief Revision and Argumentation Dynamics, Studies in Logic - Logic and Cognitive Systems","author":"R Booth","year":"2013","unstructured":"Booth, R., Meyer, T., Varzinczak, I.: A propositional typicality logic for extending rational consequence. In: Ferm\u00e9, E., Gabbay, D., Simari, G. (eds.) Trends in Belief Revision and Argumentation Dynamics, Studies in Logic - Logic and Cognitive Systems, vol. 48, pp. 123\u2013154. King\u2019s College Publications, London (2013)"},{"issue":"1","key":"3_CR11","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. Artif. Intell. 68(1), 87\u2013154 (1994)","journal-title":"Artif. Intell."},{"key":"3_CR12","unstructured":"Britz, K., Casini, G., Meyer, T., Varzinczak, I.: Preferential role restrictions. In: Proceedings of the 26th International Workshop on Description Logics, pp. 93\u2013106 (2013)"},{"key":"3_CR13","series-title":"LNCS","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22102-7_7","volume-title":"Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday","author":"K Britz","year":"2019","unstructured":"Britz, K., Casini, G., Meyer, T., Varzinczak, I.: A KLM perspective on defeasible reasoning for description logics. In: Lutz, C., Sattler, U., Tinelli, A.Y., Wolter, F. (eds.) Description Logic, Theory Combination, and All That Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday. LNCS, vol. 11560. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22102-7_7"},{"key":"3_CR14","unstructured":"Britz, K., Heidema, J., Meyer, T.: Semantic preferential subsumption. In: Lang, J., Brewka, G. (eds.) Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 476\u2013484. AAAI Press\/MIT Press (2008)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/978-3-642-25832-9_50","volume-title":"AI 2011: Advances in Artificial Intelligence","author":"K Britz","year":"2011","unstructured":"Britz, K., Meyer, T., Varzinczak, I.: Semantic foundation for preferential description logics. In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS (LNAI), vol. 7106, pp. 491\u2013500. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25832-9_50"},{"key":"3_CR16","unstructured":"Britz, K., Varzinczak, I.: Defeasible modalities. In: Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 49\u201360 (2013)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/978-3-319-48758-8_12","volume-title":"Logics in Artificial Intelligence","author":"K Britz","year":"2016","unstructured":"Britz, K., Varzinczak, I.: Introducing role defeasibility in description logics. In: Michael, L., Kakas, A. (eds.) JELIA 2016. LNCS (LNAI), vol. 10021, pp. 174\u2013189. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48758-8_12"},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1080\/11663081.2017.1397325","volume":"28","author":"K Britz","year":"2018","unstructured":"Britz, K., Varzinczak, I.: From KLM-style conditionals to defeasible modalities, and back. J. Appl. Non-Class. Logics (JANCL) 28(1), 92\u2013121 (2018)","journal-title":"J. Appl. Non-Class. Logics (JANCL)"},{"issue":"2","key":"3_CR19","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s10849-017-9264-0","volume":"27","author":"K Britz","year":"2018","unstructured":"Britz, K., Varzinczak, I.: Preferential accessibility and preferred worlds. J. Logic Lang. Inf. (JoLLI) 27(2), 133\u2013155 (2018)","journal-title":"J. Logic Lang. Inf. (JoLLI)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-319-90050-6_7","volume-title":"Found. Inf. Knowl. Syst.","author":"K Britz","year":"2018","unstructured":"Britz, K., Varzinczak, I.: Rationality and context in defeasible subsumption. In: Ferrarotti, F., Woltran, S. (eds.) FoIKS 2018. LNCS, vol. 10833, pp. 114\u2013132. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-90050-6_7"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Britz, K., Varzinczak, I.: Contextual rational closure for defeasible $$\\cal{ALC}$$ . Annals of Mathematics and Artificial Intelligence, to appear (2019)","DOI":"10.1007\/s10472-019-09658-2"},{"key":"3_CR22","unstructured":"Britz, K., Varzinczak, I.: Reasoning with contextual defeasible $$\\cal{ALC}$$ . In: Proceedings of the 32nd International Workshop on Description Logics (2019)"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-319-25010-6_27","volume-title":"The Semantic Web - ISWC 2015","author":"G Casini","year":"2015","unstructured":"Casini, G., Meyer, T., Moodley, K., Sattler, U., Varzinczak, I.: Introducing defeasibility into OWL ontologies. In: Arenas, M., et al. (eds.) ISWC 2015. LNCS, vol. 9367, pp. 409\u2013426. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25010-6_27"},{"key":"3_CR24","unstructured":"Casini, G., Meyer, T., Moodley, K., Varzinczak, I.: Towards practical defeasible reasoning for description logics. In: Proceedings of the 26th International Workshop on Description Logics, pp. 587\u2013599 (2013)"},{"key":"3_CR25","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-15675-5_9","volume-title":"Logics in Artificial Intelligence","author":"G Casini","year":"2010","unstructured":"Casini, G., Straccia, U.: Rational closure for defeasible description logics. In: Janhunen, T., Niemel\u00e4, I. (eds.) JELIA 2010. LNCS (LNAI), vol. 6341, pp. 77\u201390. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15675-5_9"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1613\/jair.4062","volume":"48","author":"G Casini","year":"2013","unstructured":"Casini, G., Straccia, U.: Defeasible inheritance-based description logics. J. Artif. Intell. Res. (JAIR) 48, 415\u2013473 (2013)","journal-title":"J. Artif. Intell. Res. (JAIR)"},{"issue":"2","key":"3_CR27","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1145\/505372.505373","volume":"3","author":"F Donini","year":"2002","unstructured":"Donini, F., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Trans. Comput. Logic 3(2), 177\u2013225 (2002)","journal-title":"ACM Trans. Comput. Logic"},{"key":"3_CR28","unstructured":"Giordano, L., Gliozzi, V.: Reasoning about multiple aspects in DLs: semantics and closure construction. CoRR abs\/1801.07161 (2018), http:\/\/arxiv.org\/abs\/1801.07161"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-75560-9_20","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"L Giordano","year":"2007","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Preferential description logics. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol. 4790, pp. 257\u2013272. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75560-9_20"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-540-87803-2_17","volume-title":"Logics in Artificial Intelligence","author":"L Giordano","year":"2008","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: Reasoning about typicality in preferential description logics. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol. 5293, pp. 192\u2013205. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-87803-2_17"},{"issue":"3","key":"3_CR31","first-page":"18:1","volume":"10","author":"L Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Logic 10(3), 18:1\u201318:47 (2009)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"3","key":"3_CR32","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3233\/FI-2009-182","volume":"96","author":"L Giordano","year":"2009","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: $$\\cal{ALC}+{T}$$ : a preferential extension of description logics. Fundam. Informaticae 96(3), 341\u2013372 (2009)","journal-title":"Fundam. Informaticae"},{"key":"3_CR33","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-33353-8_18","volume-title":"Logics in Artificial Intelligence","author":"L Giordano","year":"2012","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.L.: A minimal model semantics for nonmonotonic reasoning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS (LNAI), vol. 7519, pp. 228\u2013241. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33353-8_18"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/j.artint.2012.10.004","volume":"195","author":"L Giordano","year":"2013","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: A non-monotonic description logic for reasoning about typicality. Artif. Intell. 195, 165\u2013202 (2013)","journal-title":"Artif. Intell."},{"key":"3_CR35","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2015.05.001","volume":"226","author":"L Giordano","year":"2015","unstructured":"Giordano, L., Gliozzi, V., Olivetti, N., Pozzato, G.: Semantic characterization of rational closure: from propositional logic to description logics. Artif. Intell. 226, 1\u201333 (2015)","journal-title":"Artif. Intell."},{"issue":"4","key":"3_CR36","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s10817-011-9243-0","volume":"50","author":"R Gor\u00e9","year":"2013","unstructured":"Gor\u00e9, R., Nguyen, L.: ExpTime tableaux for $$\\cal{ALC}$$ using sound global caching. J. Autom. Reasoning 50(4), 355\u2013381 (2013)","journal-title":"J. Autom. Reasoning"},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-30504-0_8","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"G Governatori","year":"2004","unstructured":"Governatori, G.: Defeasible description logics. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol. 3323, pp. 98\u2013112. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30504-0_8"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Grosof, B., Horrocks, I., Volz, R., Decker, S.: Description logic programs: Combining logic programs with description logic. In: Proceedings of the 12th International Conference on World Wide Web (WWW), pp. 48\u201357. ACM (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"3_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1033","DOI":"10.1007\/3-540-36124-3_66","volume-title":"On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE","author":"S Heymans","year":"2002","unstructured":"Heymans, S., Vermeir, D.: A defeasible ontology language. In: Meersman, R., Tari, Z. (eds.) OTM 2002. LNCS, vol. 2519, pp. 1033\u20131046. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36124-3_66"},{"key":"3_CR40","first-page":"64","volume":"12","author":"M Homola","year":"2012","unstructured":"Homola, M., Serafini, L.: Contextualized knowledge repositories for the semantic web. Web Semant.: Sci., Serv. Agents World Wide Web 12, 64\u201387 (2012)","journal-title":"Web Semant.: Sci., Serv. Agents World Wide Web"},{"issue":"3","key":"3_CR41","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1093\/logcom\/ext011","volume":"26","author":"S Klarman","year":"2013","unstructured":"Klarman, S., Guti\u00e9rrez-Basulto, V.: Description logics of context. J. Logic and Comput. 26(3), 817\u2013854 (2013)","journal-title":"J. Logic and Comput."},{"key":"3_CR42","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. Artif. Intell. 44, 167\u2013207 (1990)","journal-title":"Artif. Intell."},{"key":"3_CR43","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"D Lehmann","year":"1992","unstructured":"Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artif. Intell. 55, 1\u201360 (1992)","journal-title":"Artif. Intell."},{"key":"3_CR44","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-642-04441-0_38","volume-title":"Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems","author":"LA Nguyen","year":"2009","unstructured":"Nguyen, L.A., Sza\u0142as, A.: ExpTime tableaux for checking satisfiability of a knowledge base in the description logic $$\\cal{ALC}$$ . In: Nguyen, N.T., Kowalczyk, R., Chen, S.-M. (eds.) ICCCI 2009. LNCS (LNAI), vol. 5796, pp. 437\u2013448. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04441-0_38"},{"key":"3_CR45","unstructured":"Padgham, L., Zhang, T.: A terminological logic with defaults: a definition and an application. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). pp. 662\u2013668. Morgan Kaufmann Publishers (1993)"},{"key":"3_CR46","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/978-3-540-75256-1_72","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"G Qi","year":"2007","unstructured":"Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 828\u2013839. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75256-1_72"},{"key":"3_CR47","unstructured":"Quantz, J., Royer, V.: A preference semantics for defaults in terminological logics. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR), pp. 294\u2013305 (1992)"},{"key":"3_CR48","unstructured":"Quantz, J., Ryan, M.: Preferential default description logics. Technical report, TU Berlin (1993). www.tu-berlin.de\/fileadmin\/fg53\/KIT-Reports\/r110.pdf"},{"key":"3_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1007\/978-3-642-25073-6_39","volume-title":"The Semantic Web \u2013 ISWC 2011","author":"K Sengupta","year":"2011","unstructured":"Sengupta, K., Krisnadhi, A.A., Hitzler, P.: Local closed world semantics: grounded circumscription for OWL. In: Aroyo, L., et al. (eds.) ISWC 2011. LNCS, vol. 7031, pp. 617\u2013632. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25073-6_39"},{"key":"3_CR50","volume-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y Shoham","year":"1988","unstructured":"Shoham, Y.: Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge (1988)"},{"key":"3_CR51","unstructured":"Straccia, U.: Default inheritance reasoning in hybrid KL-ONE-style logics. In: Bajcsy, R. (ed.) Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI). pp. 676\u2013681. Morgan Kaufmann Publishers (1993)"},{"issue":"3\u20134","key":"3_CR52","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11787-018-0211-x","volume":"12","author":"I Varzinczak","year":"2018","unstructured":"Varzinczak, I.: A note on a description logic of concept and role typicality for defeasible reasoning over ontologies. Logica Universalis 12(3\u20134), 297\u2013325 (2018)","journal-title":"Logica Universalis"}],"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-030-29026-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,17]],"date-time":"2021-01-17T00:16:39Z","timestamp":1610842599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29026-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030290252","9783030290269"],"references-count":52,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29026-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TABLEAUX","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tableaux2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tableaux2019.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}