default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th 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, Temra 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, Anela Lolic:
Effective Skolemization. 69-82 - Arka Banerjee:
Factive Complements are Not Always Unique Entities: A Case Study with Bangla remember. 83-100 - Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer:
Two-Layered Logics for Paraconsistent Probabilities. 101-117 - Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod:
An Axiom System for Basic Hybrid Logic with Propositional Quantifiers. 118-134 - Tyler Brunet, Gillman Payette:
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, Vít Puncochár:
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, Jonni Virtema:
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, Pietro Vigiani:
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-11-15 19:19 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:
