Sciweavers

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

9

DLOG
2009

favoriteEmaildiscussreport

68views Automated Reasoning» more DLOG 2009»

Fair Cycle Detection using Description Logic Reasoning

13 years 2 months ago

Fair Cycle Detection using Description Logic Reasoning

Download www.cs.uwaterloo.ca

Shoham Ben-David, Jeffrey Pound, Richard J. Trefle

Real-time Traffic

Automated Reasoning | DLOG 2009 |

claim paper

Related Content

» Detecting Inconsistencies between UML Models Using Description Logic

» Image indexing and retrieval using expressive fuzzy description logics

» Towards Automated Reasoning on ORM Schemes

» Entanglement A Measure for the Complexity of Directed Graphs with Applications to Logic a...

» Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination

» ModelBased Most Specific Concepts in Some Inexpressive Description Logics

» Distancebased Measures of Inconsistency and Incoherency for Description Logics

» A grammar for hierarchical object descriptions in logic programs

» System Description card TAP The First Theorem Prover on a Smart Card

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	DLOG
Authors	Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell

Comments (0)