FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2276276543> ?p ?o ?g. }

• W2276276543 abstract "The past decade has witnessed the development of many important declarative languages for knowledge representation and reasoning such as answer set programming (ASP) languages and languages that extend first-order logic. Also, since these languages depend on background solvers, the recent advancements in the efficiency of solvers has positively affected the usability of such languages. This thesis studies extensions of knowledge representation (KR) languages with arithmetical operators and methods to combine different KR languages. With respect to arithmetic in declarative KR languages, we show that existing KR languages suffer from a huge disparity between their expressiveness and their computational power. Therefore, we develop an ideal KR language that captures the complexity class NP for arithmetical search problems and guarantees universality and efficiency for solving such problems. Moreover, we introduce a framework to language-independently combine modules from different KR languages. We study complexity and expressiveness of our framework and develop algorithms to solve modular systems. We define two semantics for modular systems based on (1) a model-theoretical view and (2) an operational view on modular systems. We prove that our two semantics coincide and also develop mechanisms to approximate answers to modular systems using the operational view. We augment our algorithm these approximation mechanisms to speed up the process of solving modular system. We further generalize our modular framework with supported model semantics that disallows self-justifying models. We show that supported model semantics generalizes our two previous model-theoretical and operational semantics. We compare and contrast the expressiveness of our framework under supported model semantics with another framework for interlinking knowledge bases, i.e., multi-context systems, and prove that supported model semantics generalizes and unifies different semantics of multi-context systems. Motivated by the wide expressiveness of supported models, we also define a new supported equilibrium semantics for multi-context systems and show" @default.
• W2276276543 created "2016-06-24" @default.
• W2276276543 creator A5084036825 @default.
• W2276276543 date "2013-12-16" @default.
• W2276276543 modified "2023-09-26" @default.
• W2276276543 title "Arithmetic and Modularity in Declarative Languages for Knowledge Representation" @default.
• W2276276543 cites W136379439 @default.
• W2276276543 cites W144015317 @default.
• W2276276543 cites W145741789 @default.
• W2276276543 cites W1482045864 @default.
• W2276276543 cites W1482193060 @default.
• W2276276543 cites W1482532598 @default.
• W2276276543 cites W1483892218 @default.
• W2276276543 cites W1484403583 @default.
• W2276276543 cites W1489366126 @default.
• W2276276543 cites W1489867543 @default.
• W2276276543 cites W1498546115 @default.
• W2276276543 cites W1498549189 @default.
• W2276276543 cites W1498837330 @default.
• W2276276543 cites W1501758783 @default.
• W2276276543 cites W1506194049 @default.
• W2276276543 cites W1509323361 @default.
• W2276276543 cites W1510761797 @default.
• W2276276543 cites W1511906506 @default.
• W2276276543 cites W1514412456 @default.
• W2276276543 cites W1519044014 @default.
• W2276276543 cites W1519247154 @default.
• W2276276543 cites W1519503479 @default.
• W2276276543 cites W1531748111 @default.
• W2276276543 cites W1532021344 @default.
• W2276276543 cites W1535839566 @default.
• W2276276543 cites W1540443495 @default.
• W2276276543 cites W1548519218 @default.
• W2276276543 cites W1549792078 @default.
• W2276276543 cites W1552168992 @default.
• W2276276543 cites W1556146035 @default.
• W2276276543 cites W1568301188 @default.
• W2276276543 cites W1568591214 @default.
• W2276276543 cites W1577357121 @default.
• W2276276543 cites W1583108239 @default.
• W2276276543 cites W1587861032 @default.
• W2276276543 cites W1590842818 @default.
• W2276276543 cites W1592780283 @default.
• W2276276543 cites W1592964808 @default.
• W2276276543 cites W1596557244 @default.
• W2276276543 cites W1597459313 @default.
• W2276276543 cites W1601754975 @default.
• W2276276543 cites W1602736775 @default.
• W2276276543 cites W1603421361 @default.
• W2276276543 cites W1606891084 @default.
• W2276276543 cites W1607710732 @default.
• W2276276543 cites W1629420491 @default.
• W2276276543 cites W1644666942 @default.
• W2276276543 cites W1652372935 @default.
• W2276276543 cites W1665985068 @default.
• W2276276543 cites W1672891595 @default.
• W2276276543 cites W169672073 @default.
• W2276276543 cites W1763415119 @default.
• W2276276543 cites W1766332311 @default.
• W2276276543 cites W1776373986 @default.
• W2276276543 cites W1800801472 @default.
• W2276276543 cites W1810250263 @default.
• W2276276543 cites W186029108 @default.
• W2276276543 cites W1891255325 @default.
• W2276276543 cites W19153916 @default.
• W2276276543 cites W1924767599 @default.
• W2276276543 cites W193724012 @default.
• W2276276543 cites W1947063854 @default.
• W2276276543 cites W1964542244 @default.
• W2276276543 cites W1966552757 @default.
• W2276276543 cites W1968513265 @default.
• W2276276543 cites W1970629906 @default.
• W2276276543 cites W1971626643 @default.
• W2276276543 cites W1974959615 @default.
• W2276276543 cites W1976055110 @default.
• W2276276543 cites W1980879781 @default.
• W2276276543 cites W1981324778 @default.
• W2276276543 cites W1989783863 @default.
• W2276276543 cites W1991981864 @default.
• W2276276543 cites W1997714358 @default.
• W2276276543 cites W2008029457 @default.
• W2276276543 cites W2016030731 @default.
• W2276276543 cites W2021693981 @default.
• W2276276543 cites W2022846948 @default.
• W2276276543 cites W2026120297 @default.
• W2276276543 cites W2026745535 @default.
• W2276276543 cites W2033325972 @default.
• W2276276543 cites W2033743662 @default.
• W2276276543 cites W2035855976 @default.
• W2276276543 cites W2039733104 @default.
• W2276276543 cites W2040908559 @default.
• W2276276543 cites W2041526687 @default.
• W2276276543 cites W2044560939 @default.
• W2276276543 cites W2045583484 @default.
• W2276276543 cites W2045916776 @default.
• W2276276543 cites W204808196 @default.
• W2276276543 cites W2049791401 @default.
• W2276276543 cites W2051153057 @default.
• W2276276543 cites W2051790368 @default.
• W2276276543 cites W2053524469 @default.

• next