Search for persons
X
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
5
The Universal Tangle for Spatial Reasoning:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
7
Fixed Point Logics on Hemimetric Spaces:
, In:
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
11
Fixed Point Logics and Definable Topological Properties:
, In:
?
Computational Intelligence and Mathematics for Tackling Complex Problems 4; Studies in Computational Intelligence ,
12