default search action
29th WoLLIC 2023: Halifax, NS, Canada
- Helle Hvid Hansen
, Andre Scedrov, Ruy J. G. B. de Queiroz
Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings. Lecture Notes in Computer Science 13923, Springer 2023, ISBN 978-3-031-39783-7
Invited Papers
- Makoto Kanazawa:
Learning Context-Free Grammars from Positive Data and Membership Queries. 3-18 - Magdalena Ortiz
A Short Introduction to SHACL for Logicians. 19-32 - Dusko Pavlovic
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). 33-50
Contributed Papers
- Sandra Alves, Delia Kesner, Miguel Ramos:
Quantitative Global Memory. 53-68 - Matthias Baaz
Effective Skolemization. 69-82 - Arka Banerjee
Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember. 83-100 - Marta Bílková
Two-Layered Logics for Paraconsistent Probabilities. 101-117 - Patrick Blackburn
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. 118-134 - Tyler Brunet
An Evidence Logic Perspective on Schotch-Jennings Forcing. 135-160 - Hans van Ditmarsch, Didier Galmiche, Marta Gawek:
A Separation Logic with Histories of Epistemic Actions as Resources. 161-177 - Federico L. G. Faroldi, Atefeh Rohani, Thomas Studer
Conditional Obligations in Justification Logic. 178-193 - Thomas Macaulay Ferguson
Structural Completeness and Superintuitionistic Inquisitive Logics. 194-210 - Robert Freiman, Michael Bernreiter:
Validity in Choice Logics - A Game-Theoretic Investigation. 211-226 - Tim French
Aleatoric Propositions: Reasoning About Coins. 227-243 - Peng Fu, Peter Selinger:
Towards an Induction Principle for Nested Data Types. 244-255 - Bart Jacobs:
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. 256-273 - Yasir Mahmood
Parameterized Complexity of Propositional Inclusion and Independence Logic. 274-291 - Satoshi Nakata:
Parallelism in Realizability Models. 292-304 - Tin Perkov
Bisimulations Between Verbrugge Models and Veltman Models. 305-317 - Jan Rooduijn, Yde Venema:
Focus-Style Proofs for the Two-Way Alternation-Free μ-Calculus. 318-335 - Igor Sedlár
Relevant Reasoning and Implicit Beliefs. 336-350 - Ilya Shapirovsky
Decidability of Modal Logics of Non-k-Colorable Graphs. 351-361 - Allen Van Gelder:
Subsumption-Linear Q-Resolution for QBF Theorem Proving. 362-376 - Niccolò Veltri
Maximally Multi-focused Proofs for Skew Non-Commutative MILL. 377-393
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-22 18:47 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: