Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Year | Title | BibTeX cite key | |||||
---|---|---|---|---|---|---|---|
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
2004 | A Resolution Decision Procedure for the Guarded Fragment with Transitive Guards In: Automated reasoning : Second International Joint Conference, IJCAR 2004, 122-136 | KazNiv04ResGFTG | |||||
2003 | Subsumption of Concepts in $FL_0$ for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete In: 2003 International Workshop on Description Logics (DL-03), 56-64 | Kazakov03SubsumptionFLzero | |||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
| |||||||
|