Concepción Vidal

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