scientific article; zbMATH DE number 1931698

zbMath1014.68886MaRDI QIDQ4708959

Michael Gelfond

Publication date: 20 June 2003

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99) Logic programming (68N17)

Uses Software

• Smodels

This page was built for publication: