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
Publications
8 items
Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report
2026
Cited
0
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
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
7 total
Jorge Fandinno
University of Nebraska at Omaha
Torsten Schaub
University of Potsdam
Paulo Santos
PrioriAnalytica
Tran Cao Son
Professor of Computer Science, New Mexico State University
Stéphane Demri
CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)
Panos Rondogiannis
Professor, Department of Informatics and Telecommunications, National and Kapodistrian University
Andreas Herzig
CNRS Research Director, IRIT (CNRS, Univ. Toulouse)