scientific article; zbMATH DE number 1765661

From MaRDI portal

Revision as of 10:02, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4539597

Jump to:navigation, search

zbMath0988.68175MaRDI QIDQ4539597

Carsten Lutz

Publication date: 10 July 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830045

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

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (5)

Using model theory to find decidable and tractable description logics with concrete domains ⋮ Description logics with concrete domains and general concept inclusions revisited ⋮ Taming past LTL and flat counter systems ⋮ Combining interval-based temporal reasoning with general TBoxes ⋮ \({\mathcal E}\)-connections of abstract description systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4539597&oldid=18655206"