Подписаться
Pedro Cabalar
Pedro Cabalar
Подтвержден адрес электронной почты в домене udc.es - Главная страница
Название
Процитировано
Процитировано
Год
M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines
M Elbadawi, BM Castro, FKH Gavins, JJ Ong, S Gaisford, G Pérez, ...
International Journal of Pharmaceutics 590, 119837, 2020
1782020
Machine learning predicts 3D printing performance of over 900 drug delivery systems
BM Castro, M Elbadawi, JJ Ong, T Pollard, Z Song, S Gaisford, G Pérez, ...
Journal of Controlled Release 337, 530-545, 2021
1252021
Propositional theories are strongly equivalent to logic programs
P Cabalar, P Ferraris
Theory and Practice of Logic Programming 7 (6), 745-759, 2007
1002007
Accelerating 3D printing of pharmaceutical products using machine learning
JJ Ong, BM Castro, S Gaisford, P Cabalar, AW Basit, G Pérez, A Goyanes
International Journal of Pharmaceutics: X 4, 100120, 2022
662022
Temporal equilibrium logic: a survey
F Aguado, P Cabalar, M Diéguez, G Pérez, C Vidal
Journal of Applied Non-Classical Logics 23 (1-2), 2-24, 2013
582013
Temporal answer set programming on finite traces
P Cabalar, R Kaminski, T Schaub, A Schuhmann
Theory and Practice of Logic Programming 18 (3-4), 406-420, 2018
502018
Temporal equilibrium logic: a first approach
P Cabalar, G Pérez Vega
International Conference on Computer Aided Systems Theory, 241-248, 2007
502007
Minimal logic programs
P Cabalar, D Pearce, A Valverde
Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007
492007
telingo = ASP + Time
P Cabalar, R Kaminski, P Morkisch, T Schaub
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019
442019
Logical Foundations of Well-Founded Semantics.
P Cabalar, SP Odintsov, D Pearce
KR 6, 25-35, 2006
442006
Reducing propositional theories in equilibrium logic to logic programs
P Cabalar, D Pearce, A Valverde
Portuguese Conference on Artificial Intelligence, 4-17, 2005
442005
Functional answer set programming
P Cabalar
Theory and Practice of Logic Programming 11 (2-3), 203-233, 2011
422011
Causal graph justifications of logic programs
P Cabalar, J Fandinno, M Fink
Theory and Practice of Logic Programming 14 (4-5), 603-618, 2014
412014
Formalising the Fisherman's Folly puzzle
P Cabalar, PE Santos
Artificial Intelligence 175 (1), 346-377, 2011
392011
A system for explainable answer set programming
P Cabalar, J Fandinno, B Muñiz
arXiv preprint arXiv:2009.10242, 2020
362020
STeLP – A Tool for Temporal Answer Set Programming
P Cabalar, M Diéguez
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
362011
Linear-time temporal answer set programming
F Aguado, P Cabalar, M Diéguez, G Pérez, T Schaub, A Schuhmann, ...
Theory and Practice of Logic Programming 23 (1), 2-56, 2023
292023
Splitting epistemic logic programs
P Cabalar, J Fandinno, LF Del Cerro
Theory and Practice of Logic Programming 21 (3), 296-316, 2021
292021
An ASP Semantics for Default Reasoning with Constraints.
P Cabalar, R Kaminski, M Ostrowski, T Schaub
IJCAI, 1015-1021, 2016
272016
Predicting pharmaceutical inkjet printing outcomes using machine learning
P Carou-Senra, JJ Ong, BM Castro, I Seoane-Viano, L Rodríguez-Pombo, ...
International Journal of Pharmaceutics: X 5, 100181, 2023
262023
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20