Sciweavers

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

58

DLOG
2007

favoriteEmaildiscussreport

106views Automated Reasoning» more DLOG 2007»

Description Logics in the Calculus of Structures

15 years 1 months ago

Description Logics in the Calculus of Structures

Download dl.kr.org

Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

Real-time Traffic

Automated Reasoning | DLOG 2007 |

claim paper

Related Content

» Fixpoint Logics on Hierarchical Structures

» System Description EKRHyper

» Fixpoint Logics over Hierarchical Structures

» A ThreeValued Interpretation of Negation in Feature Structure Descriptions

» Optimizing Reasoning in Description Logics with Qualified Number Restrictions

» Mixed Integer Programming General Concept Inclusions and Fuzzy Description Logics

» Fluent Learning Elucidating the Structure of Episodes

» Variants of the Event Calculus

» The Displacement Calculus

Post Info
More Details (n/a)

Added	02 Oct 2010
Updated	02 Oct 2010
Type	Conference
Year	2007
Where	DLOG
Authors	Jean-David Roubach, Pascal Yim, Joaquin Rodriguez

Comments (0)