Concepción Vidal

Available identifiers

zbMath Open vidal.concepcionMaRDI QIDQ2851227

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4999252	2021-07-06	Paper
Verification for ASP denotational semantics: a case study using the PVS theorem prover	2019-01-08	Paper
Temporal Equilibrium Logic with past operators	2018-09-12	Paper
Temporal equilibrium logic: a survey	2018-08-28	Paper
Temporal logic programs with variables	2017-11-09	Paper
An infinitary encoding of temporal equilibrium logic	2017-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5398067	2014-02-25	Paper
Integrating Temporal Extensions of Answer Set Programming	2013-10-10	Paper
Loop Formulas for Splitable Temporal Logic Programs	2011-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q3497623	2009-07-27	Paper
Strongly Equivalent Temporal Logic Programs	2008-10-27	Paper

Research outcomes over time

This page was built for person: Concepción Vidal