Sequent
相关论文数: 5
顶级研究者
最高引用论文
Reasoning with multiple-source information in a possibilistic logic framework
Salem Benferhat, Claudio Sossai
引用数: 32 • 2005
Work Flow, Material Handling and Initial Part Positioning in a Multi-Robot Sewing Cell
Johannes Schrimpf, Morten Lind, Geir Mathisen
引用数: 12 • 2015
Sequent calculus and data fusion
Claudio Sossai, P. Bison, Gaetano Chemello
引用数: 8 • 2001
A possibilistic approach to sensor fusion in mobile robotics
P. Bison, Gaetano Chemello, Claudio Sossai, G. Trainito
引用数: 7 • 2002
Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators
Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut
引用数: 6 • 2013