On metric temporal description logics

From MaRDI portal

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

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

Publication:4576218

Jump to:navigation, search

DOI10.3233/978-1-61499-672-9-837zbMath1403.68265OpenAlexW2574526943MaRDI QIDQ4576218

Ana Ozaki, Víctor Gutiérrez-Basulto, Jean Christoph Jung

Publication date: 12 July 2018

Full work available at URL: http://dx.doi.org/10.3233/978-1-61499-672-9-837

Mathematics Subject Classification ID

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

Related Items (4)

Temporal Minimal-World Query Answering over Sparse ABoxes ⋮ Theorem proving for pointwise metric temporal logic over the naturals via translations ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries

This page was built for publication: On metric temporal description logics

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