Ana Cruz

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 4

Top Topics

Industrial Environment

Practical Reasoning

Transition Systems

Top Venues

Publications

Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
Paraconsistent Transition Systems. CoRR (2023)
Diogo Francisco, Ana Cruz, Nuno Rodrigues, Alexandrino Gonçalves, Roberto Ribeiro
Augmented Reality and Digital Twin for Mineral Industry. ICGI (2023)
Ana Cruz, Alexandre Madeira, Luís Soares Barbosa
A Logic for Paraconsistent Transition Systems. NCL (2022)
Ana Cruz, Diogo Matos, José Lima, Paulo Costa, Pedro Costa
Multi AGV Industrial Supervisory System. OL2A (2021)