Concepción Vidal

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 17

Top Topics

Answer Set Programming

Top Venues

Theory Pract. Log. Program.

J. Appl. Non Class. Logics

Publications

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP forgetting with forks. Artif. Intell. 326 (2024)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Linear-Time Temporal Answer Set Programming. Theory Pract. Log. Program. 23 (1) (2023)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
A polynomial reduction of forks into logic programs. Artif. Intell. 308 (2022)
Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs. Algorithms 15 (6) (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Syntactic ASP Forgetting with Forks. LPNMR (2022)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal
Explicit Negation in Linear-Dynamic Equilibrium Logic. ECAI (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks (Extended Abstract). IJCAI (2020)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal
Temporal Answer Set Programming. CoRR (2020)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. CoRR (2019)
Pedro Cabalar, Manuel Rey, Concepción Vidal
A Complete Planner for Temporal Answer Set Programming. EPIA (2) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Revisiting Explicit Negation in Answer Set Programming. Theory Pract. Log. Program. 19 (5-6) (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting auxiliary atoms in forks. Artif. Intell. 275 (2019)
Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal
Forgetting Auxiliary Atoms in Forks. ASPOCP@LPNMR (2017)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez
Temporal logic programs with variables. Theory Pract. Log. Program. 17 (2) (2017)
Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Verification for ASP denotational semantics: A case study using the PVS theorem prover. Log. J. IGPL 25 (2) (2017)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Equilibrium Logic with past operators. J. Appl. Non Class. Logics 27 (3-4) (2017)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal Logic Programs with Variables. CoRR (2016)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A Denotational Semantics for Equilibrium Logic. CoRR (2015)
Pedro Cabalar, Martín Diéguez, Concepción Vidal
An infinitary encoding of temporal equilibrium logic. Theory Pract. Log. Program. 15 (4-5) (2015)
Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal
A denotational semantics for equilibrium logic. Theory Pract. Log. Program. 15 (4-5) (2015)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Temporal equilibrium logic: a survey. J. Appl. Non Class. Logics 23 (1-2) (2013)
Felicidad Aguado, Gilberto Pérez, Concepción Vidal
Integrating Temporal Extensions of Answer Set Programming. LPNMR (2013)
Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal
Paving the Way for Temporal Grounding. ICLP (Technical Communications) (2012)
Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli
Crossover operators for permutations equivalence between position and order-based crossover. Log. J. IGPL 19 (2) (2011)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Loop Formulas for Splitable Temporal Logic Programs. LPNMR (2011)
Concepción Vidal, Maria Teresa Iglesias, Alain Verschoren
Deception, order and epistasis. GEM (2008)
Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez
Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator. J. Formaliz. Reason. 1 (1) (2008)
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
Strongly Equivalent Temporal Logic Programs. JELIA (2008)
Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, A. Vieites
Certified Genetic Algorithms: Crossover Operators for Permutations. EUROCAST (2007)
Maria Teresa Iglesias, Concepción Vidal, Alain Verschoren
Computing Epistasis of Template Functions Through Walsh Transforms. Comput. Artif. Intell. 24 (3) (2005)
Maria Teresa Iglesias, Bart Naudts, Alain Verschoren, Concepción Vidal
Walsh transforms, balanced sum theorems and partition coefficients over multary alphabets. GECCO (2005)
Maria Teresa Iglesias, Concepción Vidal, Dominique Suys, Alain Verschoren
Epistasis and Unitation. Comput. Artif. Intell. 18 (5) (1999)
Maria Teresa Iglesias, Concepción Vidal, Alain Verschoren
Computing epistasis through Walsh transforms. SIGSAM Bull. 33 (3) (1999)