Motivated by a representational model for the cross-modal interaction between language and other modalities we present a framework for the integration of contextual information int...
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.
ConceptNet is a very large semantic network of commonsense knowledge suitable for making various kinds of practical inferences over text. ConceptNet captures a wide range of common...
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...