Sciweavers

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

7

DLOG
2009

favoriteEmaildiscussreport

75views Automated Reasoning» more DLOG 2009»

Extending DL-Lite Sometime in the Future

13 years 2 months ago

Extending DL-Lite Sometime in the Future

Download web.comlab.ox.ac.uk

Alessandro Artale, Roman Kontchakov, Vladislav Ryz

Real-time Traffic

Automated Reasoning | DLOG 2009 |

claim paper

Related Content

» Multimodal theater extending low fidelity paper prototyping to multimodal applications

» This All Together Hon Ubicomp in Nonoffice Work Environments

» Elided conditionals

» You Should Better Enforce Than Verify

» New Solution Approaches to the General Single Machine EarlinessTardiness Problem

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	DLOG
Authors	Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev

Comments (0)