Sciweavers

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

27

DLOG
2010

favoriteEmaildiscussreport

117views Automated Reasoning» more DLOG 2010»

A Multi-Context System Computing Modalities

13 years 9 months ago

A Multi-Context System Computing Modalities

Download www.cs.uwaterloo.ca

Tarek Richard Besold, Bernhard Schiemann

Real-time Traffic

Automated Reasoning | DLOG 2010 |

claim paper

Related Content

» Distributed Nonmonotonic MultiContext Systems

» Many Hands Make Light Work Localized Satisfiability for MultiContext Systems

» Finding Explanations of Inconsistency in MultiContext Systems

» A Saturation Method for the Modal MuCalculus with Backwards Modalities over Pushdown Syste...

» FixedPoint Logic with the Approximation Modality and Its Kripke Completeness

» On Modal Refinement and Consistency

» Exploring inconsistencies between modal transition systems

» Modal Nonmonotonic Logics Ranges Characterization Computation

» A Modality Replacement Framework for the Communication between Blind and Hearing Impaired ...

Post Info
More Details (n/a)

Added	10 Feb 2011
Updated	10 Feb 2011
Type	Journal
Year	2010
Where	DLOG
Authors	Tarek Richard Besold, Bernhard Schiemann

Comments (0)