FRINK Linked Data Fragments server

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

• W2520571003 endingPage "165" @default.
• W2520571003 startingPage "153" @default.
• W2520571003 abstract "The model expansion (MX) search problem consists of finding models of a given theory T that expand a given finite interpretation. Model expansion in classical first-order logic (FO) has been proposed as the basis for an Answer Set Programming-like declarative programming framework for solving NP problems. In this paper, we present idp, a system for solving MX problems that integrates technology from ASP and SAT. Its strength lies both in its rich input language and its efficiency. idp is the first model expansion system that can handle full FO, but its language extends FO with many other primitives such as inductive definitions, aggregates, quantifiers with numerical constraints, order-sorted types, arithmetic, partial functions, etc. We show that this allows for a natural, compact representation of many interesting search problems. Despite the generality of its language, our experiments show that the idp system belongs to the most efficient ASP and MX systems." @default.
• W2520571003 created "2016-09-23" @default.
• W2520571003 creator A5036325585 @default.
• W2520571003 creator A5071442882 @default.
• W2520571003 creator A5090754913 @default.
• W2520571003 date "2008-11-01" @default.
• W2520571003 modified "2023-09-24" @default.
• W2520571003 title "The IDP system: A model expansion system for an extension of classical logic" @default.
• W2520571003 cites W1489867543 @default.
• W2520571003 cites W1518705996 @default.
• W2520571003 cites W1540443495 @default.
• W2520571003 cites W1544722557 @default.
• W2520571003 cites W1552768819 @default.
• W2520571003 cites W1639901403 @default.
• W2520571003 cites W1644666942 @default.
• W2520571003 cites W19153916 @default.
• W2520571003 cites W1968513265 @default.
• W2520571003 cites W2041526687 @default.
• W2520571003 cites W2042629502 @default.
• W2520571003 cites W206670740 @default.
• W2520571003 cites W2105505307 @default.
• W2520571003 cites W2151485489 @default.
• W2520571003 cites W2152131859 @default.
• W2520571003 cites W2521109595 @default.
• W2520571003 cites W2522141871 @default.
• W2520571003 cites W2523023440 @default.
• W2520571003 cites W9241406 @default.
• W2520571003 hasPublicationYear "2008" @default.
• W2520571003 type Work @default.
• W2520571003 sameAs 2520571003 @default.
• W2520571003 citedByCount "40" @default.
• W2520571003 countsByYear W25205710032012 @default.
• W2520571003 countsByYear W25205710032013 @default.
• W2520571003 countsByYear W25205710032014 @default.
• W2520571003 countsByYear W25205710032015 @default.
• W2520571003 countsByYear W25205710032016 @default.
• W2520571003 countsByYear W25205710032017 @default.
• W2520571003 countsByYear W25205710032018 @default.
• W2520571003 countsByYear W25205710032019 @default.
• W2520571003 countsByYear W25205710032020 @default.
• W2520571003 countsByYear W25205710032021 @default.
• W2520571003 crossrefType "journal-article" @default.
• W2520571003 hasAuthorship W2520571003A5036325585 @default.
• W2520571003 hasAuthorship W2520571003A5071442882 @default.
• W2520571003 hasAuthorship W2520571003A5090754913 @default.
• W2520571003 hasConcept C11413529 @default.
• W2520571003 hasConcept C128838566 @default.
• W2520571003 hasConcept C136119220 @default.
• W2520571003 hasConcept C15744967 @default.
• W2520571003 hasConcept C177264268 @default.
• W2520571003 hasConcept C17744445 @default.
• W2520571003 hasConcept C182620335 @default.
• W2520571003 hasConcept C199360897 @default.
• W2520571003 hasConcept C199539241 @default.
• W2520571003 hasConcept C202444582 @default.
• W2520571003 hasConcept C2776359362 @default.
• W2520571003 hasConcept C2778029271 @default.
• W2520571003 hasConcept C2780432614 @default.
• W2520571003 hasConcept C2780767217 @default.
• W2520571003 hasConcept C32241873 @default.
• W2520571003 hasConcept C33923547 @default.
• W2520571003 hasConcept C41008148 @default.
• W2520571003 hasConcept C527412718 @default.
• W2520571003 hasConcept C542102704 @default.
• W2520571003 hasConcept C80444323 @default.
• W2520571003 hasConcept C94625758 @default.
• W2520571003 hasConceptScore W2520571003C11413529 @default.
• W2520571003 hasConceptScore W2520571003C128838566 @default.
• W2520571003 hasConceptScore W2520571003C136119220 @default.
• W2520571003 hasConceptScore W2520571003C15744967 @default.
• W2520571003 hasConceptScore W2520571003C177264268 @default.
• W2520571003 hasConceptScore W2520571003C17744445 @default.
• W2520571003 hasConceptScore W2520571003C182620335 @default.
• W2520571003 hasConceptScore W2520571003C199360897 @default.
• W2520571003 hasConceptScore W2520571003C199539241 @default.
• W2520571003 hasConceptScore W2520571003C202444582 @default.
• W2520571003 hasConceptScore W2520571003C2776359362 @default.
• W2520571003 hasConceptScore W2520571003C2778029271 @default.
• W2520571003 hasConceptScore W2520571003C2780432614 @default.
• W2520571003 hasConceptScore W2520571003C2780767217 @default.
• W2520571003 hasConceptScore W2520571003C32241873 @default.
• W2520571003 hasConceptScore W2520571003C33923547 @default.
• W2520571003 hasConceptScore W2520571003C41008148 @default.
• W2520571003 hasConceptScore W2520571003C527412718 @default.
• W2520571003 hasConceptScore W2520571003C542102704 @default.
• W2520571003 hasConceptScore W2520571003C80444323 @default.
• W2520571003 hasConceptScore W2520571003C94625758 @default.
• W2520571003 hasOpenAccess W2520571003 @default.
• W2520571003 hasRelatedWork W1518705996 @default.
• W2520571003 hasRelatedWork W1540443495 @default.
• W2520571003 hasRelatedWork W1552168992 @default.
• W2520571003 hasRelatedWork W1597298151 @default.
• W2520571003 hasRelatedWork W1606891084 @default.
• W2520571003 hasRelatedWork W1639901403 @default.
• W2520571003 hasRelatedWork W1672891595 @default.
• W2520571003 hasRelatedWork W1816916218 @default.
• W2520571003 hasRelatedWork W19153916 @default.
• W2520571003 hasRelatedWork W1924767599 @default.

• next