Sciweavers

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

76

Voted

DLOG
2008

78views Automated Reasoning» more DLOG 2008»

Towards Higher-Order DL-Lite

15 years 5 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)