Two AGM-style characterizations of model repair | 0 | 0.34 | 2019 |
Time Series Forecasting to Support Irrigation Management. | 0 | 0.34 | 2019 |
Time Series Forecasting for Purposes of Irrigation Management Process. | 0 | 0.34 | 2018 |
Toward the Revision of CTL Models through Kripke Modal Transition Systems. | 1 | 0.39 | 2013 |
Belief revision on computation tree logic | 1 | 0.37 | 2011 |