scientific article; zbMATH DE number 2090116

zbMath1073.68586MaRDI QIDQ4808808

José Ramón Enrique Arrazola Ramírez, J. A. Navarro, Mauricio Osorio

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2372/23720057.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (12)

Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version ⋮ An extension of the stable semantics via Lukasiewicz logic ⋮ Strong order equivalence ⋮ Equilibrium logic ⋮ Inductive equivalence in clausal logic and nonmonotonic logic programming ⋮ Unnamed Item ⋮ Partial equilibrium logic ⋮ A logical approach to A-Prolog ⋮ Equivalence for the \(G_3^\prime\)-stable models semantics ⋮ Safe beliefs for propositional theories ⋮ Omission-Based Abstraction for Answer Set Programs ⋮ Abstraction for non-ground answer set programs

This page was built for publication: