Sequent
Related papers: 5
Top Researchers
Top Cited Papers
Reasoning with multiple-source information in a possibilistic logic framework
Salem Benferhat, Claudio Sossai
Citations: 32 • 2005
Work Flow, Material Handling and Initial Part Positioning in a Multi-Robot Sewing Cell
Johannes Schrimpf, Morten Lind, Geir Mathisen
Citations: 12 • 2015
Sequent calculus and data fusion
Claudio Sossai, P. Bison, Gaetano Chemello
Citations: 8 • 2001
A possibilistic approach to sensor fusion in mobile robotics
P. Bison, Gaetano Chemello, Claudio Sossai, G. Trainito
Citations: 7 • 2002
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut
Citations: 6 • 2013