CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The DeciGUT project seeks to unify various decidable formalisms in knowledge representation through a new model-theoretic criterion. This research aims to enhance automated reasoning and querying capabilities, impacting artificial intelligence and database management.
Logic-based knowledge representation (KR) constitutes a vital area of IT.
The field inspires and guides scientific and technological developments enabling intelligent management of large and complex knowledge resources.
Elaborate languages for specifying knowledge (so-called ontology languages) and querying it have been defined and standardized.
Algorithms for automated reasoning and intelligent querying over knowledge resources are being developed, implemented and practically deployed on a wid…
TECHNISCHE UNIVERSITAET DRESDEN
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
