research
To jest stara wersja strony!
Research areas
Raphael (1509-1511): The School of Athens.
| Explainable Behavioral Engineering: Behavioral modeling, workflow intelligence, process mining, logical specification mining, formal verification, behavioral explainability |
| Logic and Automated Reasoning: Temporal logic, SAT/MaxSAT, SMT solving, theorem proving, constraint reasoning, correctness-by-construction methods |
| AI-Assisted Software Engineering: Requirements engineering, repository intelligence, AI-assisted modeling, software process intelligence, LLM-driven development environments |
| Multi-Agent and Autonomous Systems: LLM-driven agents, agent coordination, symbolic supervision, explainable decision making, autonomous systems verification |
| Context-Aware and Intelligent Environments: Ambient intelligence, ubiquitous computing, IoT ecosystems, context-aware systems, intelligent decision support |
| Programming Languages and Tools: Java, Python |
BPP - Publications Library AGH ORCID DBLP Scopus ResercherID PBN SkOs AGH Google Scholar
research.1781880480.txt.gz · ostatnio zmienione: przez admin