A Normative Supervisor for Reinforcement Learning Agents | | | | 2021 |
Optimum stable model search: algorithms and implementation | Journal of Logic and Computation |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Science: Mathematics
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
| 9 | 2020 |
Obligation as Optimal Goal Satisfaction | Journal of Philosophical Logic |
- Philosophy. Psychology. Religion: Philosophy (General)
| 1 | 2018 |
Grounding and Solving in Answer Set Programming | AI Magazine |
- Science: Mathematics: Instruments and machines: Electronic computers. Computer science
- Technology: Mechanical engineering and machinery
- Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
- Technology: Engineering (General). Civil engineering (General)
| 25 | 2016 |
Computing Strong and Weak Permissions in Defeasible Logic | Journal of Philosophical Logic |
- Philosophy. Psychology. Religion: Philosophy (General)
| 32 | 2013 |