Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

Volltext

Semantic properties of five-valued logics von Nikitchenko, M.S., Shyshatska, E.V.

Volltext

Some aspects of software engineering for AI-based systems von Liubchenko, V.V.

Volltext

A dialogue system based on ontology automatically built through a natural language text analysis von Litvin, A.A., Velychko, V.Yu., Kaverynskyi, V.V.

Volltext