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