Pedro Cabalar
Papers
1
Total Citations
7
H-Index
1
About
Pedro Cabalar is a leading figure in knowledge representation and non-monotonic reasoning, with a particular focus on answer set programming (ASP) and its applications. His major contributions include foundational work on the semantics of logic programs, particularly in defining and extending the concept of stable models, and in integrating temporal reasoning into ASP through the development of Temporal Equilibrium Logic. Cabalar has also made significant strides in applying these formalisms to practical domains, such as planning and diagnosis. His work is highly influential, with several papers garnering hundreds of citations, reflecting his role in shaping modern ASP theory and practice. Notably, he co-authored the widely used ASP solver *Clingo*, a cornerstone tool in the field. Beyond his technical contributions, Cabalar has demonstrated a unique interdisciplinary curiosity, as seen in his 2019 review "The knowledge of knots: an interdisciplinary literature review," which explores the topological and practical significance of knots across fields from DNA to mountaineering. This breadth of insight, combined with his rigorous formal contributions, makes him a distinctive and impactful voice in computational logic.
Research Focus
Key Achievements
Top Papers
- 1The knowledge of knots: an interdisciplinary literature review7 citations · 2019