A Proof Theory for Preferential Default Description Logics

From Tetherless World Wiki

Jump to: navigation, search

\begin{bibtex} @techreport{DBLP:tr/tu-berlin.de/Suska94, author = {Sven Suska}, title = {A Proof Theory for Preferential Default Description Logics}, year = {1994}, source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Atubfb13%3ATUB-FB13%2F%2FTUB-FB13-KIT-117}, publisher = {Technische Universitaet Berlin}, address = {Berlin, Germany, Germany}, } \end{bibtex}

Retrieved from "http://tw.rpi.edu/wiki/A_Proof_Theory_for_Preferential_Default_Description_Logics"
Personal tools