Browse wiki
From korrekt.org
| Terminological Reasoning in SHIQ with OBDDs |
| Author1 | Sebastian Rudolph + |
|---|---|
| Author2 | Markus Krötzsch + |
| Author3 | Pascal Hitzler + |
| Booktitle | Proceedings of the 23rd AAAI Conference on Artficial Intelligence (AAAI-08) + |
| Date | 2008 + |
| Last update | 1 April 2008 + |
| Modification dateThis property is a special property in this wiki. | 1 April 2008 23:18:28 + |
| Publication type | Conference paper + |
| Published at | AAAI2008 + |
| Publisher | AAAI Press + |
| Title | Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams + |
| Topic | Description logics + |
| URL | http://www.aifb.uni-karlsruhe.de/WBS/sru/TR-rudolph-OBDD4SHIQ.pdf + |
| Categories | Publication |
| hide properties that link here |
| No properties link to this page. |
