Modelling autonomic dataspaces using answer sets
Gabriela Montiel-Moreno, Genoveva Vargas-Solar
págs. 3-14
Efficient Computation of the Degree of Belief for a Subclass of Two Conjunctive Forms
Guillermo de Ita, Carlos Guillén
págs. 15-27
Functional first order definability of LRTP
J. Raymundo Marcial-Romero, J. A. Hernández
págs. 28-40
A Lower Bound for Answer Set Solver Computation
Stefania Costantini, Alessandro Provetti
págs. 41-52
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: