000 04221nam a22005175i 4500
001 978-3-031-39784-4
003 DE-He213
005 20240730173323.0
007 cr nn 008mamaa
008 230828s2023 sz | s |||| 0|eng d
020 _a9783031397844
_9978-3-031-39784-4
024 7 _a10.1007/978-3-031-39784-4
_2doi
050 4 _aBC1-199
072 7 _aHPL
_2bicssc
072 7 _aPHI011000
_2bisacsh
072 7 _aQDTL
_2thema
082 0 4 _a160
_223
245 1 0 _aLogic, Language, Information, and Computation
_h[electronic resource] :
_b29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings /
_cedited by Helle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz.
250 _a1st ed. 2023.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2023.
300 _aXXXVIII, 395 p. 35 illus., 2 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13923
505 0 _aLearning Context-Free Grammars from Positive Data and Membership Queries -- The Web Still Needs Logic and Reasoning: A Short Introduction to SHACL for Logicians -- From Gödel's Incompleteness Theorem to the completeness of bot beliefs -- Quantitative Global Memory -- Effective Skolemization -- Factive Complements are not Always Unique Entities: A Case Study with Bangla 'remember' -- Two-layered logics for paraconsistent probabilities -- An Axiom System for Hybrid Logic with Propositional Quantifiers -- An Evidence Logic Perspective on Schotch-Jennings Forcing -- A separation logic with histories of epistemic actions as resources -- Conditional Obligations in Justification Logic -- Structural Completeness and Superintuitionistic Inquisitive Logics -- Validity in Choice Logics - A Game-theoretic Investigation -- Aleatoric Propositions: Reasoning about Coins -- Towards an induction principle for nested data types -- A principledapproach to Expectation Maximisation and Latent Dirichlet Allocation using Jeffrey's update rule -- Parameterized Complexity of Propositional Inclusion and Independence Logic -- Parallelism in Realizability Models -- Bisimulations between Verbrugge models and Veltman models -- Focus-style proofs for the two-way alternation-free $\mu$-calculus -- Relevant Reasoning and Implicit Beliefs -- Decidability of modal logics of non-k-colorable graphs -- Subsumption-Linear Q-Resolution for QBF Theorem Proving -- Maximally Multi-Focused Proofs for Skew Non-Commutative MILL.
520 _aEdited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11-14, 2023. The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.
650 0 _aLogic.
_924230
650 1 4 _aLogic.
_924230
700 1 _aHansen, Helle Hvid.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9107904
700 1 _aScedrov, Andre.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9107905
700 1 _ade Queiroz, Ruy J.G.B.
_eeditor.
_0(orcid)
_10000-0003-1482-0977
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9107906
710 2 _aSpringerLink (Online service)
_9107907
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031397837
776 0 8 _iPrinted edition:
_z9783031397851
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v13923
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-39784-4
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c88869
_d88869