{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:45:25Z","timestamp":1743108325800,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031435126"},{"type":"electronic","value":"9783031435133"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T00:00:00Z","timestamp":1694649600000},"content-version":"vor","delay-in-days":256,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We report on an implementation of a tableaux calculus for sceptical consequence in Default Logic built on Hybrid Modal Logic. In turn, our tool offers support for checking default consequence over formulas from Propositional Logic, Basic Modal Logic and Hybrid Logic. We develop a test suite for assessing the correctness, scalability, and efficiency of our system, and inform on the results. Interestingly, our method can be adapted to generate examples for other default provers.<\/jats:p>","DOI":"10.1007\/978-3-031-43513-3_3","type":"book-chapter","created":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T14:02:36Z","timestamp":1694613756000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["DefTab : A Tableaux System for\u00a0Sceptical Consequence in\u00a0Default Modal Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Cassano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raul","family":"Fervari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillaume","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,14]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Wang, K.: Default logic. In: Gabbay, D., Woods, J. (eds.) The many valued and nonmonotonic turn in logic. vol. 8 of Handbook of the History of Logic, pp. 517\u2013555. North-Holland (2007)","DOI":"10.1016\/S1874-5857(07)80011-2"},{"key":"3_CR2","unstructured":"Areces, C., Heguiabehere, J.: hGen: a random CNF formula generator for hybrid languages. In: Methods for Modalities 3\u2013M4M-3, Nancy, France, Nancy, France (2003)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge U Press, Cambridge (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier (2007)","DOI":"10.1002\/9780470996751.ch27"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cassano, V., Areces, C., Castro, P.: Reasoning about prescription and description using prioritized default rules. In: Barthe, G., Sutcliffe, G., Veanes, M. (eds.) 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-22). vol. 57 of EPiC Series in Computing, pp. 196\u2013213. EasyChair (2018)","DOI":"10.29007\/swdn"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1007\/978-3-030-19570-0_44","volume-title":"Logics in Artificial Intelligence","author":"V Cassano","year":"2019","unstructured":"Cassano, V., Fervari, R., Areces, C., Castro, P.F.: Interpolation and beth definability in default logics. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 675\u2013691. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_44"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-030-29436-6_10","volume-title":"Automated Deduction \u2013 CADE 27","author":"V Cassano","year":"2019","unstructured":"Cassano, V., Fervari, R., Hoffmann, G., Areces, C., Castro, P.F.: A tableaux calculus for default intuitionistic logic. In: Fontaine, P. (ed.) CADE 2019. LNCS (LNAI), vol. 11716, pp. 161\u2013177. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29436-6_10"},{"key":"3_CR8","unstructured":"Cholewinski, P., Marek, V., Truszczynski, M.: Default reasoning system DeReS. In: 5th International Conference on Principles of Knowledge Representation and Reasoning (KR 1996), pp. 518\u2013528. Morgan Kaufmann (1996)"},{"key":"3_CR9","doi-asserted-by":"publisher","unstructured":"D\u2019Agostino, M., Gabbay, D.M., Hahnle, R., Posegga, J. (eds.) Handbook of Tableau Methods. Springer (1999). https:\/\/doi.org\/10.1007\/978-94-017-1754-0","DOI":"10.1007\/978-94-017-1754-0"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1007\/978-3-642-02906-6_52","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"M Dao-Tran","year":"2009","unstructured":"Dao-Tran, M., Eiter, T., Krennwallner, T.: Realizing default logic over description logic knowledge bases. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS (LNAI), vol. 5590, pp. 602\u2013613. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02906-6_52"},{"key":"3_CR11","unstructured":"Fitting, M.: Introduction. In: D\u2019Agostino et al. [9], pp. 1\u201343"},{"issue":"4","key":"3_CR12","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/j.jal.2010.08.003","volume":"8","author":"G Hoffmann","year":"2010","unstructured":"Hoffmann, G.: Lightweight hybrid tableaux. J. Appl. Logic 8(4), 397\u2013408 (2010)","journal-title":"J. Appl. Logic"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Hoffmann, G., Areces, C.: HTab: a terminating tableaux system for hybrid logic. In: Areces, C., Demri, S. (eds.) Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, 29\u201330 November 2007. vol. 231 of ENTCS, pp. 3\u201319. Elsevier (2007)","DOI":"10.1016\/j.entcs.2009.02.026"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/3-540-69778-0_22","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"U Hustadt","year":"1998","unstructured":"Hustadt, U., Schmidt, R.A.: Simplification and backjumping in modal tableau. In: de Swart, H. (ed.) TABLEAUX 1998. LNCS (LNAI), vol. 1397, pp. 187\u2013201. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/3-540-69778-0_22"},{"key":"3_CR15","unstructured":"Meyer, T., Moodley, K., Sattler, U.: DIP: a defeasible-inference platform for OWL ontologies. CEUR Workshop Proceedings (2014)"},{"key":"3_CR16","unstructured":"Priest, G.: An Introduction to Non-classical Logic: From If to Is. Cambridge U Press, Cambridge (2000)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A logic for default reasoning. AI 13(1\u20132), 81\u2013132 (1980)","DOI":"10.1016\/0004-3702(80)90014-4"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-43513-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T01:11:45Z","timestamp":1730077905000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-43513-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031435126","9783031435133"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-43513-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 September 2023","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":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"32","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tableaux2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/tableaux2023.tableaux-ar.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":"20","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":"5","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":"47% - 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.92)","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)"}}]}}