Alexandre Pinto
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 |
|---|---|---|
| Layerings of logic programs -- layer decomposable semantics and incremental model computation Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
| Modularization of logic programs Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems | 2023-08-17 | Paper |
| Inspecting and preferring abductive models The Handbook on Reasoning-Based Intelligent Systems | 2016-11-09 | Paper |
| Low-depth witnesses are easy to find Computational Complexity | 2012-08-24 | Paper |
| Tight semantics for logic programs | 2012-05-11 | Paper |
| Inspecting side-effects of abduction in logic programs Lecture Notes in Computer Science | 2011-05-19 | Paper |
| Layer Supported Models of Logic Programs Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
| Collaborative vs. Conflicting Learning, Evolution and Argumentation Oppositional Concepts in Computational Intelligence | 2009-01-07 | Paper |
| Approved Models for Normal Logic Programs Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Research outcomes over time
This page was built for person: Alexandre Pinto
