scientific article

zbMath0979.68097MaRDI QIDQ2734931

Hector J. Levesque, Giuseppe De Giacomo

Publication date: 19 February 2002

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

zbMATH Keywords

closed-word reasoningclosed-world knowledge basesopen-word reasoning

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

A logical theory of localization

Uses Software

• GOLOG

This page was built for publication: