Javier Romero
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A general framework for preferences in answer set programming Artificial Intelligence | 2023-12-14 | Paper |
| Answer set programming made easy Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
| Planning with Incomplete Information in Quantified Answer Set Programming Theory and Practice of Logic Programming | 2022-01-10 | Paper |
| plasp 3: towards effective ASP planning Theory and Practice of Logic Programming | 2021-09-03 | Paper |
| \texttt{eclingo}: a solver for epistemic logic programs Theory and Practice of Logic Programming | 2020-12-13 | Paper |
| Learning multi-human optical flow International Journal of Computer Vision | 2020-08-20 | Paper |
| Computing Diverse Optimal Stable Models | 2019-10-24 | Paper |
| Computing diverse Boolean networks from phosphoproteomic time series data | 2018-10-17 | Paper |
| Generalized Inverse-Approach Model for Spectral-Signal Recovery IEEE Transactions on Image Processing | 2017-10-27 | Paper |
| plasp 3: towards effective ASP planning (available as arXiv preprint) | 2017-09-05 | Paper |
| Implementing preferences with asprin Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
| Progress in clasp series 3 Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
| Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Research outcomes over time
This page was built for person: Javier Romero
