Sciweavers

Share
ENGL
2007

Pstable Tool and Its Aplication

8 years 10 months ago
Pstable Tool and Its Aplication
—We 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.
Fernando Uceda Ponga, Fernando Zacarias Flores, Di
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where ENGL
Authors Fernando Uceda Ponga, Fernando Zacarias Flores, Dionicio Zacarias Flores
Comments (0)
books