Sciweavers

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

23

KR
1994
Springer

favoriteEmaildiscussreport

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

14 years 3 months ago

A Unified Framework for Class-Based Representation Formalisms

Download www.inf.unibz.it

Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

Real-time Traffic

Automated Reasoning | KR 1994 |

claim paper

Related Content

» On a Unifying Framework for Comparing Knowledge Representation Schemes

» A Unifying Framework for Linearly Solvable Control

» Computation of elementary modes a unifying framework and the new binary approach

» Rewriting Logic as a Unifying Framework for Petri Nets

» The Representation of Program Synthesis in Higher Order Logic

» User Interests Definition Vocabulary and Utilization in Unifying Search and Reasoning

» PROWL A Framework for Probabilistic Ontologies

» A Framework for Dynamic Service Composition

» Towards a Coalgebraic Semantics of the Ambient Calculus

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1994
Where	KR
Authors	Diego Calvanese, Maurizio Lenzerini, Daniele Nardi

Comments (0)