ANTHILL: a progressive formalization language for agent-supported software projects
The article presents the Anthill language — a specialized language for progressive (gradual) knowledge for malization, designed for use in real-world software projects with the integration of agent support, in particular large language models. Anthill allows you to describe, accumulate and maintain...
Збережено в:
| Дата: | 2026 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2026
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/887 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Analyses of automated machine learning tools for application in marketing
за авторством: Nikonov, O.V.
Опубліковано: (2026)
за авторством: Nikonov, O.V.
Опубліковано: (2026)
Integration of large language models with semantic processing tools as an instrument for knowledge digitization
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2025)
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2025)
The grammar of Petri-object model visual programming language
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
за авторством: Dyfuchyn, А.J., та інші
Опубліковано: (2022)
The translator of Petri-object model visual programming language
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
за авторством: Dyfuchyn, А.Yu.
Опубліковано: (2022)
The definition of formal languages in the meta language of normal forms of knowledge
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
за авторством: Kurgaev, A.F., та інші
Опубліковано: (2018)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
The architecture and functionality of the multi-agent system Navigation
за авторством: Yalovets, A.L.
Опубліковано: (2018)
за авторством: Yalovets, A.L.
Опубліковано: (2018)
Generation of multipurpose formal models from legacy code
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
за авторством: Potiyenko, S.V., та інші
Опубліковано: (2023)
The software tool of constructive-synthesizing modeling
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2024)
Interface-oriented approach to modelling tools for multi-agent systems
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
за авторством: Shevchenko, R.S., та інші
Опубліковано: (2025)
Modern AI methods for detecting propaganda in text
за авторством: Бойко , О.А.
Опубліковано: (2025)
за авторством: Бойко , О.А.
Опубліковано: (2025)
Multi-agent approach to modeling an information and analytical system
за авторством: Dodonov, O. G., та інші
Опубліковано: (2016)
за авторством: Dodonov, O. G., та інші
Опубліковано: (2016)
Economic and Mathematical Model of Formally Formed Prices for Power Sector
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)
за авторством: Dobrovolsky V.K.
Опубліковано: (2000)
Methods of recognition by the agent of the unknown environment
за авторством: Yalovets, A.L.
Опубліковано: (2019)
за авторством: Yalovets, A.L.
Опубліковано: (2019)
System of classification for personnel selection based upon Ukrainian language ana-lyze
за авторством: Zhezherun, O.P., та інші
Опубліковано: (2021)
за авторством: Zhezherun, O.P., та інші
Опубліковано: (2021)
Problem of modelling of maneuvering of agents in prosecution/evasion tasks on a plane
за авторством: Yalovets, A.L.
Опубліковано: (2017)
за авторством: Yalovets, A.L.
Опубліковано: (2017)
Formalization for sign units creation based on 3d human model for Ukrainian sign language
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)
за авторством: Krivonos, Yu.G., та інші
Опубліковано: (2015)
Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)
за авторством: Palagin, O.V., та інші
Опубліковано: (2018)
Formal verification of deep neural networks
за авторством: Panchuk, B.O.
Опубліковано: (2024)
за авторством: Panchuk, B.O.
Опубліковано: (2024)
Mathematical methods of planning in systems consisted of rational agents
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2024)
за авторством: Sinitsyn, I.P., та інші
Опубліковано: (2024)
Semantic approach to automated formation of information security systems documentation
за авторством: Bova, Yu.V., та інші
Опубліковано: (2026)
за авторством: Bova, Yu.V., та інші
Опубліковано: (2026)
About one approach to automatic creation of formal queries to ontological knowledge bases
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)
за авторством: Palagin, O.V., та інші
Опубліковано: (2024)
Methods and tools for developing an information system for validation of non-formal learning outcomes
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
Knowledge bases and description logics applications to natural language texts analysis
за авторством: Hoherchak, H.I.
Опубліковано: (2020)
за авторством: Hoherchak, H.I.
Опубліковано: (2020)
Use of ontological knowledge by intelligent agents
за авторством: Rogushina, J.V.
Опубліковано: (2018)
за авторством: Rogushina, J.V.
Опубліковано: (2018)
Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)
Formal theory model in the form of commutative semigroup of image constructions
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)
за авторством: Бисикало, Олег Владимирович, та інші
Опубліковано: (2015)
Management of the coordination process in sociotechnical system
за авторством: Girchenko, L.A., та інші
Опубліковано: (2021)
за авторством: Girchenko, L.A., та інші
Опубліковано: (2021)
Reverse synthesis of natural language phrases grounding on their ontological representation using a large language model
за авторством: Kaverynskyi, V.V., та інші
Опубліковано: (2024)
за авторством: Kaverynskyi, V.V., та інші
Опубліковано: (2024)
Formal functional calculus for copolynomials over a commutative ring
за авторством: Gefter, Sergiy L., та інші
Опубліковано: (2025)
за авторством: Gefter, Sergiy L., та інші
Опубліковано: (2025)
Heuristic algorithm of morpholexical analysys of unknown words
за авторством: Taranukha, V.Yu.
Опубліковано: (2025)
за авторством: Taranukha, V.Yu.
Опубліковано: (2025)
Statement of problem of unknown environment recognizing, navigating and path planning by agent
за авторством: Yalovets, A.L.
Опубліковано: (2018)
за авторством: Yalovets, A.L.
Опубліковано: (2018)
On the need to use modern capabilities in situational management to protect the state's critical infrastructure
за авторством: Гречанінов , В.Ф.
Опубліковано: (2025)
за авторством: Гречанінов , В.Ф.
Опубліковано: (2025)
Development of the information system for semantic identification and documentation of the results of non-formal and informal education
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
за авторством: Pryima, S.M., та інші
Опубліковано: (2020)
A method of formalizing the making decision process based on the theory of threshold elements
за авторством: Azarova, A. O., та інші
Опубліковано: (2018)
за авторством: Azarova, A. O., та інші
Опубліковано: (2018)
A multi-agent model of information dissemination in social networks
за авторством: Lande, D. V., та інші
Опубліковано: (2016)
за авторством: Lande, D. V., та інші
Опубліковано: (2016)
General formal local cohomology modules
за авторством: Rezaei, Sh.
Опубліковано: (2021)
за авторством: Rezaei, Sh.
Опубліковано: (2021)
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
Efficient increasing of the mutation score during model-based test suite generation
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
за авторством: Kolchin, A., та інші
Опубліковано: (2020)
Equivalence of two parallel execution systems
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)
за авторством: Panchenko, T.V., та інші
Опубліковано: (2018)