The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Concepción Vidal" ( http://dblp.L3S.de/Authors/Concepción_Vidal )

  Author page on DBLP  Author page in RDF  Community of Concepción Vidal in ASPL-2

Publication years (Num. hits)
1999-2015 (16) 2016-2019 (7)
Publication types (Num. hits)
article(15) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 8 occurrences of 7 keywords

Results
Found 24 publication records. Showing 23 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Forgetting auxiliary atoms in forks. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Revisiting Explicit Negation in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal Equilibrium Logic with past operators. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martín Diéguez Temporal logic programs with variables. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal Verification for ASP denotational semantics: A case study using the PVS theorem prover. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez, Concepción Vidal Forgetting Auxiliary Atoms in Forks. Search on Bibsonomy ASPOCP@LPNMR The full citation details ... 2017 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal Logic Programs with Variables. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal A Denotational Semantics for Equilibrium Logic. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, David Pearce 0001, Gilberto Pérez, Concepción Vidal A denotational semantics for equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pedro Cabalar, Martín Diéguez, Concepción Vidal An infinitary encoding of temporal equilibrium logic. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Temporal equilibrium logic: a survey. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Gilberto Pérez, Concepción Vidal Integrating Temporal Extensions of Answer Set Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez, Concepción Vidal Paving the Way for Temporal Grounding. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli Crossover operators for permutations equivalence between position and order-based crossover. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal Loop Formulas for Splitable Temporal Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Concepció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. Search on Bibsonomy J. Formalized Reasoning The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal Strongly Equivalent Temporal Logic Programs. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Concepción Vidal, Maria Teresa Iglesias, Alain Verschoren Deception, order and epistasis. Search on Bibsonomy GEM The full citation details ... 2008 DBLP  BibTeX  RDF
1Felicidad Aguado, José Luis Doncel, José María Molinelli, Gilberto Pérez, Concepción Vidal, A. Vieites Certified Genetic Algorithms: Crossover Operators for Permutations. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Calculus of Inductive Constructions, Genetic Algorithm, Specification, Theorem Proving, Crossover, Coq
1Maria Teresa Iglesias, Concepción Vidal, Alain Verschoren Computing Epistasis of Template Functions Through Walsh Transforms. Search on Bibsonomy Computers and Artificial Intelligence The full citation details ... 2005 DBLP  BibTeX  RDF
1Maria Teresa Iglesias, Bart Naudts, Alain Verschoren, Concepción Vidal Walsh transforms, balanced sum theorems and partition coefficients over multary alphabets. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF multary alphabet, partition coefficient, schema average, walsh coefficient, genetic algorithm, walsh function, schema theory
1Maria Teresa Iglesias, Concepción Vidal, Dominique Suys, Alain Verschoren Epistasis and Unitation. Search on Bibsonomy Computers and Artificial Intelligence The full citation details ... 1999 DBLP  BibTeX  RDF
1Maria Teresa Iglesias, Concepción Vidal, Alain Verschoren Computing epistasis through Walsh transforms. Search on Bibsonomy ACM SIGSAM Bulletin The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #23 of 23 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license