Temporal logic programs with temporal description logic axioms

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

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

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

Cited In (8)

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

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)