001476536 000__ 05308cam\\22007097i\4500
001476536 001__ 1476536
001476536 003__ OCoLC
001476536 005__ 20231003174425.0
001476536 006__ m\\\\\o\\d\\\\\\\\
001476536 007__ cr\un\nnnunnun
001476536 008__ 230905s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001476536 019__ $$a1395947292$$a1396063820
001476536 020__ $$a9783031397844$$q(electronic bk.)
001476536 020__ $$a3031397843$$q(electronic bk.)
001476536 020__ $$z9783031397837
001476536 020__ $$z3031397835
001476536 0247_ $$a10.1007/978-3-031-39784-4$$2doi
001476536 035__ $$aSP(OCoLC)1396164641
001476536 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCO
001476536 049__ $$aISEA
001476536 050_4 $$aQA9.A1$$bW67 2023eb
001476536 08204 $$a005.13/1$$223/eng/20230905
001476536 1112_ $$aWorkshop on Logic, Language, Information and Computation$$n(29th :$$d2023 :$$cHalifax, N.S.)
001476536 24510 $$aLogic, language, information, and computation :$$b29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings /$$cHelle Hvid Hansen, Andre Scedrov, Ruy J.G.B. de Queiroz, editors.
001476536 2463_ $$aWoLLIC 2023
001476536 264_1 $$aCham :$$bSpringer,$$c2023.
001476536 300__ $$a1 online resource (xxxviii, 395 pages) :$$billustrations (some color).
001476536 336__ $$atext$$btxt$$2rdacontent
001476536 337__ $$acomputer$$bc$$2rdamedia
001476536 338__ $$aonline resource$$bcr$$2rdacarrier
001476536 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13923
001476536 4901_ $$aFoLLI publications on logic, language and information
001476536 500__ $$aIncludes author index.
001476536 5050_ $$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 principled approach 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.
001476536 506__ $$aAccess limited to authorized users.
001476536 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.
001476536 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 5, 2023).
001476536 650_0 $$aLogic, Symbolic and mathematical$$vCongresses.
001476536 650_0 $$aLanguage and logic$$vCongresses.
001476536 650_6 $$aLogique symbolique et mathématique$$vCongrès.
001476536 650_6 $$aLangage et logique$$vCongrès.
001476536 655_0 $$aElectronic books.
001476536 7001_ $$aHansen, Helle Hvid,$$eeditor.$$1https://orcid.org/0000-0001-7061-1219
001476536 7001_ $$aŠčedrov, Andrej,$$d1955-$$eeditor.
001476536 7001_ $$aQueiroz, Ruy J. G. B. de,$$eeditor.$$1https://orcid.org/0000-0003-1482-0977
001476536 77608 $$iPrint version: $$z3031397835$$z9783031397837$$w(OCoLC)1388319467
001476536 830_0 $$aLecture notes in computer science ;$$v13923.$$x1611-3349
001476536 830_0 $$aLecture notes in computer science.$$pLecture notes in artificial intelligence.$$pFoLLI publications on logic, language and information.
001476536 852__ $$bebk
001476536 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-39784-4$$zOnline Access$$91397441.1
001476536 909CO $$ooai:library.usi.edu:1476536$$pGLOBAL_SET
001476536 980__ $$aBIB
001476536 980__ $$aEBOOK
001476536 982__ $$aEbook
001476536 983__ $$aOnline
001476536 994__ $$a92$$bISE