scientific article

zbMath1224.68158MaRDI QIDQ3069418

Milenko Mosurović, Tatjana Stojanović, Ana Kaplarević-Mališić

Publication date: 25 January 2011

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

zbMATH Keywords

complexitytemporal logicdescription logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Temporal logic (03B44)

Related Items (1)

A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case

This page was built for publication: