scientific article; zbMATH DE number 1926632

zbMath1012.68516MaRDI QIDQ4707759

Sergio Greco, Domenico Saccà

Publication date: 11 June 2003

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

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

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (1)

The consequences of eliminating NP solutions

Uses Software

• Datalog

This page was built for publication: