Alexandre Pinto
From MaRDI portal
Person:2829936
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
