Intermediate logic

Top Researchers

Malik Ghallab

Institution: —

B. Degallaix

Institution: —

Antonio Morales

Institution: —

Isabel Navarrete

Institution: —

Guido Sciavicco

Institution: —

Yunliang Jiang

Institution: —

Maonian Wu

Institution: —

Shaojun Zhu

Institution: —

J.Ph. Thibault

Institution: —

S. A. Kudzh

Institution: —

A new modal logic for reasoning about space: spatial propositional neighborhood logic

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Citations: 13 • 2007

The Local Definability of Robotic Large-Scale Knowledge Based on Splitting

Maonian Wu, Yunliang Jiang, Shaojun Zhu

Citations: 3 • 2016

Propositional Logic Applied To Execution Control

B. Degallaix, J.Ph. Thibault, Malik Ghallab

Citations: 3 • 2005

SPATIAL LOGIC CONCEPTS

S. A. Kudzh, Victor Ya. Tsvetkov

Citations: 2 • 2020