Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods
  • Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Herausgeber

Martin Giese + weitere

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02715-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.06.2009

Herausgeber

Verlag

Springer Berlin

Seitenzahl

341

Maße (L/B/H)

23,5/15,5/2 cm

Gewicht

540 g

Auflage

2009

Sprache

Englisch

ISBN

978-3-642-02715-4

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: Automated Reasoning with Analytic Tableaux and Related Methods
  • Produktbild: Automated Reasoning with Analytic Tableaux and Related Methods
  • Presenting Constraints.- On the Use of Automata for Deciding Linear Arithmetic.- Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus.- A Schemata Calculus for Propositional Logic.- Tableaux and Model Checking for Memory Logics.- Canonical Constructive Systems.- A Novel Architecture for Situation Awareness Systems.- On the Proof Theory of Regular Fixed Points.- Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.- A Tableau-Based System for Spatial Reasoning about Directional Relations.- Terminating Tableaux for the Basic Fragment of Simple Type Theory.- Modular Sequent Systems for Modal Logic.- Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.- Goal-Directed Invariant Synthesis for Model Checking Modulo Theories.- Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.- Sound Global State Caching for ALC with Inverse Roles.- A Tableau System for the Modal ?-Calculus.- Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.- Prime Implicate Tries.- Proof Systems for a Gödel Modal Logic.- Generic Modal Cut Elimination Applied to Conditional Logics.- Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.- Automated Synthesis of Tableau Calculi.- Tableaux for Projection Computation and Knowledge Compilation.