Concepcin Vidal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2005–2022
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | LPNMR | Syntactic ASP Forgetting with Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2020 | ECAI | Explicit Negation in Linear-Dynamic Equilibrium Logic. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Prez, Concepcin Vidal |
| 2020 | IJCAI | Forgetting Auxiliary Atoms in Forks (Extended Abstract). | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2019 | EPIA | A Complete Planner for Temporal Answer Set Programming. | Pedro Cabalar, Manuel Rey, Concepcin Vidal |
| 2017 | LPNMR | Forgetting Auxiliary Atoms in Forks. | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Prez, Concepcin Vidal |
| 2013 | LPNMR | Integrating Temporal Extensions of Answer Set Programming. | Felicidad Aguado, Gilberto Prez, Concepcin Vidal |
| 2012 | ICLP | Paving the Way for Temporal Grounding. | Felicidad Aguado, Pedro Cabalar, Martn Diguez, Gilberto Prez, Concepcin Vidal |
| 2011 | LPNMR | Loop Formulas for Splitable Temporal Logic Programs. | Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal |
| 2008 | JELIA | Strongly Equivalent Temporal Logic Programs. | Felicidad Aguado, Pedro Cabalar, Gilberto Prez, Concepcin Vidal |
| 2005 | GECCO | Walsh transforms, balanced sum theorems and partition coefficients over multary alphabets. | Maria Teresa Iglesias, Bart Naudts, Alain Verschoren, Concepcin Vidal |