Sciweavers

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

8

KR
1994
Springer

favoriteEmaildiscussreport

86views Automated Reasoning» more KR 1994»

A Unified Framework for Class-Based Representation Formalisms

13 years 8 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)