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.

• Type: Journal
• Year: 2007
• Where: ENGL
• Authors: Fernando Uceda Ponga, Fernando Zacarias Flores, Dionicio Zacarias Flores
• Keywords: Automatic Demonstrator, ENGL 2007, Implementation, Pstable Model Semantics