Sciweavers

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

5

DLOG
2008

favoriteEmaildiscussreport

78views Automated Reasoning» more DLOG 2008»

Towards Higher-Order DL-Lite

13 years 7 months ago

Towards Higher-Order DL-Lite

Download sunsite.informatik.rwth-aachen.de

Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo

Real-time Traffic

Automated Reasoning | DLOG 2008 |

claim paper

Related Content

» Nonlinear Embedding towards Articulated Spine Shape Inference Using HigherOrder MRFs

» Higher Order Statistical Learning for Vehicle Detection in Images

» Higher order polynomials free form deformations and optical flow estimation

» Analytic Tableaux for HigherOrder Logic with Choice

» Nested Hoare Triples and Frame Rules for HigherOrder Store

» Progress in the Development of Automated Theorem Proving for HigherOrder Logic

» A Proof of the Stability of the Spectral Difference Method for All Orders of Accuracy

» Toward General Type2 Fuzzy Logic Systems Based on zSlices

» Fast Illumination Insensitive Face Detection Based on Multilinear Techniques and Curvature...

Post Info
More Details (n/a)

Added	02 Oct 2010
Updated	02 Oct 2010
Type	Conference
Year	2008
Where	DLOG
Authors	Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati

Comments (0)