Felicidad Aguado

From MaRDI portal
Person:2851225

Available identifiers

zbMath Open aguado.felicidadMaRDI QIDQ2851225

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50205662022-01-06Paper
https://portal.mardi4nfdi.de/entity/Q49992522021-07-06Paper
Verification for ASP denotational semantics: a case study using the PVS theorem prover2019-01-08Paper
Temporal Equilibrium Logic with past operators2018-09-12Paper
Temporal equilibrium logic: a survey2018-08-28Paper
Temporal logic programs with variables2017-11-09Paper
https://portal.mardi4nfdi.de/entity/Q53980672014-02-25Paper
Integrating Temporal Extensions of Answer Set Programming2013-10-10Paper
Loop Formulas for Splitable Temporal Logic Programs2011-05-26Paper
https://portal.mardi4nfdi.de/entity/Q34976232009-07-27Paper
Strongly Equivalent Temporal Logic Programs2008-10-27Paper

Research outcomes over time

This page was built for person: Felicidad Aguado

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2851225&oldid=7846163"
Powered by MediaWiki