scientific article; zbMATH DE number 1405765

zbMath0938.03016MaRDI QIDQ4938748

Stephan Tobies, Franz Baader, Ralf Molitor

Publication date: 23 February 2000

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

zbMATH Keywords

validitydescription logicssubsumptionconceptual graphsdecidable fragments of first-order logic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15)

This page was built for publication: