Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany
Brewka, Gerhard (University of Leipzig) | Lakemeyer, Gerhard (Aachen University of Technology)
We Unfortunately, GOLOG verification in general is briefly describe each of the projects below. Figure 1 illustrates undecidable due to the formalism's high expressiveness the thematic connections among the projects.
Dec-14-2018
- Technology: