|
|||||
|
|
An analysis of empirical testing for modal decision procedures |
|
| Authors: | Horrocks, I Patel-Schneider, PF Sebastiani, R |
| Affiliation: | A1 Department of Computer Science, University of Manchester, Manchester, UK E-mail: horrocks@cs.man.ac.uk A2 Bell Labs Research, Murray Hill, MNJ, USA E-mail: pfps@research.bell-labs.com A3 Università di Trento, Via Inama 5, I-38100, Trento, Italy E-mail: rseba@cs.unitn.it |
| Abstract: | |
| Keywords: | empirical testing modal decision procedures |
| 本文献已被 Oxford 等数据库收录！ | |