Sciweavers

Share
746 search results - page 1 / 150
» A Faithful Integration of Description Logics with Logic Prog...
Sort
View
IJCAI
2007
8 years 11 months ago
A Faithful Integration of Description Logics with Logic Programming
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
Boris Motik, Riccardo Rosati
WWW
2003
ACM
9 years 11 months ago
Description logic programs: combining logic programs with description logic
Benjamin N. Grosof, Ian Horrocks, Raphael Volz, St...
CORR
2010
Springer
123views Education» more  CORR 2010»
8 years 10 months ago
Loop Formulas for Description Logic Programs
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Sh...
RTA
2015
Springer
3 years 6 months ago
A faithful encoding of programmable strategies into term rewriting systems
Rewriting is a formalism widely used in computer science and mathematical logic. When using rewriting as a programming or modeling paradigm, the rewrite rules describe the transfo...
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etie...
books