Concepedia

Author

Aida Vitória

Linköping University

Also Known As

Aida Vitória, Vitória, Aida

19

Publications

129

Citations

7

H-Index

10

Concepts

All Affiliations

Linköping University
AV

About

Aida Vitória is an author at Linköping University specializing in logic programming, answer set programming, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

39

2

Computer Science

1

1

39

3

Data Science

1

1

39

4

Answer Set Programming

1

1

39

5

Automated Reasoning

1

1

39

Aida Vitória

×

1

Publications

39

Citations

1

H-Index

YearCitations

Page 1