This paper surveys the temporal extensions of description logics appearearing in the
literature. The analysis considers a large spectrum of approaches appearearing in the …

The specification of reactive and real-time systems must be supported by formal,
mathematically-founded methods in order to be satisfactory and reliable. Temporal logics …

We introduce PlausiVL a large video-language model for anticipating action sequences that
are plausible in the real-world. While significant efforts have been made towards anticipating …

Publisher Summary This chapter discusses temporal and modal logic. The chapter
describes a multiaxis classification of systems of temporal logic. The chapter describes the …

Symbolic learning is the logic-based approach to machine learning, and its mission is to
provide algorithms and methodologies to extract logical information from data and express it …

Ed Zalta (ed.), Stanford Encyclopedia of Philosophy - PhilPapers Sign in | Create an account
PhilPapers PhilPeople PhilArchive PhilEvents PhilJobs PhilPapers home Syntax Advanced …

Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Abstract We propose Differentiable Temporal Logic (DTL), a model-agnostic framework that
introduces temporal constraints to deep networks. DTL treats the outputs of a network as a …

Temporal Description Logics: A Survey Page 1 Temporal Description Logics: A Survey
Carsten Lutz Inst. of Theoretical Computer Science TU Dresden, Germany lutz@tcs.inf.tu-dresden.de …

This paper is about the good side of modal logic, the bad side of modal logic, and how
hybrid logic takes the good and fixes the bad. In essence, modal logic is a simple formalism …