"4"^^ . . "reasoning; agent; Prolog; inference machine; TIL-Script; TIL"@en . . "Maribor" . . . . . . "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 system of TIL. Agents communicate in the TIL-Script language, a computational variant of the expressive TIL system, which serves as a content language of agents\u2019 messaging. However, since a great expressive power is inversely proportional to an easy implementation of a suitable automatic deductive system, we specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language. Moreover, due to the weaker expressivity of Prolog we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way." . . . "Agents' resoning using TIL-Script and Prolog" . . . . "Ciprich, Nikola" . "10.3233/978-1-60750-477-1-135" . . . "P(1ET101940420), P(GA401/07/0451)" . . "978-1-60750-089-6" . "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 system of TIL. Agents communicate in the TIL-Script language, a computational variant of the expressive TIL system, which serves as a content language of agents\u2019 messaging. However, since a great expressive power is inversely proportional to an easy implementation of a suitable automatic deductive system, we specify a subset of the set of TIL constructions the elements of which can be encoded in Prolog language. Moreover, due to the weaker expressivity of Prolog we have to build up a TIL functional overlay that makes it possible to realize the reverse transition from Prolog into TIL in a near to equivalent way."@en . "RIV/61989100:27240/10:86076682" . . "\u010C\u00EDhalov\u00E1, Martina" . . . "IOS Press" . "245621" . "Du\u017E\u00ED, Marie" . . "20"^^ . "[86F227618F0B]" . "Agents' resoning using TIL-Script and Prolog"@en . "RIV/61989100:27240/10:86076682!RIV13-GA0-27240___" . "27240" . . "Agents' resoning using TIL-Script and Prolog"@en . "4"^^ . "Men\u0161\u00EDk, Marek" . "Frontiers in Artificial Intelligence and Applications. Volume 206" . . "2009-06-01+02:00"^^ . "Amsterodam" . . "Agents' resoning using TIL-Script and Prolog" . "0922-6389" . .