| 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 | 114 | 2020 |
| Propositional theories are strongly equivalent to logic programs P Cabalar, P Ferraris Theory and Practice of Logic Programming 7 (6), 745-759, 2007 | 93 | 2007 |
| 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 | 53 | 2021 |
| 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 | 48 | 2013 |
| Temporal equilibrium logic: a first approach P Cabalar, G Pérez Vega Computer Aided Systems Theory–EUROCAST 2007: 11th International Conference …, 2007 | 47 | 2007 |
| Minimal logic programs P Cabalar, D Pearce, A Valverde Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal …, 2007 | 46 | 2007 |
| Reducing propositional theories in equilibrium logic to logic programs P Cabalar, D Pearce, A Valverde Progress in Artificial Intelligence: 12th Portuguese Conference on …, 2005 | 42 | 2005 |
| Logical Foundations of Well-Founded Semantics. P Cabalar, SP Odintsov, D Pearce KR 6, 25-35, 2006 | 41 | 2006 |
| Functional answer set programming P Cabalar Theory and Practice of Logic Programming 11 (2-3), 203-233, 2011 | 39 | 2011 |
| Formalising the Fisherman's Folly puzzle P Cabalar, PE Santos Artificial Intelligence 175 (1), 346-377, 2011 | 39 | 2011 |
| 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 | 38 | 2018 |
| STeLP–a tool for temporal answer set programming P Cabalar, M Diéguez Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011 | 32 | 2011 |
| telingo = ASP + Time P Cabalar, R Kaminski, P Morkisch, T Schaub Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019 | 31 | 2019 |
| Causal graph justifications of logic programs P Cabalar, J Fandinno, M Fink Theory and Practice of Logic Programming 14 (4-5), 603-618, 2014 | 31 | 2014 |
| Strongly equivalent temporal logic programs F Aguado, P Cabalar, G Pérez, C Vidal Logics in Artificial Intelligence: 11th European Conference, JELIA 2008 …, 2008 | 25 | 2008 |
| Machine learning predicts 3D printing performance of over 900 drug delivery systems B Muniz Castro, M Elbadawi, JJ Ong, T Pollard, Z Song, S Gaisford, ... Journal of Controlled Release 337, 530-545, 2021 | 24 | 2021 |
| Strong equivalence of non-monotonic temporal theories P Cabalar, M Diéguez Fourteenth International Conference on the Principles of Knowledge …, 2014 | 24 | 2014 |
| Forgetting auxiliary atoms in forks F Aguado, P Cabalar, J Fandinno, D Pearce, G Pérez, C Vidal Artificial Intelligence 275, 575-601, 2019 | 22 | 2019 |
| Splitting epistemic logic programs P Cabalar, J Fandinno, LF Del Cerro Theory and Practice of Logic Programming 21 (3), 296-316, 2021 | 21 | 2021 |
| Automata-based computation of temporal equilibrium models P Cabalar, S Demri Logic-Based Program Synthesis and Transformation: 21st International …, 2012 | 21 | 2012 |
Jorge FandinnoUniversity of Nebraska at OmahaVerified email at unomaha.edu
