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

73,99 €

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: GPSR Kontakt

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.