A logic of sights
From MaRDI portal
Publication:3133164
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Recommendations
Cited in
(4)
This page was built for publication: A logic of sights
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133164)