no code implementations • 14 Aug 2019 • Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani
Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions.
no code implementations • 28 Jan 2019 • Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
Meteorological forecasting provides reliable prediction about the future weather within a given interval of time.