Concepción Vidal

According to our database, Concepción Vidal authored at least 28 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Syntactic ASP forgetting with forks.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., January, 2024

2023

Linear-Time Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

Theory Pract. Log. Program., 2023

2022

Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs.

Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran

Algorithms, 2022

A polynomial reduction of forks into logic programs.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., 2022

2020

Temporal Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Torsten Schaub, Anna Schuhmann, Concepción Vidal

CoRR, 2020

Forgetting Auxiliary Atoms in Forks (Extended Abstract).

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Explicit Negation in Linear-Dynamic Equilibrium Logic.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez, Concepción Vidal

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Revisiting Explicit Negation in Answer Set Programming.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Theory Pract. Log. Program., 2019

Forgetting auxiliary atoms in forks.

Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez, Concepción Vidal

Artif. Intell., 2019

A Complete Planner for Temporal Answer Set Programming.

Pedro Cabalar, Manuel Rey, Concepción Vidal

Proceedings of the Progress in Artificial Intelligence, 2019

2017

Temporal logic programs with variables.

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez

Theory Pract. Log. Program., 2017

Temporal Equilibrium Logic with past operators.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

J. Appl. Non Class. Logics, 2017

Verification for ASP denotational semantics: A case study using the PVS theorem prover.

Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

Log. J. IGPL, 2017

2015

An infinitary encoding of temporal equilibrium logic.

Pedro Cabalar, Martín Diéguez, Concepción Vidal

Theory Pract. Log. Program., 2015

A denotational semantics for equilibrium logic.

Felicidad Aguado, Pedro Cabalar, David Pearce, Gilberto Pérez, Concepción Vidal

Theory Pract. Log. Program., 2015

2013

Temporal equilibrium logic: a survey.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

J. Appl. Non Class. Logics, 2013

Integrating Temporal Extensions of Answer Set Programming.

Felicidad Aguado, Gilberto Pérez, Concepción Vidal

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

2012

Paving the Way for Temporal Grounding.

Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Crossover operators for permutations equivalence between position and order-based crossover.

Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli

Log. J. IGPL, 2011

Loop Formulas for Splitable Temporal Logic Programs.

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2008

Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator.

Concepción Vidal, Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez

J. Formaliz. Reason., 2008

Strongly Equivalent Temporal Logic Programs.

Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Deception, order and epistasis.

Concepción Vidal, Maria Teresa Iglesias, Alain Verschoren

Proceedings of the 2008 International Conference on Genetic and Evolutionary Methods, 2008

2007

Certified Genetic Algorithms: Crossover Operators for Permutations.

Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, Ana María Vieites

Proceedings of the Computer Aided Systems Theory, 2007

2005

Computing Epistasis of Template Functions Through Walsh Transforms.

Maria Teresa Iglesias, Concepción Vidal, Alain Verschoren

Comput. Artif. Intell., 2005

Walsh transforms, balanced sum theorems and partition coefficients over multary alphabets.

Maria Teresa Iglesias, Bart Naudts, Alain Verschoren, Concepción Vidal

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

1999

Computing epistasis through Walsh transforms.

Maria Teresa Iglesias, Concepción Vidal, Alain Verschoren

SIGSAM Bull., 1999

Epistasis and Unitation.

Maria Teresa Iglesias, Concepción Vidal, Dominique Suys, Alain Verschoren

Comput. Artif. Intell., 1999