Together with the disruptive development of modern sub-symbolic approaches to artificial
intelligence (AI), symbolic approaches to classical AI are re-gaining momentum, as more …

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 …

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 …

After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Temporal Logics are a rich variety of logical systems designed for formalising reasoning
about time, and about events and changes in the world over time. These systems differ by …

The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

Over the last two decades, there has been an extensive study of logical formalisms on
specifying and verifying real-time systems. Temporal logics have been an important …

The recent explosion in the amount of spatial data calls for specialized systems to handle
big spatial data. In this paper, we discuss the main features and components that needs to …

In this paper, we investigate the expressiveness of the variety of propositional interval
neighborhood logics (PNL), we establish their decidability on linearly ordered domains and …

Chapter 9 SPATIAL LOGIC + TEMPORAL LOGIC = ? Page 1 Chapter 9 SPATIAL LOGIC +
TEMPORAL LOGIC = ? Roman Kontchakov Birkbeck College, London Agi Kurucz King’s …