Vol. 69, No. 1, Analytic Tableaux and Related Methods. Part 1: Modal Logics (Oct., 2001), pp. 5-40 (36 pages) Description logics are a family of knowledge representation formalisms that are descended ...

In recent years, predictive technologies for volcanic eruptions have advanced significantly, particularly with the implementation of neural networks. These advanced algorithms are capable of ...