Work

Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract)

Year: 2025

Type: conference-paper

Abstract: International audience

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors: Bourgaux, Camille, Gnatenko, Anton, Thomazo, Michaël

Institutions: École Normale Supérieure - PSL, Département d'Informatique, VALDA: Valeur à partir des données, Free University of Bozen-Bolzano

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4415347941

FWCI:

Cites:

Cited by:

Related to: