Balbiani, Philippe

3 publications

IJCAI 2019 Stratified Evidence Logics Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Emiliano Lorini

IJCAI 1999 A New Tractable Subclass of the Rectangle Algebra Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro

IJCAI 1997 Prefixed Tableaux Systems for Modal Logics with Enriched Languages Philippe Balbiani, Stéphane Demri