FaCT and DLP
Ian Horrocks and Peter F. Patel−Schneider
Details
| Annote |
AKA: Horrocks98e |
| Book Title |
Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98) |
| Editor |
Harrie de Swart |
| ISBN |
3−540−64406−7 |
| Key |
Proceedings of Tableaux'98 |
| Month |
MAY |
| Number |
1397 |
| Pages |
27–30 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Year |
1998 |