Fernando Uceda Ponga

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
present an implementation of pstable model semantics. Our implementation uses the well known tools: MiniSat and Lparse. Also we show the utility of an automatic demonstrator implemented with these tools for applications where the logic has consistence problems. I. INTRODUCTION The stable model semantics for logic programming support it self within the(More)
  • 1