Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

STACS
2007
Springer

favoriteEmaildiscussreport

72views Theoretical Computer Science» more STACS 2007»

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic

13 years 11 months ago

An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic

Download www-i7.informatik.rwth-aachen.de

Davide Bresolin, Angelo Montanari, Pietro Sala

Real-time Traffic

STACS 2007 | Theoretical Computer Science |

claim paper

Related Content

» An Optimal OntheFly TableauBased Decision Procedure for PDLSatisfiability

» A TableauBased System for Spatial Reasoning about Directional Relations

» Symbolic Dynamic Programming for FirstOrder MDPs

Post Info
More Details (n/a)

Added	09 Jun 2010
Updated	09 Jun 2010
Type	Conference
Year	2007
Where	STACS
Authors	Davide Bresolin, Angelo Montanari, Pietro Sala

Comments (0)