![Mathematical logic / Non-classical logic / Semantic Web / Reasoning / Knowledge representation / Stable model semantics / Description logic / Modal logic / Negation as failure / Logic / Logic programming / Science Mathematical logic / Non-classical logic / Semantic Web / Reasoning / Knowledge representation / Stable model semantics / Description logic / Modal logic / Negation as failure / Logic / Logic programming / Science](https://www.pdfsearch.io/img/9ca08f0fd6c5d454d94f3955d1b94ae8.jpg) Date: 2005-12-22 16:05:26Mathematical logic Non-classical logic Semantic Web Reasoning Knowledge representation Stable model semantics Description logic Modal logic Negation as failure Logic Logic programming Science | | Nonmonotonic Description Logic Programs: Implementation and Experiments ? Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, and Hans Tompits Institut f¨ur Informationssysteme, Technische Universit¨at Wien FavoriteAdd to Reading ListSource URL: www.kr.tuwien.ac.atDownload Document from Source Website File Size: 369,32 KBShare Document on Facebook
|