Cover image for Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Title:
Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings
Author:
Hansen, Helle Hvid. editor.
ISBN:
9783031397844
Edition:
1st ed. 2023.
Physical Description:
XXXVIII, 395 p. 35 illus., 2 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 13923
Contents:
Learning 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.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 520880-1001 XX(520880.1)
Searching...

On Order