The paper introduces a method of transition from Transparent Intensional Logic (TIL) into
Prolog system and vice versa, in order to utilize Prolog inference machine in the deductive …

We introduce a new theory of concepts conceived as structured abstract entities. The theory
is based on the key notion of Transparent Intensional Logic (TIL), known as TIL construction …

This paper contains five contributions of the participants of the panel discussion on “Multi-
agent Knowledge Modelling” in the EJC 2008 conference. We addressed four main …

In this paper we discuss two formal models apt for a search and communication in a 'multi-
agent world', namely TIL and EL@. Specifying their intersection, we are able to translate and …

We are entering era of ubiquitous computing and communication. In the new Internet of
Things interactions occur, not only between humans and applications, but also between …

This work presents the SEAGRIN framework that deals with architecture, technologies and
implementation of a medical grid, intended for sharing knowledge among medical experts. A …

The project Logic and Artificial Intelligence for Multi-Agent Systems is briefly described and
its structure is specified. First we introduce the underlying logical frameworkthe Transparent …