BDBComp
Parceria:
SBC
Classes of Sets Give Answers to Answer Set Semantics and Program Evolution

Sheila R. M. Veloso

In this work we present a semantical framework which provides necessary and sufficient conditions for the existence of answer sets of a program for a class of general logic programs as well as to determine all the answer sets of a program, in the case they exist. We illustrate the use of this framework in stepwise evolution of logic programs from a basic specification under different design criterions. Clique no link abaixo para buscar o texto completo deste trabalho na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD