scientific article; zbMATH DE number 1948991

zbMath1015.68547MaRDI QIDQ4412237

Franz Baader, Anni-Yasmin Turhan

Publication date: 14 July 2003

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

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Completion-based generalization inferences for the description logic \(\mathcal{ELOR}\) with subjective probabilities ⋮ Structural subsumption and least common subsumers in a description logic with existential and number restrictions

Uses Software

• Graphplan

This page was built for publication: