scientific article; zbMATH DE number 1424042

zbMath0944.03024MaRDI QIDQ4945232

Stephan Tobies

Publication date: 23 March 2000

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

zbMATH Keywords

complexitydescription logicexpressive powerexpressivitytwo-variable fragment of predicate logic with counting quantifiers

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic in computer science (03B70) Complexity of computation (including implicit computational complexity) (03D15) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A description logic based situation calculus ⋮ Actions over core-closed knowledge bases

This page was built for publication: