The FaCT System
Ian Horrocks
Details
| Annote |
AKA: Horrocks98d |
| Book Title |
Proc. of the 2nd Int. Conf. on Analytic Tableaux and Related Methods (TABLEAUX'98) |
| Editor |
Harrie de Swart |
| Pages |
307–312 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Volume |
1397 |
| Year |
1998 |