Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logic, Language, Information and Computation
  • Produktbild: Logic, Language, Information and Computation
Band 5514

Logic, Language, Information and Computation 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.05.2009

Abbildungen

XI, 409 p.

Herausgeber

Hiroakira Ono + weitere

Verlag

Springer Berlin

Seitenzahl

409

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02260-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.05.2009

Abbildungen

XI, 409 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

409

Maße (L/B/H)

23,5/15,5/2,3 cm

Gewicht

639 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02260-9

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
  • Produktbild: Logic, Language, Information and Computation
  • Tutorials and Invited Talks.- A Characterisation of Definable NP Search Problems in Peano Arithmetic.- Algebraic Valuations as Behavioral Logical Matrices.- Query Answering in Description Logics: The Knots Approach.- Mathematical Logic for Life Science Ontologies.- Recognizability in the Simply Typed Lambda-Calculus.- Logic-Based Probabilistic Modeling.- Contributed Papers.- Completions of Basic Algebras.- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization.- Observational Completeness on Abstract Interpretation.- SAT in Monadic Gödel Logics: A Borderline between Decidability and Undecidability.- Learning by Questions and Answers: From Belief-Revision Cycles to Doxastic Fixed Points.- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.- On-the-Fly Macros.- Abductive Logic Grammars.- On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar.- Observational Effort and Formally Open Mappings.- Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus.- Property Driven Three-Valued Model Checking on Hybrid Automata.- Team Logic and Second-Order Logic.- Ludics and Its Applications to Natural Language Semantics.- Spoilt for Choice: Full First-Order Hierarchical Decompositions.- Classic-Like Analytic Tableaux for Finite-Valued Logics.- A Duality for Algebras of Lattice-Valued Modal Logic.- An Independence Relation for Sets of Secrets.- Expressing Extension-Based Semantics Based on Stratified Minimal Models.- Deep Inference in Bi-intuitionistic Logic.- : An Action-Based Logic for Reasoning about Contracts.- Ehrenfeucht-Fraïssé Games on Random Structures.- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic.- The ArrowCalculus as a Quantum Programming Language.- Knowledge, Time, and Logical Omniscience.