Back to Results
First PageMeta Content
Non-classical logic / Science / Artificial intelligence / Modal logic / Knowledge representation / Stable model semantics / Description logic / Non-monotonic logic / Circumscription / Logic programming / Logic / Mathematical logic


DLclog : A Hybrid System Integrating Rules and Description Logics with Circumscription
Add to Reading List

Document Date: 2007-05-22 01:39:22

Open Document

File Size: 178,23 KB

Share Result on Facebook

City

New York / Barcelona / /

Company

Oxford University Press / DL LP / Plenum Press / Database Systems / /

Country

China / /

Facility

Agent System Lab University of Science / /

IndustryTerm

Web Reasoning / Web applications / semantic web / Web serving / /

Movie

D. V / /

Organization

Oxford University / University of Science and Technology of China / Hefei / /

Person

Michael Gelfond / Yoav Shoham / Riccardo Rosati / Carsten Lutz / Ulrike Sattler / Piero Bonatti / Teodor Przymusinki / Stephan Tobies / Halina Przymusinska / Fangzhen Lin / Vladimir Lifschitz / Boris Motik / Ian Horrocks / Frank Wolter / /

Position

head / /

ProgrammingLanguage

Datalog / /

ProvinceOrState

New York / /

PublishedMedium

Journal of Web Semantics / /

Technology

artificial intelligence / Technology of China / /

SocialTag