Produktbild: Logic, Language, Information, and Computation
Band 13923

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings

Fr. 106.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2023

Abbildungen

XXXVIII, 395 p. 35 illus., 2 illus. in color.

Herausgeber

Helle Hvid Hansen + weitere

Verlag

Springer

Seitenzahl

395

Maße (L/B/H)

23.5/15.5/2.4 cm

Gewicht

657 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-39783-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

30.08.2023

Abbildungen

XXXVIII, 395 p. 35 illus., 2 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

395

Maße (L/B/H)

23.5/15.5/2.4 cm

Gewicht

657 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-39783-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Logic, Language, Information, and Computation
  • 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.