Scholar
Pedro Cabalar
Google Scholar ID: xNZ6lozncZIC
University of A Coruña
Knowledge Representation
Artificial Intelligence
Logic Programming
Computational Logic
Answer Set Programming
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,420
H-index
17
i10-index
37
Publications
20
Co-authors
11
list available
Contact
No contact links provided.
Publications
7 items
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
2026
Cited
0
FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
2026
Cited
0
Implementing Metric Temporal Answer Set Programming
2026
Cited
0
Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
2025
Cited
0
Towards Constraint Temporal Answer Set Programming
2025
Cited
0
Compiling Metric Temporal Answer Set Programming
2025
Cited
0
Strong Equivalence in Answer Set Programming with Constraints
2025
Cited
0
Resume (English only)
Research Experience
It mentions that there are 10 research groups and 4 research areas.
Background
The text provides a general introduction to the Department of Computer Science and Information Technologies at the University of A Coruña.
Miscellany
The department's professors teach in 11 faculties and multiple bachelor's and master's degree programs.
Co-authors
11 total
Jorge Fandinno
University of Nebraska at Omaha
Torsten Schaub
University of Potsdam
Co-author 3
Co-author 4
Paulo Santos
PrioriAnalytica
Co-author 6
Tran Cao Son
Professor of Computer Science, New Mexico State University
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up