Gilberto Pérez

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
scientific article; zbMATH DE number 7453121 (Why is no real title available?)	2022-01-06	Paper
scientific article; zbMATH DE number 7453121 (Why is no real title available?) (available as arXiv preprint)	2022-01-06	Paper
Explicit negation in linear-dynamic equilibrium logic	2021-07-06	Paper
Verification for ASP denotational semantics: a case study using the PVS theorem prover Logic Journal of the IGPL	2019-01-08	Paper
A usability case study of algorithmic differentiation tools on the ISSM ice sheet model Optimization Methods & Software	2018-10-09	Paper
Temporal equilibrium logic with past operators Journal of Applied Non-Classical Logics	2018-09-12	Paper
Temporal equilibrium logic: a survey Journal of Applied Non-Classical Logics	2018-08-28	Paper
Temporal logic programs with variables Theory and Practice of Logic Programming	2017-11-09	Paper
Paving the way for temporal grounding	2014-02-25	Paper
Integrating Temporal Extensions of Answer Set Programming Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
Loop formulas for splitable temporal logic programs Logic Programming and Nonmonotonic Reasoning	2011-05-26	Paper
scientific article; zbMATH DE number 5587008 (Why is no real title available?)	2009-07-27	Paper
Strongly Equivalent Temporal Logic Programs Logics in Artificial Intelligence	2008-10-27	Paper

Research outcomes over time

This page was built for person: Gilberto Pérez