Temporal logic programs with temporal description logic axioms

DOI10.1007/978-3-030-22102-7_8zbMATH Open1443.68173OpenAlexW2955544486MaRDI QIDQ2185465

Torsten Schaub, Pedro Cabalar

Publication date: 4 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22102-7_8

Mathematics Subject Classification ID

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

Related Items (8)

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models ⋮ Decidable temporal dynamic description logic ⋮ Logical foundations for more expressive declarative temporal logic programming languages ⋮ Temporal logic programs with variables ⋮ Semantics for temporal annotated constraint logic programming ⋮ Logic Programming ⋮ Temporalizing description logics ⋮ Title not available (Why is that?)

This page was built for publication: Temporal logic programs with temporal description logic axioms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2185465)