Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
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
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 5607/2009
DOI10.1007/978-3-642-02716-1
Copyright2009
ISBN978-3-642-02715-4
Subject CollectionComputer Science
SpringerLink DateTuesday, October 20, 2009
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
24 ChaptersFirst | 1-10 | 11-20 | 21-24 | Next
Front Matter

Front MatterPDF (333.4 KB)

  
Chapter
Presenting Constraints
Peter Jeavons
DOI: 10.1007/978-3-642-02716-1_1
Full TextPDF (290.9 KB)
 1-15
Chapter
On the Use of Automata for Deciding Linear Arithmetic
Pierre Wolper
DOI: 10.1007/978-3-642-02716-1_2
Full TextPDF (31.9 KB)
 16
Chapter
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
Régis Alenda, Nicola Olivetti and Camilla Schwind
DOI: 10.1007/978-3-642-02716-1_3
Full TextPDF (318.8 KB)
 17-31
Chapter
A Schemata Calculus for Propositional Logic
Vincent Aravantinos, Ricardo Caferra and Nicolas Peltier
DOI: 10.1007/978-3-642-02716-1_4
Full TextPDF (280.3 KB)
 32-46
Chapter
Tableaux and Model Checking for Memory Logics
Carlos Areces, Diego Figueira, Daniel Gorín and Sergio Mera
DOI: 10.1007/978-3-642-02716-1_5
Full TextPDF (269.0 KB)
 47-61
Chapter
Canonical Constructive Systems
Arnon Avron and Ori Lahav
DOI: 10.1007/978-3-642-02716-1_6
Full TextPDF (240.3 KB)
 62-76
Chapter
A Novel Architecture for Situation Awareness Systems
Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam and Rolf Schwitter
DOI: 10.1007/978-3-642-02716-1_7
Full TextPDF (611.3 KB)
 77-92
Chapter
On the Proof Theory of Regular Fixed Points
David Baelde
DOI: 10.1007/978-3-642-02716-1_8
Full TextPDF (356.3 KB)
 93-107
Chapter
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
Bianca Boretti and Sara Negri
DOI: 10.1007/978-3-642-02716-1_9
Full TextPDF (263.0 KB)
 108-122
Chapter
A Tableau-Based System for Spatial Reasoning about Directional Relations
Davide Bresolin, Angelo Montanari, Pietro Sala and Guido Sciavicco
DOI: 10.1007/978-3-642-02716-1_10
Full TextPDF (265.7 KB)
 123-137
Back Matter

Back MatterPDF (44.9 KB)

  
24 ChaptersFirst | 1-10 | 11-20 | 21-24 | Next
more options
Find


Starts With
24 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.110 • Server: mpweb05
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)