Matches in SemOpenAlex for { <https://semopenalex.org/work/W313043026> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W313043026 startingPage "0" @default.
- W313043026 abstract "We propose a set of desiderata for extensions of Answer Set Programming to capture domains where the objects of interest are infinite sets and yet we can still process ASP programs effectively. We propose two different schemes to do this. One is to extend cardinality type constraints to set constraints which involve codes for finite, recursive and recursively enumerable sets. A second scheme to modify logic programming to reason about sets directly. In this setting, we can also augment logic programming with certainmonotone inductive operators so that we can reason about families of sets which have structure such a closed sets of a topological space orsubspaces of a vector space. We observe that under such conditions, the classic Gelfond-Lifschitz construction generalizes to at least two different notions of stable models." @default.
- W313043026 created "2016-06-24" @default.
- W313043026 creator A5048411051 @default.
- W313043026 creator A5090907219 @default.
- W313043026 date "2005-01-01" @default.
- W313043026 modified "2023-10-18" @default.
- W313043026 title "Set Based Logic Programming" @default.
- W313043026 hasPublicationYear "2005" @default.
- W313043026 type Work @default.
- W313043026 sameAs 313043026 @default.
- W313043026 citedByCount "1" @default.
- W313043026 crossrefType "proceedings-article" @default.
- W313043026 hasAuthorship W313043026A5048411051 @default.
- W313043026 hasAuthorship W313043026A5090907219 @default.
- W313043026 hasConcept C118615104 @default.
- W313043026 hasConcept C12362212 @default.
- W313043026 hasConcept C124101348 @default.
- W313043026 hasConcept C128838566 @default.
- W313043026 hasConcept C134306372 @default.
- W313043026 hasConcept C177264268 @default.
- W313043026 hasConcept C182620335 @default.
- W313043026 hasConcept C199360897 @default.
- W313043026 hasConcept C202444582 @default.
- W313043026 hasConcept C2524010 @default.
- W313043026 hasConcept C2779382394 @default.
- W313043026 hasConcept C2834757 @default.
- W313043026 hasConcept C33923547 @default.
- W313043026 hasConcept C41008148 @default.
- W313043026 hasConcept C77618280 @default.
- W313043026 hasConcept C80444323 @default.
- W313043026 hasConcept C87117476 @default.
- W313043026 hasConceptScore W313043026C118615104 @default.
- W313043026 hasConceptScore W313043026C12362212 @default.
- W313043026 hasConceptScore W313043026C124101348 @default.
- W313043026 hasConceptScore W313043026C128838566 @default.
- W313043026 hasConceptScore W313043026C134306372 @default.
- W313043026 hasConceptScore W313043026C177264268 @default.
- W313043026 hasConceptScore W313043026C182620335 @default.
- W313043026 hasConceptScore W313043026C199360897 @default.
- W313043026 hasConceptScore W313043026C202444582 @default.
- W313043026 hasConceptScore W313043026C2524010 @default.
- W313043026 hasConceptScore W313043026C2779382394 @default.
- W313043026 hasConceptScore W313043026C2834757 @default.
- W313043026 hasConceptScore W313043026C33923547 @default.
- W313043026 hasConceptScore W313043026C41008148 @default.
- W313043026 hasConceptScore W313043026C77618280 @default.
- W313043026 hasConceptScore W313043026C80444323 @default.
- W313043026 hasConceptScore W313043026C87117476 @default.
- W313043026 hasLocation W3130430261 @default.
- W313043026 hasOpenAccess W313043026 @default.
- W313043026 hasPrimaryLocation W3130430261 @default.
- W313043026 hasRelatedWork W1514259159 @default.
- W313043026 hasRelatedWork W1532192677 @default.
- W313043026 hasRelatedWork W1691294095 @default.
- W313043026 hasRelatedWork W1946987616 @default.
- W313043026 hasRelatedWork W1990426442 @default.
- W313043026 hasRelatedWork W2002952819 @default.
- W313043026 hasRelatedWork W2057089816 @default.
- W313043026 hasRelatedWork W2125639421 @default.
- W313043026 hasRelatedWork W2187260976 @default.
- W313043026 hasRelatedWork W2294862731 @default.
- W313043026 hasRelatedWork W2570115677 @default.
- W313043026 hasRelatedWork W2798653279 @default.
- W313043026 hasRelatedWork W2951126825 @default.
- W313043026 hasRelatedWork W2952552176 @default.
- W313043026 hasRelatedWork W3017923731 @default.
- W313043026 hasRelatedWork W3039470177 @default.
- W313043026 hasRelatedWork W3134715869 @default.
- W313043026 hasRelatedWork W3137545899 @default.
- W313043026 hasRelatedWork W3210044520 @default.
- W313043026 hasRelatedWork W92128319 @default.
- W313043026 isParatext "false" @default.
- W313043026 isRetracted "false" @default.
- W313043026 magId "313043026" @default.
- W313043026 workType "article" @default.