Matches in SemOpenAlex for { <https://semopenalex.org/work/W2946770100> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2946770100 abstract "The design of embedded systems, that are ubiquitously used in mobile devices and cars, is becoming continuously more complex such that efficient system-level design methods are becoming crucial. My research aims at developing systems that help the designer express the complex design problem in a declarative way and explore the design space to obtain divers sets of solutions with desirable properties. To that end, we employ knowledge representation and reasoning capabilities of ASP in combination with background theories. As a result, for the first time, we proposed a sophisticated methodology that allows for the direct integration of multi-objective optimization of non-linear objectives into ASP. This includes unique results of diverse sub-problems covered in several publications which I will present in this work." @default.
- W2946770100 created "2019-05-29" @default.
- W2946770100 creator A5081459731 @default.
- W2946770100 date "2019-05-07" @default.
- W2946770100 modified "2023-09-27" @default.
- W2946770100 title "Design Space Exploration via Answer Set Programming Modulo Theories." @default.
- W2946770100 cites W1582823543 @default.
- W2946770100 cites W1601726121 @default.
- W2946770100 cites W2065371917 @default.
- W2946770100 cites W2098907614 @default.
- W2946770100 cites W2111307259 @default.
- W2946770100 cites W2129710305 @default.
- W2946770100 cites W2155378065 @default.
- W2946770100 cites W2551048680 @default.
- W2946770100 cites W2577124248 @default.
- W2946770100 cites W2578895614 @default.
- W2946770100 cites W2579855366 @default.
- W2946770100 cites W2613166649 @default.
- W2946770100 cites W2790306361 @default.
- W2946770100 cites W2791763673 @default.
- W2946770100 cites W2798790471 @default.
- W2946770100 cites W2891911734 @default.
- W2946770100 cites W2914398864 @default.
- W2946770100 cites W2963268497 @default.
- W2946770100 cites W578063101 @default.
- W2946770100 cites W999267547 @default.
- W2946770100 hasPublicationYear "2019" @default.
- W2946770100 type Work @default.
- W2946770100 sameAs 2946770100 @default.
- W2946770100 citedByCount "0" @default.
- W2946770100 crossrefType "posted-content" @default.
- W2946770100 hasAuthorship W2946770100A5081459731 @default.
- W2946770100 hasConcept C107457646 @default.
- W2946770100 hasConcept C111919701 @default.
- W2946770100 hasConcept C114614502 @default.
- W2946770100 hasConcept C115903868 @default.
- W2946770100 hasConcept C149635348 @default.
- W2946770100 hasConcept C177264268 @default.
- W2946770100 hasConcept C17744445 @default.
- W2946770100 hasConcept C182620335 @default.
- W2946770100 hasConcept C199360897 @default.
- W2946770100 hasConcept C199539241 @default.
- W2946770100 hasConcept C2776221188 @default.
- W2946770100 hasConcept C2776359362 @default.
- W2946770100 hasConcept C2778572836 @default.
- W2946770100 hasConcept C33923547 @default.
- W2946770100 hasConcept C41008148 @default.
- W2946770100 hasConcept C54732982 @default.
- W2946770100 hasConcept C80444323 @default.
- W2946770100 hasConcept C94625758 @default.
- W2946770100 hasConceptScore W2946770100C107457646 @default.
- W2946770100 hasConceptScore W2946770100C111919701 @default.
- W2946770100 hasConceptScore W2946770100C114614502 @default.
- W2946770100 hasConceptScore W2946770100C115903868 @default.
- W2946770100 hasConceptScore W2946770100C149635348 @default.
- W2946770100 hasConceptScore W2946770100C177264268 @default.
- W2946770100 hasConceptScore W2946770100C17744445 @default.
- W2946770100 hasConceptScore W2946770100C182620335 @default.
- W2946770100 hasConceptScore W2946770100C199360897 @default.
- W2946770100 hasConceptScore W2946770100C199539241 @default.
- W2946770100 hasConceptScore W2946770100C2776221188 @default.
- W2946770100 hasConceptScore W2946770100C2776359362 @default.
- W2946770100 hasConceptScore W2946770100C2778572836 @default.
- W2946770100 hasConceptScore W2946770100C33923547 @default.
- W2946770100 hasConceptScore W2946770100C41008148 @default.
- W2946770100 hasConceptScore W2946770100C54732982 @default.
- W2946770100 hasConceptScore W2946770100C80444323 @default.
- W2946770100 hasConceptScore W2946770100C94625758 @default.
- W2946770100 hasLocation W29467701001 @default.
- W2946770100 hasOpenAccess W2946770100 @default.
- W2946770100 hasPrimaryLocation W29467701001 @default.
- W2946770100 hasRelatedWork W108981635 @default.
- W2946770100 hasRelatedWork W143158229 @default.
- W2946770100 hasRelatedWork W1505267893 @default.
- W2946770100 hasRelatedWork W1532387127 @default.
- W2946770100 hasRelatedWork W1538988749 @default.
- W2946770100 hasRelatedWork W1569932624 @default.
- W2946770100 hasRelatedWork W1572764857 @default.
- W2946770100 hasRelatedWork W2046117742 @default.
- W2946770100 hasRelatedWork W2091251097 @default.
- W2946770100 hasRelatedWork W2092622284 @default.
- W2946770100 hasRelatedWork W2106634362 @default.
- W2946770100 hasRelatedWork W2130182928 @default.
- W2946770100 hasRelatedWork W2158405126 @default.
- W2946770100 hasRelatedWork W2175137007 @default.
- W2946770100 hasRelatedWork W2175624451 @default.
- W2946770100 hasRelatedWork W2336862023 @default.
- W2946770100 hasRelatedWork W240190965 @default.
- W2946770100 hasRelatedWork W2596210564 @default.
- W2946770100 hasRelatedWork W2951783507 @default.
- W2946770100 hasRelatedWork W2985315457 @default.
- W2946770100 isParatext "false" @default.
- W2946770100 isRetracted "false" @default.
- W2946770100 magId "2946770100" @default.
- W2946770100 workType "article" @default.