Pedro Cabalar

ScholarGPS® ID: 75237688920460

Affiliation

University of A Coruña, A Coruña, Spain

Affiliation History

Field

Engineering and Computer Science

Discipline

Computer Science

Top Specialties

Metrics Summary

Publication Count

101

Predicted Citations

1,207

Predicted h-index

Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

Publications
Books
Patents
NIH/NSF

Add Delete
Model Explanation via Support Graphs (journal article) Cabalar, Pedro \| MUÑIZ, Brais Theory and Practice of Logic Programming (2024). 10.1017/S1471068424000048 Cited by (1) \| Cite \| Source
Syntactic ASP forgetting with forks (journal article) Aguado, Felicidad \| Cabalar, Pedro \| Fandinno, Jorge \| Pearce, David \| Pérez, Gilberto \| Vidal, Concepción Artificial Intelligence, volume 326 (2024). 10.1016/j.artint.2023.104033 Cite \| Source
Predicting pharmaceutical inkjet printing outcomes using machine learning (journal article) Carou-Senra, Paola \| Ong, Jun Jie \| Castro, Brais Muñiz \| Seoane-Viaño, Iria \| Rodríguez-Pombo, Lucía \| Cabalar, Pedro \| Alvarez-Lorenzo, Carmen \| Basit, Abdul W. \| Pérez, Gilberto \| Goyanes, Alvaro International Journal of Pharmaceutics: X, volume 5 (2023). 10.1016/j.ijpx.2023.100181 Cited by (18) \| Cite \| Source
Metric dynamic equilibrium logic (journal article) Becker, Arvid \| Cabalar, Pedro \| Diéguez, Martín \| Farinas del Cerro, Luis \| Schaub, Torsten \| Schuhmann, Anna Journal of Applied Non-Classical Logics, volume 33, issue 3-4, pages 495-519 (2023). 10.1080/11663081.2023.2244365 Cite \| Source
On the Semantics of Hybrid ASP Systems Based on Clingo (journal article) Cabalar, Pedro \| Fandinno, Jorge \| Schaub, Torsten \| Wanko, Philipp Algorithms, volume 16, issue 4, pages 185- (2023). 10.3390/a16040185 Cited by (1) \| Cite \| Source
Deontic Equilibrium Logic with eXplicit Negation (book chapter) In Logics in Artificial Intelligence Cabalar, Pedro \| Ciabattoni, Agata \| van der Torre, Leendert Springer Nature Switzerland (2023) 10.1007/978-3-031-43619-2_34 Cited by (2) \| Cite \| Source
Linear-Time Temporal Answer Set Programming (journal article) Aguado, Felicidad \| Cabalar, Pedro \| DIÉGUEZ, MARTÍN \| PÉREZ, Gilberto \| Schaub, Torsten \| Schuhmann, Anna \| Vidal, CONCEPCIÓN Theory and Practice of Logic Programming, volume 23, issue 1, pages 2-56 (2023). 10.1017/S1471068421000557 Cited by (8) \| Cite \| Source
Logic, Accountability and Design: Extended Abstract (book chapter) In Logics in Artificial Intelligence Cabalar, Pedro \| Pearce, David Springer Nature Switzerland (2023) 10.1007/978-3-031-43619-2_5 Cite \| Source
Probabilistic Autoepistemic Equilibrium Logic (book chapter) In Advances in Applied Logics Cabalar, Pedro \| Fandinno, Jorge \| Fariñas del Cerro, Luis Springer Nature Switzerland (2023) 10.1007/978-3-031-35759-6_6 Cite \| Source
Past-Present Temporal Programs over Finite Traces (book chapter) In Logics in Artificial Intelligence Cabalar, Pedro \| Diéguez, Martín \| Laferrière, François \| Schaub, Torsten Springer Nature Switzerland (2023) 10.1007/978-3-031-43619-2_53 Cite \| Source
Accelerating 3D printing of pharmaceutical products using machine learning (journal article) Ong, Jun Jie \| Castro, Brais Muñiz \| Gaisford, Simon \| Cabalar, Pedro \| Basit, Abdul W. \| Pérez, Gilberto \| Goyanes, Alvaro International Journal of Pharmaceutics: X, volume 4 (2022). 10.1016/j.ijpx.2022.100120 Cited by (46) \| Cite \| Source
A polynomial reduction of forks into logic programs (journal article) Aguado, Felicidad \| Cabalar, Pedro \| Fandinno, Jorge \| Pearce, David \| Pérez, Gilberto \| Vidal, Concepción Artificial Intelligence, volume 308 (2022). 10.1016/j.artint.2022.103712 Cited by (1) \| Cite \| Source
Heuristics, Answer Set Programming and Markov Decision Process for Solving a Set of Spatial Puzzles* (journal article) dos Santos, Thiago Freitas \| Santos, Paulo E. \| Ferreira, Leonardo Anjoletto \| Bianchi, Reinaldo A. C. \| Cabalar, Pedro Applied Intelligence, volume 52, issue 4, pages 4488-4510 (2022). 10.1007/s10489-021-02423-1 Cite \| Source
Metric Temporal Answer Set Programming over Timed Traces (book chapter) In Logic Programming and Nonmonotonic Reasoning Cabalar, Pedro \| Diéguez, Martín \| Schaub, Torsten \| Schuhmann, Anna Springer International Publishing (2022) 10.1007/978-3-031-15707-3_10 Cited by (1) \| Cite \| Source
Syntactic ASP Forgetting with Forks (book chapter) In Logic Programming and Nonmonotonic Reasoning Aguado, Felicidad \| Cabalar, Pedro \| Fandinno, Jorge \| Pearce, David \| Pérez, Gilberto \| Vidal, Concepción Springer International Publishing (2022) 10.1007/978-3-031-15707-3_1 Cited by (2) \| Cite \| Source
A MaxSAT Solver Based on Differential Evolution (Preliminary Report) (book chapter) In Progress in Artificial Intelligence Framil, Manuel \| Cabalar, Pedro \| Santos, José Springer International Publishing (2022) 10.1007/978-3-031-16474-3_55 Cite \| Source
Temporal ASP: From Logical Foundations to Practical Use with telingo (book chapter) In Reasoning Web. Declarative Artificial Intelligence Cabalar, Pedro Springer International Publishing (2022) 10.1007/978-3-030-95481-9_5 Cite \| Source
Proceedings 37th International Conference on Logic Programming (Technical Communications) (journal article) Cabalar, Pedro \| Fandinno, Jorge \| Schaub, Torsten \| Wanko, Philipp Electronic Proceedings in Theoretical Computer Science, volume 345 (2021). 10.4204/EPTCS.345.15 Cite \| Source
Proceedings 37th International Conference on Logic Programming (Technical Communications) (journal article) Aguado, Felicidad \| Cabalar, Pedro \| Fandinno, Jorge \| Pérez, Gilberto \| Vidal, Concepción Electronic Proceedings in Theoretical Computer Science, volume 345 (2021). 10.4204/EPTCS.345.11 Cited by (1) \| Cite \| Source
Machine learning predicts 3D printing performance of over 900 drug delivery systems (journal article) Muñiz Castro, Brais \| Elbadawi, Moe \| Ong, Jun Jie \| Pollard, Thomas \| Song, Zhe \| Gaisford, Simon \| Pérez, Gilberto \| Basit, Abdul W. \| Cabalar, Pedro \| Goyanes, Alvaro Journal of Controlled Release, volume 337 (2021). 10.1016/j.jconrel.2021.07.046 Cited by (104) \| Cite \| Source