A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Muñiz, Brais, Pérez, Gilberto, Suárez, Francisco

Volltext

Syntactic ASP forgetting with forks von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

A polynomial reduction of forks into logic programs von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

Forgetting auxiliary atoms in forks von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

Linear-Time Temporal Answer Set Programming von AGUADO, FELICIDAD, CABALAR, PEDRO, DIÉGUEZ, MARTÍN, PÉREZ, GILBERTO, SCHAUB, TORSTEN, SCHUHMANN, ANNA, VIDAL, CONCEPCIÓN

Volltext

Proceedings 37th International Conference on Logic Programming (Technical Communications): A Logic Program Transformation for Strongly Persistent Forgetting (Extended Abstract) von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pérez, Gilberto, Vidal, Concepción

Volltext

Revisiting Explicit Negation in Answer Set Programming von AGUADO, FELICIDAD, CABALAR, PEDRO, FANDINNO, JORGE, PEARCE, DAVID, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN

Volltext

Genetic Algorithms in Coq: Generalization and Formalization of the crossover operator von Vidal, Concepción, Aguado, Felicidad, Doncel, José Luis, Molinelli, Jose María, Perez, Gilberto

Volltext

A denotational semantics for equilibrium logic von AGUADO, FELICIDAD, CABALAR, PEDRO, PEARCE, DAVID, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN

Volltext

Temporal logic programs with variables von AGUADO, FELICIDAD, CABALAR, PEDRO, PÉREZ, GILBERTO, VIDAL, CONCEPCIÓN, DIÉGUEZ, MARTÍN

Volltext

Syntactic ASP Forgetting with Forks von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

Crossover operators for permutations equivalence between position and order-based crossover von Vidal, C., Perez, G., Aguado, F., Molinelli, J. M.

Volltext

Integrating Temporal Extensions of Answer Set Programming von Aguado, Felicidad, Pérez, Gilberto, Vidal, Concepción

Volltext

Temporal Answer Set Programming von Aguado, Felicidad, Cabalar, Pedro, Dieguez, Martin, Perez, Gilberto, Schaub, Torsten, Schuhmann, Anna, Vidal, Concepcion

Volltext bestellen

A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Muñiz, Brais, Pérez, Gilberto, Suárez, Francisco

Volltext

Revisiting Explicit Negation in Answer Set Programming von Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Perez, Gilberto, Vidal, Concepcion

Volltext

Temporal Logic Programs with Variables von Aguado, Felicidad, Cabalar, Pedro, Diéguez, Martín, Pérez, Gilberto, Vidal, Concepción

Volltext bestellen

Temporal Answer Set Programming von Aguado, Felicidad, Cabalar, Pedro, Dieguez, Martin, Perez, Gilberto, Schaub, Torsten, Schuhmann, Anna, Vidal, Concepcion

Volltext

A Denotational Semantics for Equilibrium Logic von Aguado, Felicidad, Cabalar, Pedro, Pearce, David, Pérez, Gilberto, Vidal, Concepción

Volltext

Strongly Equivalent Temporal Logic Programs von Aguado, Felicidad, Cabalar, Pedro, Pérez, Gilberto, Vidal, Concepción

Volltext