We comparatively test *SAT (our latest system for testing the satisfiability of a formula in the modal logic K or in the description logic ALC) with other state-of-the-art systems on a set of randomly generated tests. The experimental analysis shows that on these tests *SAT performs better than or as well as the other systems

*SAT, KsatC, DLP and TA: a comparative analysis

Giunchiglia, Fausto;
1999-01-01

Abstract

We comparatively test *SAT (our latest system for testing the satisfiability of a formula in the modal logic K or in the description logic ALC) with other state-of-the-art systems on a set of randomly generated tests. The experimental analysis shows that on these tests *SAT performs better than or as well as the other systems
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11582/1767
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact