URL details: janvanthienen.net/research/projects/
URL title:
Projects – Jan Vanthienen
URL description:
Ongoing C1-project: Theory, algorithms and tools for generic solutions to knowledge-intensive business problems from formal specifications (01/10/2019 - 30/09/2023) Declarative problem solving is on the brink of a breakthrough. By applying novel language and inference technologies from knowledge representation and reasoning (KRR), a formal theory expressing application knowledge can drive many functionalities in a software system.…
URL last crawled:
2022-07-27
URL speed:
0.884 MB/s,
downloaded in 0.090 seconds
We found no external links pointing to this url.