Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability (2010)

by D Bresolin, D Della Monica, V Goranko, A Montanari, G Sciavicco
Venue:In Proc. of the 19th European Conference on Artificial Intelligence (ECAI